Читать «Богиня маленьких побед» онлайн - страница 249
Янник Гранек
140
Ганс Альберт Эйнштейн говорил об отце как о «человеке, который, сочетая в себе интеллектуальное предвидение и эмоциональную близорукость, оставил позади себя целый шлейф порушенных жизней».
141
Пол Джозеф Коэн (1934–2007) вел преподавательскую деятельность до 2004 года, когда вышел на пенсию. Филдсовскую медаль ему вручили в 1966 году.
142
Еще один математический «Грааль». Гипотеза Римана, предложенная в XIX веке, до сих пор считается недоказанной для всех без исключения случаев. Она представляет интерес с точки зрения распределения простых чисел среди натуральных и, как следствие, представляется весьма важной в такой «чувствительной» сфере, как компьютерное шифрование данных.
143
Коэн разработал мощный, неведомый до него инструмент, получивший название «метода форсинга». Этот метод позволяет доказать совместимость отрицания континуум-гипотезы. Не будем забивать себе голову попытками в него углубиться: у человеческого организма тоже есть свои пределы.
144
Решили дать организму передышку? –
145
Райнер Мария Рильке (1875–1926) – один из самых влиятельных поэтов-модернистов XX века.
146
Перевод Н. Мавлевич.
147
Этот документ, датированный 1970-м годом, входит в научное наследие Гёделя. В нем нет ни введения, ни комментариев, ни объяснений использованной модальной системы (типа логической грамматики). Хотя в нем не содержится никаких ссылок, по всей видимости, это «онтологическое доказательство» базируется на аргументе Ансельма (теолог XI века), а также на трудах Декарта и Лейбница.
148
«Разумеется, сегодня мы бесконечно далеки от научного обоснования теологического видения мира, но у нас, полагаю, есть все основания в чисто рациональной манере признать (не опираясь ни на веру, ни на какую-либо религию), что теологическое видение мира ни в коей мере не противоречит ни одному из известных нам фактов (в том числе предметов и явлений, которые правят нашей землей)». Из письма Курта Гёделя Марианне Гёдель.
149
Для этого мира я потерян.
150
И не забывайте улыбаться, девушка!