📚 Hub Books: Онлайн-чтение книгРазная литератураВ начале было ничто. Про время, пространство, скорость и другие константы физики - Питер Эткинс

В начале было ничто. Про время, пространство, скорость и другие константы физики - Питер Эткинс

Шрифт:

-
+

Интервал:

-
+
1 ... 43 44 45 46 47 48 49 50 51 52
Перейти на страницу:
достаточную для всей математики. Эти усилия начались работой Фреге и достигли кульминации в Principia Mathematica и формализме Гильберта. Английскую версию работы Геделя On formally undecidable propositions («О формально неразрешимых предложениях») можно найти в книге Gödel’s theorem in focus, под ред. С. Дж. Шенкера (Routledge, 1988), но там вам придется столкнуться с утверждениями вроде

0 St v, x = εnnl(x) & Fr n, x & (Ep)[n < p…».

Гораздо более доступная версия, рассчитанная на обычных земных людей: Gödel’s proof, E. Nagel and J. R. Newman, Routledge, 1958. (Русский перевод: Нагель Э., Ньюмен Дж. Р. Теорема Геделя. М.: Красанд, 2010.

74

Здесь я имею в виду то, что называется «арифметикой Пресбургера» – арифметика Пеано без ×. Очень хорошее и доступное ее объяснение см. в John Barrow’s New theories of everything, Oxford University Press, 2007. (Русский перевод: Барроу Д. Новые теории всего / Пер. П. А. Самсонова. Попурри, 2013.)

1 ... 43 44 45 46 47 48 49 50 51 52
Перейти на страницу:

Комментарии

Обратите внимание, что комментарий должен быть не короче 20 символов. Покажите уважение к себе и другим пользователям!

Никто еще не прокомментировал. Хотите быть первым, кто выскажется?