Онтология математического дискурса   ::   Гутнер Г Б

Френкель и Бар-Хиллел приводятследующее высказывание Брауэра: "Изначальная интуиция математики и всякой интеллектуальной деятельности представляет собой основу всех наблюдений за какими-бы то ни было изменениями, поскольку при этих изменениях игнорируются все качественные свойства" ([55], c. 240; курсив наш - Г.Г.).

Отвлечение от всякого чувственного содержания дискретной последовательности различающих актов мысли и создает представление целого числа, точнее, последовательности целых чисел, счета. При этом континуум, который Брауэр также называет основной интуицией, оказывается как бы в подчиненном положении. Он должен быть определен в ходе развертывания дискретной (числовой) последовательности.

Числовая последовательность оказывается для Брауэра основным математическим объектом. Конструирование, которое, согласно замечанию Поппера, является единственным онтологически значимым для математики процессом, следует рассматривать именно как конструирование числовых последовательностей. Впрочем, такое конструирование часто является не самоцелью, а скорее способом определения непрерывного протяженного предмета. Последний, конечно, не есть реальность, данная до всякого построения. Он - среда, а не вещь. Существует то, что происходит в этой среде, точнее, что создается субъектом, действующим в пределах, заданных этой средой. Создается же им дискретная числовая последовательность.