самый-самый

[avva]

Кто был самым великим философом 20-го века?

NYTimes не задумываясь назвали Виттгенштейна. Брайан Лейтер устроил опрос у себя в блоге, в котором тоже победил Виттгенштейн, с небольшим отрывом. А вы как думаете?

По-моему, это еще и зависит от того, что считать первостепенным: вклад философа и его влияние внутри профессии, или на человеческую деятельность и культуру вообще. Если второе, то, по-моему, как минимум у Рассела, Поппера и Уильяма Джеймса есть неплохие шансы. Если первое, то наверное действительно Виттгенштейн; если не он, то, как в анекдоте, "а кто?"

Comments

[kouzdra.livejournal.com]

У одной из немногих научных областей в Computer Science уши растут в акуурат из расселовской теории типов. Да и не только. Никоим образом не fail - только результат странный. Хотя, справедливости ради - не ясно сколько там Рассела и сколько - Уайтхеда.

[trueblacker.livejournal.com]

дада, меня тоже весьма озадачило что Уайтхеда никто не упомянул

[kouzdra.livejournal.com]

Я только сейчас допер в чем на самом деле состоит значение Рассела и PM - до PM не существовало понятия формального языка и возможность формализации математики была достаточно абстрактной гипотезой (на которой например Лейбниц обломал себе зубы - да и не он один) - воообще не существовало. Фреге сделал очень много - но реально чуть ли не все практически из то, что сейчас кажется совершенно естественным формализмом и подходами к работе с этими формализмами - это РМ. Синтаксически нотация несколько изменилась с тех времен - но структурно почти все оттуда.

Ну не говоря уж о том, что создание аналитической философии (видимо самого значительного течения 20 века - треть того списка это оно, и Витгенштейн, кстати, тоже) - это Фреге и Рассел.

[sasha-gil.livejournal.com]

В сторону от темы: тут энтузиасты (под крышей INRIA / MSR Cambridge) на гранты потихоньку формализуют классификацию конечных групп (на базе надстройки над CoQ, на которой 4 краски формализовали), ты в курсе?

[avva.livejournal.com]

какой-то это научной фантастикой звучит - что они формализуют, если там до сих пор не все шаги понятны и расписаны до конца?

[sasha-gil.livejournal.com]

Я преувеличил: цель проекта (на достижении которой он, скореее всего, и завершится) -- Feit-Thompson theorem. Почитать, как они это делают, можно вот тут, например: http://hal.inria.fr/docs/00/13/97/11/PDF/RR-6156.pdf.

[avva.livejournal.com]

ясно, спасибо!