Принципы математической логики - Principles of Mathematical Logic

Принципы математической логики 1950 год[1] Американский перевод второго издания 1938 г.[2] из Дэвид Гильберт 'песок Вильгельм Аккерманн классический текст Grundzüge der Theoretischen Logik,[3] по элементарной математической логике. Его первое издание 1928 года считается первым элементарным текстом, четко основанным на формализме, ныне известном как логика первого порядка (FOL). Гильберт и Аккерман также формализовали FOL таким образом, что впоследствии приобрели канонический статус. FOL в настоящее время является основным формализмом математической логики и предполагается современными трактовками Арифметика Пеано и почти все методы лечения аксиоматическая теория множеств.

Издание 1928 г. включало ясное изложение Entscheidungsproblem (проблема решения ) для FOL, а также спросил, была ли эта логика полный (т.е. были ли все семантические истины FOL теоремами, выведенными из аксиом и правил FOL). На первую проблему сначала ответили отрицательно. Церковь Алонсо и независимо Алан Тьюринг в 1936 году. На последнее утвердительно ответил Курт Гёдель в 1929 г.

В своем описании теория множеств упоминается Парадокс Рассела и Парадокс лжеца (стр.145). Современная нотация логики больше обязана этому тексту, чем нотации Principia Mathematica, давно популярный в англоязычном мире.

Примечания

  1. ^ Карри, Хаскелл Б. (1953). "Рассмотрение: Grundzüge der Theoretischen Logik (3-е издание) " (PDF). Бык. Амер. Математика. Soc. 59 (3): 263–267. Дои:10.1090 / s0002-9904-1953-09701-4. Перевод 2-го немецкого издания 1938 г. на английский язык был опубликован в 1950 г., а 3-е издание на немецком языке - в 1949 г.
  2. ^ Россер, Баркли (1938). "Рассмотрение: Grundzüge der Theoretischen Logik (2-е издание) " (PDF). Бык. Амер. Математика. Soc. 44 (7): 474–475. Дои:10.1090 / с0002-9904-1938-06760-2.
  3. ^ Лэнгфорд, К. Х (1930). "Обзор Grundzüge der Theoretischen Logik Д. Гильберта и В. Аккермана " (PDF). Бык. Амер. Математика. Soc. 36 (1): 22–25. Дои:10.1090 / с0002-9904-1930-04859-4.

Рекомендации

  • Дэвид Гильберт и Вильгельм Аккерманн (1928). Grundzüge der Theoretischen Logik (Принципы математической логики). Спрингер-Верлаг, ISBN  0-8218-2024-9. Этот текст вошел в четыре последующих немецких издания, последнее - в 1972 году.
  • Переводчики: Льюис М. Хаммонд, Джордж Г. Леки и Ф. Стейнхардт (1999). Принципы математической логики в Google Книги
  • Хендрикс, Нойхаус, Петерсен, Шеффлер и Вансинг (ред.) (2004). Пересмотр логики первого порядка. Логотипы Верлаг, ISBN  3-8325-0475-3. Труды семинара FOL-75, посвященного 75-летию публикации Гильберта и Аккермана (1928 г.).