|
ФилософияВ ней они развили основные положения теории логицизма. Однако австрийский логик и математик Курт Гёдель (1906—1978) доказал, что невозможно полностью формализовать мышление, что Лейбницева программа полной формализации мышления невыполнима. Гёдель также показал, что невозможно доказать непротиворечивость формальной системы средствами самой этой системы. Таким образом, Гёдель показал несостоятельность центральной идеи логицизма. Были отвергнуты чрезмерные претензии логицизма на создание абсолютно истинных формально-логических систем. Штормы, бушевавшие в океанах логики и математики, не были заметны большинству людей. Войны и революции, промышленные подъемы и жестокие кризисы, громкие споры о величии и ничтожестве человека, нации и народов заглушали раскаты грома, раздающиеся из области абстрактных наук. И лишь иногда сведения о парадоксах теории множеств или теории относительности вспыхивали зарницами на далеких горизонтах общественного сознания. Однако на пути, пройденном логикой и математикой за указанный период, были получены результаты, имеющие фундаментальное значение как для этих наук, так и для философии – результаты, без которых оказались бы невозможными успехи в создании современных вычислительных машин, открывающих новый этап в развитии всей человеческой цивилизации ...» |
Код для вставки книги в блог HTML
phpBB
текст
|
|