Читать «Богиня маленьких побед» онлайн - страница 241
Янник Гранек
«Гёдель», Пьер Кассу-Ноге, Les Belles Lettres, 2004.
«Гёдель, Эшер, Бах: звенья вечной гирлянды», Дуглас Хофстадтер, Dunod, 1985.
«История тайных кодов. От Египта времен фараонов до квантового компьютера», Саймон Сингх, Étude, Poche, 2001.
«Гений и безумие», Филипп Брено, Odile Jacob, 2007.
«Была как-то семь раз революция. Альберт Эйнштейн и другие…» Этьенн Кляйн, Flammarion, «Champs sciences», 2008.
Биографии, автобиографии и художественные произведения
«Вчерашний мир», Стефан Цвейг, Ldp, 1996.
«Поворот», Клаус Манн, Actes Sud «Babel», 2008.
«Эйнштейн», Жак Марло-Понти, Flammarion, «Figures de la science», 1997.
«Алан Тьюринг, человек, надкусивший яблоко», Лоран Лемир, Hachette Littérature, 2004.
«Как я вижу мир», Альберт Эйнштейн, Flammarion, «Champs», 1999.
«Алеф», Хорхе Луис Борхес, Gallimard, «L’Imaginaire», 1977.
Статьи
Примечания
1
Nachlass (
2
ИПИ – Институт перспективных исследований.
3
Моя бабушка была немкой. Она и научила меня этой системе.
4
Может быть.
5
«Ночная бабочка».
6
Джин Харлоу (1911–1937) – американская актриса, кинозвезда и секс-символ 30-х годов прошлого века. –
7
Бетти Бронсон (1906–1971) – американская киноактриса. –
8
Это понятно?
9
В сжатом до неприличия виде: «логика первого порядка» – это формальный математический язык, использующий высказывания, называемые «предикатами», связанные логическими взаимосвязями (или операторами), такими как «и», «или», «если». Эта логика обеспечивает «истинные» или «ложные» дедуктивные результаты, комбинируя высказывания, определенные как «истинные» или «ложные».
10
Подлинный автор этого изречения – Нинон де Ланкло.
11
Приват-доцент – должность в системе высшей школы Германии и ряда других европейских стран, чья образовательная система была выстроена по германскому образцу (в т. ч. в дореволюционной России). –
12
Аргумент к человеку – аргумент, использующийся в риторике для того, чтобы противопоставлять оппоненту его собственное поведение или слова.
13
В своей докторской диссертации, защищенной в 1929 году, Гёдель доказал «полноту исчисления предикатов первого порядка». В отличие от теоремы неполноты, появившейся позже, этот результат укрепил позитивистские идеалы программы Гилберта. При этом Гёдель опирался на строго ограниченную совокупность аксиом.