Читать «Богиня маленьких побед» онлайн - страница 249

Янник Гранек

140

Ганс Альберт Эйнштейн говорил об отце как о «человеке, который, сочетая в себе интеллектуальное предвидение и эмоциональную близорукость, оставил позади себя целый шлейф порушенных жизней».

141

Пол Джозеф Коэн (1934–2007) вел преподавательскую деятельность до 2004 года, когда вышел на пенсию. Филдсовскую медаль ему вручили в 1966 году.

142

Еще один математический «Грааль». Гипотеза Римана, предложенная в XIX веке, до сих пор считается недоказанной для всех без исключения случаев. Она представляет интерес с точки зрения распределения простых чисел среди натуральных и, как следствие, представляется весьма важной в такой «чувствительной» сфере, как компьютерное шифрование данных.

143

Коэн разработал мощный, неведомый до него инструмент, получивший название «метода форсинга». Этот метод позволяет доказать совместимость отрицания континуум-гипотезы. Не будем забивать себе голову попытками в него углубиться: у человеческого организма тоже есть свои пределы.

144

Решили дать организму передышку? – Примеч. пер.

145

Райнер Мария Рильке (1875–1926) – один из самых влиятельных поэтов-модернистов XX века.

146

Перевод Н. Мавлевич. – Примеч. пер.

147

Этот документ, датированный 1970-м годом, входит в научное наследие Гёделя. В нем нет ни введения, ни комментариев, ни объяснений использованной модальной системы (типа логической грамматики). Хотя в нем не содержится никаких ссылок, по всей видимости, это «онтологическое доказательство» базируется на аргументе Ансельма (теолог XI века), а также на трудах Декарта и Лейбница.

148

«Разумеется, сегодня мы бесконечно далеки от научного обоснования теологического видения мира, но у нас, полагаю, есть все основания в чисто рациональной манере признать (не опираясь ни на веру, ни на какую-либо религию), что теологическое видение мира ни в коей мере не противоречит ни одному из известных нам фактов (в том числе предметов и явлений, которые правят нашей землей)». Из письма Курта Гёделя Марианне Гёдель.

149

Для этого мира я потерян.

150

И не забывайте улыбаться, девушка!