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

Здесь особую роль играет знаковая природа математического рассуждения. В нем любой (в том числе и бесконечный) предмет представлен знаком, конечным, более того, чувственным, доступным непосредственному восприятию объектом. Это обстоятельство специально подчеркивалось Гильбертом: "Кое-что уже дано в нашем представлении для применения логических выводов и для выполнения логических операций: объекты, которые имеются в созерцании до всякого мышления в качестве конкретных переживаний. Для того, чтобы логические выводы были надежны, эти объекты должны быть обозримы полностью, во всех частях; их показания, их отличия, их следование, расположение одного из них наряду с другим дается непосредственно, наглядно, одновременно с другими объектами, как нечто такое, что не может быть сведено к чему-либо другому и не нуждается в таком сведении..." И далее: "В математике предметом нашего рассмотрения являются конкретные знаки сами по себе, облик которых, согласно нашей установке, непосредственно ясен и может быть впоследствии узнан" ([15], c. 351).

Таким образом, по отношению к метаобъекту Гильберт предъявляет требования, пожалуй, более жесткие, чем Брауэр по отношению ко всем объектам математики. Последний не настаивает на "наглядности". Гильберт и Бернайс характеризуют установки интуиционизма как "расширение" финитной установки ([18], c. 71). При этом важно, что в конечном счете гильбертовская математика также основывается на определенных базовых интуициях.