Янник Гранек - Богиня маленьких побед

«Онтологическое доказательство», также известное как «онтологический аргумент», представляет собой логическую цепочку, целью которой является дать определение Бога и, как следствие, доказать необходимость его существования (в «дедуктивном» плане).

«Ну что же, вера твоя была крепка, но тебе требовались доказательства».

Добро пожаловать в замок Гёделей!

Традиционная деревенская столовая.

В 1948 году Эйнштейн перенес операцию по поводу аневризмы брюшной аорты. Знаменитая фотография, на которой он показывает язык, была сделана по возвращении из больницы. Он подарил ее своему хирургу, снабдив следующей надписью: «Ниссену – мой живот, миру – язык».

В 1949 году Гёдель написал статью для публикации в честь семидесятилетия Эйнштейна. Статья называлась «Заметки о взаимосвязи теории относительности с идеалистической философией».

Несколько лет спустя свой вклад в усовершенствование математической основы специальной теории относительности внес и его бывший преподаватель Минковски. В 1916 году Эйнштейн признал, что более «сложная» формализация его специальной теории относительности бывшим наставником позволила ему «намного легче» создать общую теорию относительности. Но это уже совсем другая, исключительно запутанная история об авторстве (соавторстве) вышеупомянутых теорий.

В 1992 году физик Стивен Хокинг сформулировал «гипотезу защиты хронологии», чтобы исключить все эти парадоксы, создающие множество затруднений. Позже философ и логик Палле Йорграу назвал эту гипотезу «антиГёделевской».

Если совсем кратко, то для философов-«реалистов», в отличие от философов-«идеалистов», «внешний» мир (или присущие ему явления, такие как время) существует независимо от нашего сознания или восприятия.

Вечно, во веки веков. – Примеч. пер.

Эта занятная деталь привела к появлению термина «баг» (что в переводе с английского означает «жучок, насекомое, мотылек»). В 1946 ЭНИАК (Электронный числовой интегратор и вычислитель) имел производительность в 500 флопсов (флопс означает количество операций с плавающей запятой в секунду). Флопс является общей единицей измерения скорости работы информационных систем. В октябре 2010 года китайский суперкомпьютер Тяньхэ-1 показал производительность в 2,5 петафлопса (пета = 10 15). Ученые считают, что производительность человеческого мозга колеблется в пределах между 10 15и 10 19флопсов. В основе этой экстраполяции лежит количество синапсов и нейронных соединений, при этом неизвестные и трудноопределимые факторы не учитываются.

Джеймс Браун (1933–2006) – американский певец, признанный одной из самых влиятельных фигур в поп-музыке XX века. – Примеч. пер.

Перри Комо (1912–2001) – американский певец и телезвезда 1940–1950-х годов, ставший популярным благодаря своему мягкому, проникновенному баритону. – Примеч. пер.

Ольга Таусски-Тодд (1906–1995) – австрийский, а позже и американский математик чешского происхождения. Была членом венского «Кружка», близко дружила с Куртом Гёделем.

Амалия Эмми Нетер (1882–1935) – немецкий математик, получившая признание за вклад в развитие абстрактной алгебры и теоретической физики. Целый ряд выдающихся ученых считали ее самой значимой женщиной за всю историю математики.

Хеди Ламарр (1914–2000) – актриса, продюсер и изобретатель. Вместе со своим другом, композитором Джорджем Антейлом, запатентовала систему шифрования передачи сигналов «методом расширения спектра». В наше время эта технология, помимо прочего, применяется в системе глобального позиционирования GPS и беспроводного доступа в Интернет Wi-Fi.

Слово dasein в немецком языке подразумевает такие понятия, как «бытие», «существование», «присутствие». Дазайнзанализ, или «экзистенциальный анализ», основывается на работах философа Мартина Хайдеггера, на которого, в свою очередь, оказала огромное влияние феноменология его учителя, Эдмунда Гуссерля. Халбек стоял у истоков создания Онтоаналитической ассоциации Нью-Йорка. Не исключено, что запоздалый интерес Гёделя к феноменологии Гуссерля обусловлен именно знакомством с этим странным врачом. Автор не рискнет приводить здесь краткое ее определение.