Биография Курта Геделя (150,00 руб.)

Г.КРАЙЗЕЛЬ БИОГРАФИЯ КУРТА ГЁДЕЛЯ Перевод с английского Г.Е.МИНЦА,Д.П.СКВОРЦОВА,Е. З.СКВОРЦОВОЙ Москва  Ижевск 2003 УДК 517 Интернет-магазин http://shop.rcd.ru • фи зи к а • ма те ма ти к а • би о л о г и я • те х н ик а Крайзель Г. Биография Курта Гёделя. <...> Биография Г¨ ным логиком Крайзелем, содержит не только достаточно доступное изложение результатов Г¨ еделя широко известно еделя, написанная известеделя в математической логике, но и раскрывает их философские истоки и смысл. <...> Неполнота формальных систем теории чисел и более широких систем . <...> Элементарная логика в двадцатые годы: предыстория работы [1] . <...> Элементарная логика и ее потребность в неэлементарных понятиях . <...> Взгляды Гёделя по вопросам оснований: подведение итогов . <...> Общефилософские интересы и контраст с известными работами . <...> Вопреки усилиям чудаков, философов, журналистов (и даже поэтов — стихи Г.М.Энценсбергера положены на музыку Г.В.Хенце) представить результаты Гёделя как сенсацию, эти результаты не оказали революционизирующего влияния ни на представление большинства работающих математиков о своей науке, ни тем более на их практическую деятельность. <...> Конечно, результаты Гёделя опровергли самым изящным образом каждую из распространенных тогда в основаниях математики величественных «теорий», самыми популярными из которых были концепция Гильберта о месте формальных правил в математических рассуждениях и связанная с именами Фреге и Рассела концепция редукции к универсальным системам вроде теории множеств. <...> (Результаты самого Гёделя и родственные исследования развенчали также и тогдашние «антиформалистские» концепции в основаниях, крайним выражением которых были конструктивистские схемы Пуанкаре и Брауэра и инфинитистские схемы Цермело; о них речь пойдет в последних разделах частей II–IV. <...> ) По понятным причинам Гёдель прилагал в своих первоначальных публикациях особые усилия к тому, чтобы формулировать свои результаты в терминах, приемлемых <...>