математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях математической логики, как теория моделей, теория доказательств и теория множеств. В 1924 Г. поступил в Университет Вены. Доктор математики (1930). Приват-доцент Университета Вены, член Венского кружка (1933-1938). Эмигрировал в США (в 1940, с 1953 - профессор Принстонского института перспективных исследований). Основные труды: "Полнота аксиом логического функционального исчисления" (докторская диссертация, 1930), "О формально неразрешимых предложениях Principia mathematica и родственных систем" (1931), "О интуиционистском исчислении высказываний" (1932), "О интуиционистской арифметике и теории чисел" (1933), "Одна интерпретация интуиционистского исчисления высказываний" (1933), "Совместимость аксиомы выбора и обобщенной континуум-гипотезы с аксиомами теории множеств" (1940), "Об одном еще не использованном расширении финитной точки зрения" (1958). В конце 1920-х Гильбертом и его последователями были получены доказательства полноты некоторых аксиоматических систем. Полнота аксиоматической системы рассматривалась ими как свойство системы аксиом данной аксиоматической теории, характеризующее широту охвата этой теорией определенного направления математики. В математических теориях, конструируемых на основаниях материальной аксиоматики, значения исходных терминов аксиоматической теории даны с самого начала (т.е. определенную интерпретацию данной теории полагают фиксированной). В рамках такой теории стали возможны рассуждения о выводимости ее утверждений из аксиом и рассуждения об истинности таких утверждений. Полнота системы аксиом в данном случае соответствовала совпадению этих понятий. (Пример аксиоматики такого вида - аксиоматика геометрии Евклида.) В математических теориях, конструируемых на основаниях формальной аксиоматики, значения исходных терминов аксиоматической теории остаются неопределенными во время вывода теорем из аксиом. В данном случае система аксиом называлась полной относительно данной интерпретации, если из нее были выводимы все утверждения, истинные в этой интерпретации. Наряду с таким понятием полноты определялось и другое ее понятие, являвшееся внутренним свойством аксиоматической системы (не зависимым ни от одной из ее интерпретаций): систему аксиом называли дедуктивно полной, если всякое утверждение, формулируемое в данной теории, может быть либо доказанной (являясь в таком случае теоремой), либо опровергнутой (в смысле возможности доказательства его отрицания). При этом, если аксиоматическая теория полна относительно некоторой интерпретации, то она является дедуктивно полной; и наоборот, если теория дедуктивно полна и непротиворечива (т.е. все теоремы истинны) относительно данной интерпретации, то она является полной относительно этой интерпретации. Понятие дедуктивной (внутренней) полноты - "удобная характеристика" аксиоматической теории при конструировании ее в виде формальной системы. На таком основании Гильбертом была выстроена искусственная система, включающая часть арифметики, с доказательствами ее полноты и непротиворечивости. Подход Г. в целом относится к конструктивному направлению математики: в интуиционистской трактовке истинности высказывания истинной он считал только рекурсивно реализуемую формулу (сводимую к функции от чисел натурального ряда). Тем самым интуиционистская арифметика становилась расширением классической. Одновременно конструируя и логику, и арифметику, Г. вынужденно отказался от логицистского тезиса Фреге о полной редуцируемости математики к логике. Г. обосновывал математику разработанным им же методом арифметизации метаматематики, заключающимся в замене рассуждений о выражениях любого логико-математического языка рассуждениями о натуральных числах. Этот метод Г. поместил в основу доказательства "теоремы Г. о полноте" исчисления предикатов классической логики предикатов (первого порядка), а позднее - в две важнейшие теоремы о неполноте расширенного исчисления предикатов, известных под общим названием "теорема Г. о неполноте". Г. в своей докторской диссертации (1930) доказал теорему о полноте исчисления классической логики предикатов: если предикатная формула истинна в любой интерпретации, то она выводима в исчислении предикатов (другими словами, любая формула, отрицание которой невыводимо, является выполнимой). Являясь одной из базисных теорем математической логики, теорема Г. о полноте показывает, что уже классическое исчисление предикатов содержит все логические законы, выражаемые предикатными формулами. Усиление теоремы о полноте классического исчисления логики предикатов утверждает, что всякая счетная последовательность формул, из которой нельзя вывести противоречия, выполнима. При этом, если из множества предикатных формул P невозможно вывести противоречие в рамках предикатного исчисления, то для множества P существует модель, т.е. интерпретация, в которой истинны все формулы множества Р. Доказательство полноты исчисления классической логики предикатов породило в школе Гильберта некоторые надежды на возможность доказательства полноты и непротиворечивости всей математики. Однако уже в следующем, 1931, году была доказана теорема Г. о неполноте. Первая теорема о неполноте утверждает, что если формальная система арифметики непротиворечива, то в ней существует как минимум одно формально неразрешимое предложение, т.е. такая формула F, что ни она сама, ни ее отрицание не являются теоремами этой системы. Иными словами, непротиворечивость рекурсивной арифметики делает возможным построение дедуктивно неразрешимого предложения, формализуемого в исчислении, т.е. к существованию и недоказуемой, и неопровержимой формулы. Такая формула, являясь предложением рекурсивной арифметики, истинна, но невыводима, несмотря на то, что по определению она должна быть такой. Следовательно, непротиворечивость формализованной системы ведет к ее неполноте. Усилением первой теоремы о неполноте является вторая теорема о неполноте, утверждающая, что в качестве формулы F возможен выбор формулы, естественным образом выражающей непротиворечивость формальной арифметики, т.е. для непротиворечивого формального исчисления, имеющего рекурсивную арифметику в качестве модели, формула F выражения этой непротиворечивости невыводима в рамках данного исчисления. Согласно теореме Г. о неполноте, например, любая процедура доказательства истинных утверждений элементарной теории чисел (аддитивные и мультипликативные операции над целыми числами) заведомо неполна. Для любых систем доказательств существуют истинные утверждения, которые даже в таком достаточно ограниченном направлении математики останутся недоказуемыми. Б.В.Бирюков пишет о методологическом значении теоремы Г. о неполноте: "...если формальная арифметика непротиворечива, то непротиворечивость нельзя доказать средствами, формализуемыми в ней самой, т.е. теми финитными средствами, которыми Гильберт хотел ограничить метаматематические исследования...". Следовательно, (внутреннюю) непротиворечивость любой логико-математической теории невозможно доказать без обращения к другой теории (с более сильными допущениями, а следовательно менее устойчивой). Фон Нейман читал в момент публикации работы Г. лекции по метаматематической программе Гильберта, однако сразу после прочтения этой работы он перестроил курс, посвятив Г. все оставшееся время. Теорема Г. о неполноте - важнейшая метатеорема математической логики - показала неосуществимость программы Гильберта в части полной формализации определяющей части математики и обоснования полученной формальной системы путем доказательства ее непротиворечивости (финитными методами). Однако теорема Г. о неполноте, демонстрируя границы применимости финитного подхода в математике, не может свидетельствовать об ограниченности логического знания. Э.Нагель и Дж.Ньюмен о значении открытий Г. для сравнительной оценки возможностей человека и компьютера пишут, что "...для каждой нашей конкретной задачи, в принципе, можно построить машину, которой бы эта задача была под силу; но нельзя создать машину, пригодную для решения любой задачи. Правда, и возможности человеческого мозга могут оказаться ограниченными, так что и человек тогда сможет решить не любую задачу. Но даже если так, структурные и функциональные свойства человеческого мозга пока еще намного больше по сравнению с возможностями самых изощренных из мыслимых пока машин... Единственный непреложный вывод, который мы можем сделать из теоремы Г. о неполноте, состоит в том, что природа и возможности человеческого разума неизмеримо тоньше и богаче любой из известных пока машин...". Г. также внес значительный вклад в аксиоматическую теорию множеств, два базисных принципа которой - аксиома выбора Э.Цермело и континуум-гипотеза - долгое время не поддавались доказательству, однако вследствие значимости их логических следствий исследования в этих направлениях продолжались. В аксиоме выбора Э.Цермело постулируется существование множества, состоящего из элементов, выбранных "по одному" от каждого из непересекающихся непустых множеств,
объединение которых составляет некое множество. (Из аксиомы выбора Э.Цермело выводимы следствия, противоречащие "интуиции здравого смысла". Например, возникает возможность разбиения трехмерного шара на конечное количество подмножеств, из которых возможно движениями в трехмерном пространстве реконструировать два точно таких же шара.) Континуум-гипотеза - это утверждение о том, что мощность континуума (мощность, которую имеет, например, множество всех действительных чисел) есть первая мощность, превосходящая мощность множества всех натуральных чисел. Обобщенная континуум-гипотеза гласит, что для любого множества М первая мощность, превосходящая мощность этого множества, есть мощность множества всех подмножеств множества Р. Эта проблема (высказанная Кантором в 1880-х) была включена в знаменитый список 23 проблем Гильберта. В 1936 Г. доказал, что обобщенная континуум-гипотеза совместима с одной естественной системой аксиоматической теории множеств и, следовательно, не может быть опровергнута стандартными методами. В 1938 Г. доказал непротиворечивость аксиомы выбора и континуум-гипотезы (интеграция их в заданную систему аксиом теории множеств не вела к противоречию). Для решения этих проблем была редуцирована аксиоматическая система П.Бернайса, на основе которой, а также предположения о конструктивности каждого множества Г. выстроил модель, адекватную системе аксиом без аксиомы выбора, и такую, что в ней все множества обладали свойством полной упорядочиваемости. В этой модели аксиома выбора оказалась истинной (выполнимой) и, следовательно, совместимой с исходной системой аксиом, следовательно непротиворечивой. В этой модели оказалась истинной и континуум-гипотеза. Дальнейшие работы в этом направлении позволили Г. разработать конструкции для исследования "внутренних механизмов" аксиоматической теории множеств. Кроме работ в указанных направлениях, Г. предложил в 1949 новый тип решения одного важного класса уравнений общей теории относительности, который был расценен Эйнштейном как "...важный вклад в общую теорию относительности..." и был удостоен Эйнштейновской премии (1951).
Отличное определение
Неполное определение ↓
ГЁДЕЛЬ, КУРТ
(Gdel, Kurt) (1906-1978), австрийский логик и математик, автор фундаментального открытия, показавшего ограниченность аксиоматического метода. Родился 28 апреля 1906 в Брно. В 1924 поступил в Венский университет, в 1930 защитил докторскую диссертацию по математике. В 1933-1938 - приват-доцент Венского университета; в 1940 эмигрировал в США. С 1953 и до конца жизни - профессор Принстонского института перспективных исследований. Умер Гёдель в Принстоне 14 января 1978.
Диссертация Гёделя была посвящена проблеме полноты. Полнота системы аксиом, служащих основанием какой-либо области математики, означает адекватность этой аксиоматики той области, которая с их помощью задается, т.е. означает возможность доказать истинность или ложность любого осмысленного утверждения, содержащего понятия рассматриваемой области математики. В 1930-м годам были получены некоторые результаты о полноте различных аксиоматических систем. Так, Гильберт построил искусственную систему, охватывающую часть арифметики, и доказал ее полноту и непротиворечивость. Гёдель в своей диссертации доказал полноту исчисления предикатов первой ступени, и это дало надежду математикам на то, что им удастся доказать непротиворечивость и полноту всей математики. Однако уже в 1931 тот же Гёдель доказал теорему о неполноте, нанесшую сокрушительный удар по этим надеждам. Согласно этой теореме, любая процедура доказательства истинных утверждений элементарной теории чисел обречена на неполноту. Элементарная теория чисел - это раздел математики, занимающийся сложением и умножением целых чисел, и, как показал Гёдель, при любых осмысленных и практически применимых системах доказательств некоторые истины даже в такой весьма скромной области математики останутся недоказуемыми. Как следствие он получил, что внутренняя непротиворечивость любой математической теории не может быть доказана иначе, как с помощью обращения к другой теории, использующей более сильные допущения, а значит, менее надежной.
Методы, использованные Гёделем при доказательстве теоремы о неполноте, сыграли в дальнейшем важную роль в теории вычислительных машин.
Гёдель внес важный вклад в теорию множеств. Два принципа - аксиома выбора и континуум-гипотеза - на протяжении десятилетий не поддавались доказательству, но интерес к ним не ослабевал: слишком привлекательны были их логические следствия. Гёдель доказал (1938), что присоединение этих принципов к обычным аксиомам теории множеств не приводит к противоречию. Его рассуждения ценны не только теми результатами, которые они позволяют получить; Гёдель разработал конструкцию, которая улучшает понимание внутренних механизмов самой теории множеств.
Кольер. Словарь Кольера. 2012
Смотрите еще толкования, синонимы, значения слова и что такое ГЁДЕЛЬ, КУРТ в русском языке в словарях, энциклопедиях и справочниках:
- ГЁДЕЛЬ КУРТ
(Godel) Курт [р. 28.4.1906, Брюнн (Брно)], австрийский логик и математик. В 1933-38 приват-доцент Венского университета. В 1940 эмигрировал в США; … - КУРТ
(Kurth) Эрнст (1886-1946) швейцарский музыковед. Труды о творчестве И. С. Баха, А. Брукнера, Р. Вагнера, по гармонии и … - ГЕДЕЛЬ в Большом энциклопедическом словаре:
(Godel) Курт (1906-78) логик и математик. Родился в Австро-Венгрии, с 1940 в США. Труды по математической логике и теории множеств. … - КУРТ
(Kurth) Эрнст (1886-1946), швейц. музыковед. Тр. о творчестве И.С. Баха, А. Брукнера, Р. Вагнера, по гармонии и … - ГЕДЕЛЬ в Большом российском энциклопедическом словаре:
ГЁДЕЛЬ (GOdel) Курт (1906-78), логик и математик. Род. в Австро-Венгрии, с 1940 в США. Тр. по матем. логике и теории … - КУРТ
(Kurth) Эрнст (1886-1946) , швейцарский музыковед. Труды о творчестве И. С. Баха, А. Брукнера, Р. Вагнера, по гармонии и … - ГЕДЕЛЬ в Современном толковом словаре, БСЭ:
(Godel) Курт (1906-78) , логик и математик. Родился в Австро-Венгрии, с 1940 в США. Труды по математической логике и теории … - ЛЕВИН КУРТ КУРТ в Большой советской энциклопедии, БСЭ:
(Lewin) Курт (9.9.1890, Познань, - 12.2.1947, Ньютон, штат Массачусетс, США), немецкий и американский психолог. Профессор Берлинского университета (1926-33). В 1932-44 … - САМЫЕ СЛОЖНЫЕ ПРЫЖКИ;"КУРТ БРАУНИНГ" в Книге рекордов Гиннеса 1998 года:
Курт Браунинг (Канада) первым в условиях соревнований -25 марта 1988 г. на чемпионате мира в Будапеште, Венгрия, -успешно выполнил прыжок … - КУРТ КОБЕЙН в Цитатнике Wiki:
Data: 2009-07-10 Time: 09:58:58 Курт Дональд Кобейн (1967-1994) Лидер, гитарист и вокалист группы Nirvana.- *Меня зовут Курт, я пою и … - КУРТ ВОННЕГУТ в Цитатнике Wiki:
Data: 2009-09-01 Time: 18:40:46 Курт Во?ннегут(англ. Kurt Vonnegut) — американский писатель, сатирик. = Цитаты из произведений = * Сирены Титана … - ШМИТТ, КУРТ
(Schmitt), (1886-1950), рейхсминистр экономики и финансов в первом кабинете Гитлера. Родился 7 октября 1886 в Гейдельберге в семье врача. В … - ЦЕЙТЦЛЕР, КУРТ в Энциклопедии третьего рейха:
(Zeitzler), (1895-1963), генерал германской армии. Родился 9 июня 1895 в Луккау. Кадровый офицер. Во время 1-й мировой войны командовал 72-м … - ХУБЕР, КУРТ в Энциклопедии третьего рейха:
(Huber), Губер (1893-1943), преподаватель Мюнхенского университета, немецкий философ и психолог. Родился 24 октября 1893 в Куре, Швейцария, в семье школьного … - ДИТМАР, КУРТ в Энциклопедии третьего рейха:
(Dittmar) (1891-1959), военный радиообозреватель. Родился 5 марта 1891 в Магдебурге. Кадровый офицер, участник 1-й мировой войны. В 1941 в звании … - ДАЛЮГЕ, КУРТ в Энциклопедии третьего рейха:
(Daluege), (1897-1946), заместитель имперского протектора Богемии и Моравии. По специальности инженер. Родился 15 сентября 1897 в Крейцбурге. После 1-й мировой … - ВЕЙЛЬ, КУРТ в Энциклопедии третьего рейха:
Вайль (Weill), (1900-1950), немецкий композитор и дирижер. Родился 2 марта 1900 в Дессау. В 1919-20 осуществлял оперные постановки как дирижер … - БЕХЕР, КУРТ в Энциклопедии третьего рейха:
(Becher), помощник Генриха Гиммлера. Родился 12 сентября 1909 в Гамбурге. Бывший торговец зерном, вступив в НСДАП, быстро стал штандартенфюрером СС … - ТУХОЛЬСКИЙ, КУРТ в Датах рождения и смерти известных людей:
(1890-1935) - немецкий писатель и … - ЭЙСНЕР КУРТ в Большой советской энциклопедии, БСЭ:
(Eisner) Курт (14.5.1867, Берлин, - 21.2.1919, Мюнхен), деятель германского рабочего движения. Журналист. С 1898 член Социал-демократической партии. В 1898-1905 главный … - ШУМАХЕР КУРТ в Большой советской энциклопедии, БСЭ:
(Schumacher) Курт (13.10. 1895, Кульм, ныне Хелмно, Польша, - 20.8.1952, Бонн), деятель Социал-демократической партии Германии (СДПГ). Вступил в СДПГ в … - ШЛЕЙХЕР КУРТ ФОН в Большой советской энциклопедии, БСЭ:
(Schleicher) Курт фон (7.4. 1882, Бранденбург, - 30.6.1934, Нёйбабельсберг), германский военный и политический деятель, генерал. В 1913 стал офицером Генштаба. … - ТУХОЛЬСКИЙ КУРТ в Большой советской энциклопедии, БСЭ:
(Tucholsky) Курт (9.1.1890, Берлин, - 21.12.1935, Хиндос, близ Гётеборга, Швеция), немецкий поэт и публицист. Изучал юриспруденцию в Берлинском и Йенском … - МОТЕС КУРТ в Большой советской энциклопедии, БСЭ:
(Mothes) Курт (р. 3.11.1900, Плауэн), немецкий биохимик (ГДР), член Германской АН в Берлине, президент Германской академии естествоиспытателей "Леопольдина" в Галле, … - МЕТЦИГ КУРТ в Большой советской энциклопедии, БСЭ:
(Maetzig) Курт (р. 25.1.1911, Берлин), немецкий кинорежиссёр (ГДР), член Германской академии искусств. В 1935 окончил Высшую техническую школу. В кино … - КОФФКА КУРТ в Большой советской энциклопедии, БСЭ:
(Koffka) Курт (18.3.1886, Берлин, - 22.11.1941, Нортхемптон, США), немецко-американский психолог, один из основателей гештальтпсихологии. Ученик К. Штумпфа. Приват-доцент … - КИЗИНГЕР КУРТ ГЕОРГ в Большой советской энциклопедии, БСЭ:
(Kiesinger) Курт Георг (р. 6.4.1904, Эбинген), государственный и политический деятель ФРГ. По образованию юрист. Учился в Берлинском и Тюбингенском университетах. … - ГОФМАН КУРТ в Большой советской энциклопедии, БСЭ:
(Hoffmann) Курт (р.12.11. 1910, Фрейберг), немецкий кинорежиссёр (ФРГ). В кино с 1931, с 1938 выступает как режиссёр. Поставил несколько развлекательных … - ВЕЙЛЬ КУРТ в Большой советской энциклопедии, БСЭ:
Вайль (Weill) Курт (2.3.1900, Дессау, - 3.4.1950, Нью-Йорк), немецкий композитор и дирижёр. Композиции учился у Э. Хумпердинка, Ф. Бузони. В … - КИЗИЛ-КУРТ в Энциклопедическом словаре Брокгауза и Евфрона:
род киргиз-кайсаков бывшей Малой орды, принадлежащей к Байулинскому племени. Он разделялся на пять отделений и к началу нынешнего столетия заключал … - КИЗИЛ-КУРТ в Энциклопедии Брокгауза и Ефрона:
? род киргиз-кайсаков бывшей Малой орды, принадлежащей к Байулинскому племени. Он разделялся на пять отделений и к началу нынешнего столетия … - ШВИТТЕРС, КУРТ в Словаре Кольера:
(Schwitters, Kurt) (1887-1948), немецкий художник, работавший преимущественно в технике коллажа и ассамблажа и оказавший значительное влияние на развитие современного искусства. … - ПОЗИТИВИЗМ
(лат. positivus - положительный) - (1) па-радигмальная гносео-методологическая установка, согласно которой позитивное знание может быть получено как результат сугубо научного … - ВЕНСКИЙ КРУЖОК в Новейшем философском словаре:
группа ученых и философов, которая в 1920-е стали центром разработки идей логического позитивизма. В.К. кружок был организован в 1922 Шликом … - АНАРХОТЕРРОРИЗМ в Историческом справочнике Терроризм и террористы,:
(Россия) . Движение анархистов никогда не было единым, действовало в виде многочисленных течений и группировок. Среди применявших тактику террора в … - ЭЙСНЕР в 1000 биографий знаменитых людей:
Курт - германский с.-д. Арестованный после январского движения в Германии, он был освобожден баварским правительством в ноябре 1918 г. Вспыхнувшая … - ГИТЛЕР, АДОЛЬФ в Энциклопедии третьего рейха:
(Hitler), (1889-1945), политический деятель Германии, в 1933-45 фюрер (вождь) и канцлер Третьего рейха. Выходец из крестьянской семьи, австриец по происхождению. … - КЛЕБЕР в Литературной энциклопедии:
Курт — немецкий пролетписатель. Р. в Иене, рабочий, активный участник пролетарской революции в Германии. Одно время К., … - AKTION в Литературной энциклопедии:
[Акцион — действие] — еженедельный лит-ый журнал, выходящий с 1911 в Берлине, издаваемый и редактируемый Францем Пфемфертом. Этот журнал сыграл … - ВЕНСКИЙ КРУЖОК в Большом энциклопедическом словаре:
философский кружок, разработавший основы логического позитивизма. Сложился в 1922 вокруг австрийского физика М. Шлика; главные участники - О. Нейрат, Р. … - СОЕДИНЁННЫЕ ШТАТЫ АМЕРИКИ в Большой советской энциклопедии, БСЭ:
Штаты Америки (США) (United States of America, USA). I. Общие сведения США - государство в Северной Америке. Площадь 9,4 млн. … - ПОЛНОТА в Большой советской энциклопедии, БСЭ:
свойство научной теории, характеризующее достаточность для каких-либо определённых целей её выразительных и (или) дедуктивных средств. Один из аспектов понятия П. … - НЕПРОТИВОРЕЧИВОСТЬ в Большой советской энциклопедии, БСЭ:
совместимость, свойство дедуктивной теории (или системы аксиом, посредством которых теория задаётся), состоящее в том, что из неё нельзя вывести … - МЕТАМАТЕМАТИКА в Большой советской энциклопедии, БСЭ:
теория доказательств, теория доказательства, в широком смысле слова - метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических … - МАТЕМАТИЧЕСКИЙ ИНТУИЦИОНИЗМ в Большой советской энциклопедии, БСЭ:
интуиционизм, философско-математическое течение, отвергающее теоретико-множественную трактовку математики и считающее интуицию единственным источником математики и главным критерием строгости её построений. Восходящая … - МАТЕМАТИКА в Большой советской энциклопедии, БСЭ:
I. Определение предмета математики, связь с другими науками и техникой. Математика (греч. mathematike, от mathema - знание, наука), наука о …
Чехословацкая Республика →
Австрийская Республика →
США
Биография [ | ]
Ранние годы [ | ]
Курт Гёдель родился 28 апреля 1906 года в австро-венгерском (моравском) городе Брюнн (ныне Брно , Чехия) в немецкой семье. Отец Курта - Рудольф Гёдель (1874-1929) - был совладельцем и управляющим крупной текстильной фабрики. В семье был ещё старший брат, названный в честь отца Рудольфом. С детства Курт отличался стеснительностью, погружённостью в себя, ипохондрией , а также чрезвычайной мнительностью - нередко он сам внушал себе всевозможные суеверия, от которых не мог избавиться до конца жизни (например, даже в жару он носил тёплую одежду и перчатки, поскольку считал, безо всяких к тому оснований, что у него слабое сердце) .
Это выступление не было заявлено заранее и произвело ошеломляющий эффект, Гёдель сразу стал всемирной знаменитостью, а программа Гильберта по формализации основ математики потребовала срочного пересмотра. Статья с обеими теоремами («О принципиально неразрешимых положениях в системе Principia Mathematica и родственных ей системах ») была опубликована в научном ежемесячнике Monatshefte für Mathematik und Physik в 1931 году. Хотя доказательство второй теоремы Гёдель дал только в виде идеи, его результат был настолько ясен и неоспорим, что не вызвал сомнений ни у кого. Гильберт сразу признал ценность открытий Гёделя; первые полные доказательства обеих теорем были опубликованы в книге Гильберта и Бернайса «Основания математики» (1938). В предисловии ко второму тому авторы признали, что для достижения поставленной цели финитных методов недостаточно, и добавили в число логических средств трансфинитную индукцию ; в 1936 году Герхард Генцен сумел доказать с помощью этой аксиомы непротиворечивость арифметики, однако логическая полнота так и осталась недостижимой .
В 1933 году, уже в должности приват-доцента Венского университета, Гёдель получил приглашение в Принстонский университет (США), где прочитал курс лекций «О неразрешимых теоремах формальных математических систем». В Принстоне он познакомился и подружился с Эйнштейном . В дальнейшем (1934-1939) Гёдель посещал Принстон почти каждый год, чем немало содействовал развитию американской школы математической логики (Клини , Чёрч и другие) .
В марте 1938 года Австрия была присоединена к нацистской Германии. В ходе начавшейся реформы университетской системы Гёдель остался без работы, хотя «неарийской крови» у него не было. В довершение неприятностей 32-летний математик был признан годным к армейской службе и получил мобилизационную повестку. С этого момента Гёдель, ранее равнодушный к политике, начал задумываться об эмиграции . В этом же 1938 году Гёдель женился на танцовщице Адель Поркерт, на 6 лет старше его; брак оказался удачным. Детей у них не было .
В 1940 году Гёдель уехал в США, причём из-за опасности пути через Атлантику во время начавшейся войны поехал туда через дружественные к Германии на тот момент СССР (по Транссибу) и Японию . В США он без проблем получил должность в недавно основанном принстонском , в 1953 году был утверждён там профессором. Мать осталась в Брно, Гёдель регулярно ей писал. С 1940 года Гёдель больше не публиковал исследований по логике, за исключений комментариев философского характера .
В 1948 году Гёдель получил американское гражданство. На собеседовании он попытался доказать, что Конституция США формально-логически неполна и не гарантирует от установления диктатуры, но был вежливо остановлен .
До самой смерти Эйнштейна (1955) они много времени проводили вместе, оживлённо обсуждая физику, политику и философию. Следствием этих бесед стали несколько статей Гёделя по теории относительности. В Австрию Гёдель не вернулся даже после войны, хотя Венский университет его настойчиво приглашал .
Болезнь и смерть [ | ]
Ещё с 1930-х годов у Гёделя обнаруживались признаки психических проблем, которые обычно носили скрытый характер, проявляясь в частых беспокойствах и излишней подозрительности, но в периоды обострений принимали более явные, навязчивые формы. Так, на фоне психологического переутомления, связанного с событиями 1931 года, нервный срыв вывел Гёделя из строя на несколько месяцев . 22 июня 1936 года был убит Мориц Шлик , основатель и бессменный руководитель Венского кружка . Гёдель, всегда восхищавшийся Шликом как своим научным наставником, испытал новый нервный срыв и не мог работать до конца года . В том же 1936 году у него развился параноидальный страх отравления. Опорой Гёделя в нелёгкое время была его жена Адель, кормившая его с ложки и буквально выходившая мужа. Из сохранившихся записей библиотечных запросов этого периода известно, что он изучал литературу по душевным расстройствам, фармакологии и токсикологии (особенно характерно неоднократное обращение к техническому справочнику по отравлениям угарным газом), что лишь осложняло впоследствии его лечение .
Позже, в Принстоне (1941), несмотря на улучшение общего состояния, Гёдель по-прежнему испытывал дискомфорт от присутствия устройств, способных, по его мнению, испускать отравляющие газы. По этой причине он даже распорядился вынести из их с Аделью квартиры холодильник и радиатор. Его одержимость свежим воздухом и подозрения по поводу холодильника сохранялись до конца жизни, а периоды умеренного оздоровления и ухудшения душевного состояния чередовались. Особенно тяжёлым ударом для него стала смерть его друга Альберта Эйнштейна в 1955 году. В 1960-е годы Гёдель прекратил чтение лекций.
В 1970-е годы состояние Гёделя стало резко ухудшаться. У него наблюдались галлюцинации, параноидальное поведение по отношению к докторам и коллегам. Ухудшилось и состояние здоровья Адель, теперь она не могла ухаживать за ним так, как раньше, а он, в свою очередь, - за ней. Огромную поддержку оказывал друг Гёделя, экономист и математик Оскар Моргенштерн .
Могила Курта и Адели Гёдель в Принстоне
В феврале 1976 года паранойя Гёделя опять обострилась, начал снижаться вес, и его уговорили на госпитализацию. Однако уже через неделю, даже не выписавшись, он вернулся домой. Подозрения касались теперь и жены - Моргенштерну и другим людям он рассказывал, что та якобы раздала в его отсутствие все его деньги. В июне Адель была госпитализирована (до августа). Гёдель проводил с ней, по-видимому, достаточно много времени и плохо питался. Осенью он ненадолго снова попал в больницу, где, как он сообщил, его якобы пытались убить. После возвращения домой состояние не улучшалось. Несмотря на уговоры друзей, от очередной госпитализации он отказывался .
В июле 1977 года Адель вновь попала в больницу, где пробыла до декабря. 26 июля умер Моргенштерн. Это событие и отсутствие жены оказали решающее влияние на состояние Гёделя в последующие несколько месяцев - его вес уменьшился до 30 кг, паранойя прогрессировала. 29 декабря, следуя настояниям жены, возвратившейся около недели до того, Гёдель согласился на госпитализацию. Однако врачи существенную помощь оказать уже не могли. Учёный скончался от «недоедания и истощения», индуцированных «
Бабочки, конечно, ничего не знают о змеях. Зато о них знают птицы, охотящиеся на бабочек. Птицы, плохо распознающие змей, чаще становятся...
Октавой называется интервал между двумя ближайшими одноименными звуками: до и до, ре и ре и т. д. С точки зрения физики «родство» этих...
В 27 году до н. э. римский император Октавиан получил титул Август, что на латыни означает «священный» (в честь этого же деятеля, кстати,...
Известная шутка гласит: «NASA потратило несколько миллионов долларов, чтобы разработать специальную ручку, способную писать в космосе....
Известно порядка 10 миллионов органических (то есть основанных на углероде) и лишь около 100 тысяч неорганических молекул. Вдобавок...
В отличие от обычного стекла, кварцевое пропускает ультрафиолет. В кварцевых лампах источником ультрафиолета служит газовый разряд в парах ртути. Он...
При большом перепаде температур внутри облака возникают мощные восходящие потоки. Благодаря им капли могут долго держаться в воздухе и...
Когда речь заходит о самых выдающихся открытиях ХХ века, обычно называют теор ию относительности Эйнштейна, квантовую механику, принцип неопределенности Гейзенберга. Однако многие крупные ученые - математики и философы - к числу величайших достижений научной мысли минувшего столетия относят и теор ему Гёделя. Ведь если эпохальные прорывы в области физики дали возможность человеческому разуму постичь новые законы природы, то работа Гёделя позволила лучше понять принципы действия самого человеческого разума, и оказала глубокое влияние на мировоззре ние и культур у нашей эпохи.
Кто же такой Гёдель?
Курт Гёдель родился 28 апреля 1906 года в Австро-Венгрии, в моравском городе Брно (в ту пору он назывался Брюнн). В 18 лет он поступил в Венский университет, где сначала изучал физику, но через два года переключился на математику. Известно, что такая смена научных интересов произошла во многом под влиянием книги Бертрана Рассела «Введение в философию математики». Еще одним источником, оказавшим существенное влияние на формирование Гёделя как ученого, было его участие в работе «Венского кружка». Под этим именем в историю науки вошло собрание блестящих ученых - математиков, логиков, философов, которые регулярно собирались в Вене с конца 20-х и до середины 30-х гг. прошлого века. В работе Венского кружка в разное время участвовали такие ученые, как Рудольф Карнап, Отто Нейрат, Герберт Фейгль, Мориц Шлик. С их деятельностью связывают становление философского позитивизма. Но фактически тематика кружка охватывала осмысл ение общего места научного знания в познании природы и общества. Несколько международных конференций, организованных в разных европейских научных центрах, позволяют говорить о выдающейся роли, которую сыграл венский кружок в становлении фундаментального научного знания ХХ века. Курт Гёдель принимал участие практически во всех «четверговых» заседаниях кружка и в организованных им международных конференциях. Деятельность кружка в Австрии прервалась в 1936 году, когда его руководитель Мориц Шлик был убит студентом-нацистом на ступенях Венского университета. Большинство членов кружка эмигрировали в США. Туда же перебрался и Курт Гёдель. Со временем он получил американское гражданство, работал в Институте высших исследований в Принстоне. В том же городе он и умер в 1978 году. Такова была внешняя канва его жизни. Знакомые и коллеги по работе запомнили его как человека замкнутого, болезненно ранимого, отрешенного от окружающего мира, полностью погруженного в свои мысли.
О том, что логическое постижение мира занимало главное место в жизни ученого, говорит любопытная деталь его биографии. В 1948 году, когда решался вопрос о получении им американского гражданства, Гёдель должен был в соответствии с принятой процедурой сдать что-то вроде устного экзамена по азам американской конституции. Подойдя к вопросу со всей научной добросовестностью, он досконально изучил документ, и пришел к выводу, что в США законным путем, без нарушения конституции может быть установлена диктатура. Подобное открытие чуть не стоило ему провала на испытаниях, когда он вступил в дискуссию с принимавшим зачет чиновником, который, разумеется, считал основной закон своего государства величайшим достижением политической мысли. Друзья, среди которых был Альберт Эйнштейн, выступивший одним из двух поручителей Гёделя при получении им гражданства, уговорили его повременить с развертыванием своей аргументации хотя бы до принесения присяги. Позднее история получила любопытный эпилог: четверть века спустя другой американец, Кеннет Эрроу, удостоился Нобелевской премии за доказательство в общем виде утверждения, к которому пришел Гёдель, изучив американскую конституцию.
Что же доказал Гёдель?
Прежде чем перейти к изложению теор емы, обессмертившей имя Гёделя, необходимо хотя бы вкратце рассказать о том, перед какими проблемами оказалась к концу 20-х годов прошлого века математика, точнее, ее раздел, выделившийся на рубеже XIX-ХХ вв. и получивший название «основания математики».
Но вначале, пожалуй, стоит остановиться на школьном курсе геометрии, который и сейчас во многом повторяет «Начала» Евклида, написанные более 2 тыс. лет тому назад. В традиционных учебниках сначала приводятся некоторые утверждения (аксиом ы) о свойствах точек и прямых на плоскости, из них путем логического построения в соответствии с правилами «аристотелевской» логики выводится справедливость разных важных и полезных геометрических фактов (теор ем). Например, одна из аксиом утверждает, что через две точки проходит одна и только одна прямая, другое утверждение - знаменитый пятый постул ат, от которого отказался Лобачевский в своей неевклидовой геометрии, - касается параллельных прямых, и т. д. Истинность аксиом принимается как нечто очевидное и не требующее доказательств. Заслуга греческого геометра в том, что он постарался изложить всю науку о пространственном расположении фигур как набор следствий, вытекающих из нескольких базовых положений.
В конце XIX века все пробелы евклидовых «Начал» (с точки зрения возросших требований математиков к строгости и точности своих рассуждений) были заполнены. Итогом новейших исследований стала книга немецкого математика Давида Гильберта «Основания геометрии».
Успех методики Евклида побудил ученых распространить его принципы и на другие разделы математики. После геометрии настала очередь арифметики. В 1889 году итальянский математик Джузеппе Пеано впервые сформулировал аксиом ы арифметики, казавшиеся до смешного очевидными (существует нуль; за каждым числом следует еще число и т. д.), но на самом деле абсолютно исчерпывающие. Они играли ту же роль, что и постул аты великого грека в геометрии. Исходя из подобных утверждений, с помощью логического рассуждения можно было получить основные арифметические теор емы.
В тот же период немецкий математик Готлиб Фреге выдвинул еще более амбициозную задачу. Он предложил не просто аксиом атически утвердить основные свойства исследуемых объектов, но и формализ овать, кодифицировать сами методы рассуждений, что позволяло записать любое математическое рассуждение по определенным правилам в виде цепочки символов. Свои результаты Фреге опубликовал в труде «Основные законы арифметики», первый том которого вышел в 1893 году, а второй потребовал еще десяти лет напряженной работы и был полностью завершен лишь в 1902 году.
С именем и научными изысканиями Фреге связана, пожалуй, одна из самых драматических историй в развитии науки о числах. Когда второй том был уже в печати, ученый получил письмо от молодого английского математика Бертрана Рассела. Поздравив коллегу с выдающимися результатами, Рассел, тем не менее, указал на одно обстоятельство, прошедшее мимо внимания автора. Коварным «обстоятельством» был получивший впоследствии широкую известность «парадокс Рассела», представлявший собой вопрос: будет ли множество всех множеств, не являющихся своими элементами, своим элементом? Фреге не смог немедленно разрешить загадку. Ему не оставалось ничего другого, как только добавить в послесловии к выходящему из печати второму тому своей книги полные горечи слова: «Вряд ли что-нибудь может быть более нежелательным для ученого, чем обнаружить, что основания едва завершенной работы рухнули. Письмо, полученное мной от Бертрана Рассела, поставило меня именно в такое положение...» Огорченный математик взял академический отпуск в своем университете, потратил массу сил, пытаясь подправить свою теор ию, но всё было тщетно. Он прожил еще более двадцати лет, но не написал больше ни одной работы по арифметике.
Однако Расселу удалось вывести вариант формальной системы, позволяющий охватить всю математику и свободный от всех известных к тому времени парадоксов, с опорой именно на идеи и работы Фреге. Полученный им результат, опубликованный в 1902 году в книге Principia Mathematica (написанной совместно с Алфредом Нортом Уайтхедом), фактически стал аксиом атизацией логики, а Давид Гильберт считал, что его «можно рассматривать как венец всех усилий по аксиом атизации науки».
Была и еще одна причина столь пристального интереса математиков к основаниям своей дисциплины. Дело в том, что на рубеже XIX и ХХ столетий в теор ии множеств были обнаружены противоречия, для обозначения которых был придуман эвфемизм «парадоксы теор ии множеств». Наиболее известный из них - знаменитый парадокс Рассела - был, увы, не единственным. Более того, для большинства ученых было очевидно, что за открытием новых странностей дело не станет. Их появление оказало на математический мир, по выражению Гильберта, «катастрофическое воздействие», поскольку теор ия множеств играла роль фундамента, на котором возводилось всё здание науки о числах. «Перед лицом этих парадоксов надо признать, что положение, в котором мы пребываем сейчас, на длительное время невыносимо. Подумайте: в математике - этом образце надежности и истинности - понятия и умозаключения, как их всякий изучает, преподает и применяет, приводят к нелепостям. Где же тогда искать надежность и истинность, если даже само математическое мышлени е дает осечку?», - сокрушался Гильберт в своем докладе на съезде математиков в июне 1925 года.
Таким образом, впервые за три тысячелетия математики вплотную подошли к изучению самых глубинных оснований своей дисциплины. Сложилась любопытная картина: любители цифр научились четко объяснять, по каким правилам они ведут свои вычисления, им оставалось лишь доказать «законность» принятых ими оснований с тем, чтобы исключить любые сомнения, порождаемыми злополучными парадоксами. И в первой половине 20-х годов великий Гильберт, вокруг которого сложилась к тому времени школа блестящих последователей, в целой серии работ наметил план исследований в области оснований математики, получивший впоследствии название «Геттингенской программы». В максимально упрощенном виде ее можно изложить следующим образом: математику можно представить в виде набора следствий, выводимых из некоторой системы аксиом , и доказать, что:
- Математика является полной, т.е. любое математическое утверждение можно доказать или опровергнуть, основываясь на правилах самой дисциплины.
- Математика является непротиворечивой, т.е. нельзя доказать и одновременно опровергнуть какое-либо утверждение, не нарушая принятых правил рассуждения.
- Математика является разрешимой, т.е., пользуясь правилами, можно выяснить относительно любого математического утверждения, доказуемо оно или опровержимо.
Фактически программа Гильберта стремилась выработать некую общую процедуру для ответа на все математические вопросы или хотя бы доказать существование таковой. Сам ученый был уверен в утвердительном ответе на все три сформулированные им вопроса: по его мнению, математика действительно была полной, непротиворечивой и разрешимой. Оставалось только это доказать.
Более того, Гильберт полагал, что аксиом атический метод может стать основой не только математики, но и науки в целом. В 1930 году в статье «Познание природы и логика» он писал: «...даже в самых обширных по своему охвату областях знания нередко бывает достаточно небольшого числа исходных положений, обычно называемых аксиом ами, над которыми затем чисто логическим путем надстраивается всё здание рассматриваемой теор ии».
Какими были бы для дальнейшего развития науки последствия успеха Гильберта и его школы? Если бы, как он считал, вся математика (и наука в целом) сводилась к системе аксиом , то их можно было бы ввести в вычислительную машину, способную по программе, следующей общим логическим правилам, обосновать любое утверждение (то есть доказать теор ему), вытекающее из исходных утверждений.
Будь теор ия Гильберта реализована, работающие в круглосуточном режиме суперкомпьютеры непрерывно доказывали бы всё новые и новые теор емы, размещая их на бесчисленных сайтах «всемирной паутины». Вслед за математикой «аксиом атическая эпоха» наступила бы в физике, химии, биологии и, наконец, очередь дошла бы и до науки о человеческом сознании. Согласитесь, окружающий нас мир, да и мы сами, выглядели бы в подобном случае несколько иначе.
Однако «вселенская аксиом атизация» не состоялась. Вся суперамбициозная, грандиозная программа, над которой несколько десятилетий работали крупнейшие математики мира, была опровергнута одной-единственной теор емой. Ее автором был Курт Гёдель, которому к тому времени едва исполнилось 25 лет.
В 1930 году на конференции, организованной «Венским кружком» в Кенигсберге, он сделал доклад «О полноте логического исчисления», а в начале следующего года опубликовал статью «О принципиально неразрешимых положениях в системе Principia Mathematica и родственных ей системах». Центральным пунктом его работы были формулировка и доказательство теор емы, которая сыграла фундаментальную роль во всём дальнейшем развитии математики, и не только ее. Речь идет о знаменитой теор еме Гёделя о неполноте. Наиболее распространенная, хотя и не вполне строгая ее формулировка утверждает, что «для любой непротиворечивой системы аксиом существует утверждение, которое в рамках принятой аксиом атической системы не может быть ни доказано, ни опровергнуто». Тем самым Гёдель дал отрицательный ответ на первое утверждение, сформулированное Гильбертом.
Любопытно, что на этой же конференции с докладом на тему «Каузальное знание и квантовая механика» выступил Вернер Гейзенберг. В этом докладе были намечены первые подходы к его знаменитым «соотношениям неопределенности».
Выводы Гёделя произвели в математическом сообществе эффект интеллектуальной бомбы. Тем более что вскоре на их основе были получены опровержения двух других пунктов программы Гильберта. Оказалось, что математика неполна, неразрешима, и ее непротиворечивость нельзя доказать (в рамках той самой системы, непротиворечивость которой доказывается).
Теорема Гёделя
С тех пор прошло три четверти века, но споры о том, что же всё-таки доказал Гёдель, не утихают. Особенно жаркие прения идут в околонаучных кругах. «Теорема Гёделя о неполноте является поистине уникальной. На нее ссылаются всякий раз, когда хотят доказать «всё на свете» - от наличия богов до отсутствия разума», - пишет выдающийся современный математик В. А. Успенский.
Если оставить в стороне многочисленные подобные спекуляции, то нужно отметить, что ученые разделились в вопросе оценки роли Гёделя на две группы. Одни вслед за Расселом считают, что знаменитая теор ема, которая легла в основу современной математической логики, тем не менее, оказала весьма незначительное влияние на дальнейшую работу за пределами данной дисциплины - математики как доказывали свои теор емы в «догёделевскую» эпоху, так и продолжают доказывать их и по сей день.
Что же касается фантасмагорического видения компьютеров, непрерывно доказывающих всё новые теор емы, то смысл подобной деятельности у многих специалистов вызывает большое сомнение. Ведь для математики важна не только формулировка доказанной теор емы, но и ее понимание, поскольку именно оно позволяет выявить связь между различными объектами и понять, в каком направлении можно двигаться дальше. Без такого понимания теор емы, генерируемые на основе правил формализ ованного вывода, представляют собой лишь своего рода «математический спам», - таково мнение сотрудника кафедры математической логики и теор ии алгоритм ов мехмата МГУ Александра Шеня.
Похожим образом рассуждал и сам Гёдель. Тем, кто упрекал его в разрушении целостности фундамента математики, он отвечал, что по сути ничего не изменилось, основы остались по-прежнему незыблемыми, а его теор ема привела лишь к переоценке роли интуиции и личной инициативы в той области науки, которой управляют железные законы логики, оставляющие, казалось бы, мало места для подобных достоинств.
Однако некоторые ученые придерживаются другого мнения. Действительно, если считать умение логически рассуждать основной характеристикой человеческого разума или, по крайней мере, главным его инструментом, то теор ема Гёделя прямо указывает на ограниченность возможностей нашего мозга. Согласитесь, что человеку, воспитанному на вере в бесконечное могущество мысли, очень трудно принять тезис о пределах ее власти.
Скорее уж речь может идти об ограниченности наших представлений о собственных ментальных возможностях. Многие специалисты полагают, что формально-вычислительные, «аристотелевские» процессы, лежащие в основе логического мышлени я, составляют лишь часть человеческого сознания. Другая же его область, принципиально «невычислительная», отвечает за такие проявления, как интуиция, творческие озарения и понимание. И если первая половина разума подпадает под гёделевские ограничения, то вторая от подобных рамок свободна.
Наиболее последовательный сторонник подобной точки зрения - крупнейший специалист в области математики и теор етической физики Роджер Пенроуз - пошел еще дальше. Он предположил существование некоторых квантовых эффектов невычислительного характера, обеспечивающих реализацию творческих актов сознания. И хотя многие его коллеги критически относятся к идее наделить человеческий мозг гипотетическими квантовыми механизмами, Пенроуз со своими сотрудниками уже разработал схему эксперимента, который должен, по их мнению, подтвердить их наличие.
Одним их многочисленных следствий гипотез ы Пенроуз а может стать, в частности, вывод о принципиальной невозможности создания искусственного интеллекта на основе современных вычислительных устройств, даже в том случае, если появление квантовых компьютеров приведет к грандиозному прорыву в области вычислительной техники. Дело в том, что любой компьютер может лишь всё более детально моделировать работу формально-логической, «вычислительной» деятельности человеческого сознания, но «невычислительные» способности интеллекта ему недоступны.
Такова лишь небольшая часть естественнонаучных и философских споров, вызванных опубликованной 75 лет назад математической теор емой молодого Гёделя. Вместе с другими великими современниками он заставил человека иначе взглянуть на окружающий мир и на самого себя. Величайшие открытия первой трети ХХ века, в том числе теор ема Гёделя, а также создание теор ии относительности и квантовой теор ии, показали ограниченность механистически-детерминистской картины природы, созданной на основе научных исследований двух предшествующих столетий. Оказалось, что и пути развития мироздания, и нравственные императивы подчиняются принципиально другим закономерностям, где имеют место и неустранимая сложность, и неопределенность, и случайность, и необратимость.
Однако последствия великого научного переворота не исчерпываются уже упомянутыми. К началу ХХ века идеи лапласовско-ньютоновского детерминизма оказывали огромное влияние на развитие общественных наук. Вслед за корифеями классического естествознания, представлявшими природу в виде жесткой механической конструкции, где все элементы подчиняются строгим законам, а будущее может быть однозначно предсказано, если известно текущее состояние, жрецы деятели общественных наук рисовали человеческое общество, подчиненное непреложным закономерностям и развивающееся в заранее заданном направлении. Одной из последних попыток сохранить подобную картину мира был, по-видимому, марксизм-ленинизм, приверженный концепции «единственно верного научного учения», составной частью которого было «материалистическое понимание истории». Достаточно вспомнить ленинскую идею построения социалистического общества по типу «большой фабрики».
Постепенно с огромным трудом идеи о сложности, случайности, неопределенности, утвердившиеся в естественнонаучной картине мироздания, стали проникать и в социальные и гуманитарные науки. В обществе непредрешенность реализуется через феномен личной свободы индивидуума. Именно присутствие в природе человека в качестве субъекта, осуществляющего вольный и непредсказуемый выбор, делает исторический процесс сложным и не подчиняющимся никаким непреложным законам вселенского развития.
Однако нельзя не заметить, что обретение новой картины сложного мира в нашей стране происходило с огромным трудом. Господствовавшая семь десятилетий идеология тяготела к детерминизму лапласовского типа как философии всеобщего авторитарного порядка. Именно такой принцип предопределенности лежал в основе мечты, никогда не покидавшей правящую советскую бюрократию, об обществе-фабрике, управляемой жесткими законами иерархии. И поэтому всякий раз, как речь заходила о сложности, плюрализме, разнообразии, будь то теор ия относительности, квантовая механика, генетика, кибернетика, социологические исследования, психоанализ и т. д., - сразу включался механизм идеологической цензуры, который имел своей целью изгнать все упоминания о свободе и из природы, и из общества. Увы, косное наследие до сих пор мрачной тенью довлеет над умами многих наших соотечественников и современников. Свидетельством тому - инициируемые властью мучительные поиски новой «национальной идеологии», которая могла бы занять место, освободившееся в связи с кончиной коммунистической доктрины.
Так Курт Гёдель и его великие современники заставили нас по-новому взглянуть и на «звездное небо над головой, и на нравственный закон внутри нас», и на общество, в котором мы живем.
