Истоки: социокультурная среда экономической деятельности и экономического познания - читать бесплатно онлайн полную версию книги автора Сборник статей (ч. 26)

...

В соответствии с тем стилем, что преобладает сегодня в англо-американской философии…, присутствует тенденция к увековечению отождествления философии математики с логикой и исследованием формальных систем. С этой точки зрения главная задача, которая заботит математика, совершенно скрадывается. Это задача философского осмысления… преформальной математики…, включая исследование того, как [она] соотносится с формализацией и какое воздействие на нее оказывает последняя. [475]

Они считают, что «неформальная математика – это математика. Формализация – это лишь абстрактная возможность, которую на самом деле никто не захотел бы или не был бы в состоянии реализовать». [476] Реальные доказательства «учреждаются путем „консенсуса профессионалов“» и «не могут быть проверены… математиком, не знакомым с гештальтом, со способом мышления в данной конкретной области… Чтобы обнаружить ошибку, может потребоваться время жизни многих поколений». [477] Их вывод: