Cтраница 4
В предыдущем параграфе было выяснено, что в формировании базовых оснований математики ведущую роль играют интуитивные механизмы, интегративно преобразующие врожденные структуры мышления. Полани, должны быть отнесены к неявному знанию, рационализация которого весьма проблематична. По логике вещей, вследствие этого теоретически неявными должны быть основания мышления, то есть априорное знание как таковое. [46]
Эта лемма связана с понятием разрешимости, применяемым в основаниях математики и теории вычислительных машин. Сформулируем эквивалентное утверждение, также принадлежащее Банаху. [47]
Большое значение в рамках настоящего исследования имеет изучение специфики формирования оснований математики, статус которых как априорного знания, связанного с неявно-интуитивными элементами математической теории, в-третьих, предполагается здесь обосновать. [48]