|
Онтология математического дискурсаДальнейшее развитие этого направления связано с работами Бернайса[63] (См. примечание 5) и Г?деля [69] и [70]. Исследования Г?деля интересны в частности тем, что развивают своего рода реалистическую гносеологию. В них делается попытка объяснения, каким образом независимые от человека сущности математического мира становятся доступными познанию. Г?дель основывает математическое знание на особой интуиции, способности непосредственно обнаруживать свойства математических сущностей и формулировать их в виде аксиом. Такое непосредственное обнаружение Г?дель уподобляет чувственному восприятию в естествознании. Числа, геометрические фигуры или множества, воспринимаемые интуицией, он полагает столь же реальными как физические тела, воспринимаемые чувствами. Интуиция при этом не только позволяет непосредственно видеть определенные факты, но также выступает как критерий истинности математических утверждений более общего характера, которые не являются интуитивно ясными, но оказываются плодотворными при выводе теорем. "Могут существовать аксиомы столь богатые поддающимися проверке следствиями, проливающие столь много света на всю область и приносящие столь мощные методы решения проблем, что не имеет значения являются ли они интуитивно ясными или нет, их следует принять, по крайней мере так же, как и всякую хорошо обоснованную физическую теорию" ([70], c. 477) ...» | Код для вставки книги в блог HTML
phpBB
текст
|
|