Том 22. Сон разума. Математическая логика и ее парадоксы (примечания)

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

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

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

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