Математическая теория логического вывода
- Автор(ы)
- Идельсон А.В, Минц Г.Е
- Теги
- Математика
Аннотация
Эта книга представляет собой сборник переводов (единственное исключение составляет статья Г. Е. Минца; см. ниже) статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием «машинной логики», в частности, появлением многочисленных работ, посвященных машинному доказательству теорем *). В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связанные с наиболее интересными (с точки зрения составителей) этапами развития этой теории. Читатель, не обладающий никакими специальными сведениями в области математической логики (но обладающий некоторой математической культурой), может использовать этот сборник в качестве пособия для систематического изучения теории логического вывода. При таком использовании можно рекомендовать следующий порядок чтения. 1. §§ 3—5, 7 и 8 работы Г. Генцена «Непротиворечивость чистой теории чисел». 2. Разделы I—III работы Г. Генцена «Исследования логических выводов». 3. Раздел IV той же работы, § 1. 4. Раздел V той же работы. 5. §§ 1—3 статьи Г. Е. Минца «Теорема-Эрбрана». Читатель, овладевший этим материалом, получит достаточную первоначальную подготовку в области теории логического вывода и сможет в дальнейшем выбирать для чтения те или иные статьи сборника в соответствии со своими интересами. *) Наиболее известна из них, пожалуй, работа Ван X а о. На пути к механической математике. Кибернетический сборник 5, ИЛ, 1962. 6 ПРЕДИСЛОВИЕ РЕДАКТОРОВ С целью облегчить чтение тех мест, которые изложены авторами недостаточно ясно или слишком сжато, переводчиками, а также редактором Г. Е. Минцем даны примечания. В отличие от авторских подстрочных примечаний, которые помечаются цифрами, подстрочные примечания переводчиков и редактора помечаются звездочкой. Остановимся более подробно на содержании некоторых статей. В работе Г. Генцена
Как сослаться (ГОСТ Р 7.0.5-2008)
- В списке литературы
- Идельсон А. В., Минц Г. Е. Математическая теория логического вывода.
- В тексте
- (Идельсон А. В., Минц Г. Е. Математическая теория логического вывода.)