Читать онлайн «Том. 22. Сон разума. Математическая логика и ее парадоксы». Страница 31

Дата поступления в продажу на территории России: 17.06.2014

Формат 70 х 100 / 16. Гарнитура «Academy».

Печать офсетная. Бумага офсетная. Печ. л. 4,5.

Уcл. печ. л. 5,832.

Тираж: 50 000 экз.

© Javier Fresan, 2010 (текст)

© RBA Collecionables S.A., 2011

© ООО «Де Агостини», 2014

ISBN 978-5-9774-0682-6

ISBN 978-5-9774-0717-5 (т. 22) 

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

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

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

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