Теорема Гёделя и логические позитивисты

Интересный комментарий nikital2014 (см. также историю Венского кружка у egovoru):

'Насколько я понимаю, в своё время у теоремы Гёделя имелся богатый философский контекст связанный с программой логических позитивистов. Это была довольно мегаломанская идея построить идеальный научный язык на основе "атомарных фактов", который и должен был закрыть философию: вычистить её от языковых "псевдопроблем" (ну, то есть почти от всего), а "настоящие" проблемы блестяще разрешить методом, о котором мечтал в своё время Лейбниц – чтобы философы, как математики, сели, взялись за карандаши и посчитали. Для этого требовалось несколько шагов: 1) свести всю науку к математизированной физике (ну, или математизировать другие дисциплины); 2) выразить математику через логические понятия — логицизм; 3) выразить через логическую форму простейшие эмпирические (наблюдаемые) факты. Вуаля. Проблемы, разумеется, были на всех трёх этапах, но больнее всего ударил именно провал логицизма, так как это самая формальная нефилософская часть задачи. Ну, и вот как считается (может быть неверно, не знаю) решающую роль в этом провале сыграла теорема Гёделя. После чего все "литературные" философы выдохнули: можно продолжать трепать языком безнаказанно :)'

Должен признаться, что я не придавал внимание связи логических позитивистов с логицизмом, но такое объяснение позволяет лучше понять историю логического позитивизма. Правда, я не уверен в роли теоремы Гёделя, поскольку у логических позитивистов было много внутренних проблем.

К теме: Логический позитивизм