Курт Гёдель родился 28 апреля 1906 г. в Австро-Венгрии, в моравском городе Брно (в ту пору он назывался Брюнн). В 18 лет он поступил в Венский университет, где сначала изучал физику, но через два года переключился на математику. Известно, что такая смена научных интересов произошла во многом под влиянием книги Бертрана Рассела «Введение в философию математики». Ещё одним источником, оказавшим существенное влияние на формирование Гёделя как ученого, было его участие в работе «Венского кружка». Под этим именем в историю науки вошло собрание блестящих ученых — математиков, логиков, философов, которые регулярно собирались в Вене с конца 20-х и до середины 30-х годов ХХ в. В работе «Венского кружка» в разное время участвовали такие ученые, как Рудольф Карнап, Отто Нейрат, Герберт Фейгль, Мориц Шлик. С их деятельностью связывают становление философского позитивизма. Но фактически тематика кружка охватывала осмысление общего места научного знания в познании природы и общества. Несколько международных конференций, организованных в разных европейских научных центрах, позволяют говорить о выдающейся роли, которую сыграл «Венский кружок» в становлении фундаментального научного знания ХХ в. К. Гёдель принимал участие практически во всех «четверговых» заседаниях кружка и в организованных им международных конференциях. Деятельность кружка в Австрии прервалась в 1936 г., когда его руководитель Мориц Шлик был убит студентом-нацистом на ступенях Венского университета.
Большинство членов кружка эмигрировали в США. Туда же перебрался и К. Гёдель. Со временем он получил американское гражданство, работал в Институте высших исследований в Принстоне. В том же городе он и умер в 1978 г. Такова была внешняя канва его жизни. Знакомые и коллеги по работе запомнили его как человека замкнутого, болезненно ранимого, отрешенного от окружающего мира, полностью погруженного в свои мысли.
О том, что логическое постижение мира занимало главное место в жизни ученого, говорит любопытная деталь его биографии. В 1948 г., когда решался вопрос о получении им американского гражданства, Гёдель должен был в соответствии с принятой процедурой сдать что-то вроде устного экзамена по азам американской конституции. Подойдя к вопросу со всей научной добросовестностью, он досконально изучил документ, и пришел к выводу, что в США законным путем, без нарушения конституции может быть установлена диктатура. Подобное открытие чуть не стоило ему провала на испытаниях, когда он вступил в дискуссию с принимавшим зачет чиновником, который, разумеется, считал основной закон своего государства величайшим достижением политической мысли. Друзья, среди которых был Альберт Эйнштейн, выступивший одним из двух поручителей Гёделя при получении им гражданства, уговорили его повременить с развертыванием своей аргументации хотя бы до принесения присяги. Позднее история получила любопытный эпилог: четверть века спустя другой американец, Кеннет Эрроу, удостоился Нобелевской премии за доказательство в общем виде утверждения, к которому пришел Гёдель, изучив американскую конституцию.
Прежде чем перейти к изложению теоремы, обессмертившей имя Гёделя, необходимо хотя бы вкратце рассказать о том, перед какими проблемами оказалась к концу 20-х годов ХХ в. математика, точнее, её раздел, выделившийся на рубеже XIX–XX вв. и получивший название «основания математики».
Но вначале, пожалуй, стоит остановиться на школьном курсе геометрии, который и сейчас во многом повторяет «Начала» Евклида, написанные более 2 тыс. лет тому назад. В традиционных учебниках сначала приводятся некоторые утвержде ния (аксиомы) о свойствах точек и прямых на плоскости, из них путем логического построения в соответствии с правилами «аристотелевской» логики выводится справедливость разных важных и полезных геометрических фактов (теорем). Например, одна из аксиом утверждает, что через две точки проходит одна и только одна прямая, другое утверждение — знаменитый пятый постулат, от которого отказался Лобачевский в своей неевклидовой геометрии, касается параллельных прямых и т. д. Истинность аксиом принимается как нечто очевидное и не требующее доказательств. Заслуга греческого геометра в том, что он постарался изложить всю науку о пространственном расположении фигур как набор следствий, вытекающих из нескольких базовых положений.
В конце XIX в. все пробелы евклидовых «Начал» (с точки зрения возросших требований математиков к строгости и точности своих рассуждений) были заполнены. Итогом новейших исследований стала книга немецкого математика Давида Гильберта «Основания геометрии».