Перспективы исследований в философии математики

Философия математики как отдельная ветвь философии родилась сто лет назад. Исследования в области оснований математики и математической логики, начатые в конце XIX - начале XX в., были связаны с грандиозными философскими программами, а именно, с логицизмом, интуиционизмом и формализмом. Поначалу эта связь казалась необходимой, но по ходу времени росло разочарование в выполнимости этих программ, и к 60-м годам в настроениях математиков и логиков стала превалировать усталость. В этом отношении весьма симптоматично замечание А.Мостовского в его работе 'Thirty years of foundational studies': 'Философские цели трех школ не были достигнуты, и, судя по всему, мы не ближе к полному пониманию математики, чем основатели этих школ'1. Больше того, многие полагают, что сами программы не имеют прямого отношения к основаниям математики и математической логики и возникновение программ обязано философским талантам и интересам основателей школ. Опять-таки Мостовский замечает в связи с этим: ':Нельзя отрицать, что активность этих школ принесла огромное число важных результатов и открытий, которые углубили наше знание математики и ее отношения к логике. Как часто случается, эти побочные продукты оказались более важными, чем исходные цели основателей этих школ'2. Недавно Х.Патнэм опубликовал статью с характерным названием 'Почему все это не работает' (имея в виду традиционно главные направления в философии математики). В некотором смысле это итоговое впечатление о нынешнем состоянии философии математики.