
Я склоняю голову перед Неведомым. И разве непонятно, что науке, посвятившей себя Самому Таинственному и Самому Глубокому из Неведомого, нужна поддержка.
Метатеоретический подход
Есть две интеллектуальные школы, которые подходят к проблеме возникновения систем мышления, в том числе и математического, с противоположных концов. Несколько упрощая, эти два крайних подхода можно определить следующим образом.
1. Первый подход основан на метатеоретическом допущении, что любая система мышления покоится на несводимых друг к другу постулатах, принимаемых на веру. Тогда все следствия из манипуляций думающей машины с данными, извлеченными из внешней реальности или из собственной памяти, являются лишь разработкой, комбинированием и вариациями на темы исходных постулатов. Такой подход можно назвать формалистическим. Из такого подхода следует, что при использовании достаточно тонких методов, можно добраться до исходных постулатов, которые мотивируют, направляют и определяют работу ума. Можно ввести еще одно метатеоретическое допущение, состоящее в том, что если выявлен набор всех базовых постулатов, то это дает возможность объяснить поведение, порождаемое соответствующим умом. (Уайтхед и Рассел, 1927; Карнап, 1942; Тарский, 1946).
