Том 22. Сон разума. Математическая логика и ее парадоксы - читать бесплатно онлайн полную версию книги автора Хавьер Фресан (ч. notes)

Примечания

1

Из письма Готлоба Фреге (1848–1925) Давиду Гильберту (1862–1943).

2

Перевод Н. Любимова, Б. Кржевского. — Примеч. ред.

3

Сокращение латинского изречения ignoramus et ignorabimus, то есть «не знаем и не узнаем». Это изречение было взято из доклада немецкого физиолога Эмиля Дюбуа-Реймона «О пределах познания природы» (1872), в котором он выразил пессимизм по поводу ограниченности научного знания.

4

В этой книге мы не можем абсолютно точно привести формулы, описывающие свободные переменные, замены и обобщения, которые Гедель использовал в своей статье. Однако мы полагаем, что упомянули все основные элементы его доказательства.