ИНТУИЦИОНИЗМ

ИНТУИЦИОНИЗМ

- направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно-содержательная интуиция. Вся математика должна опираться, согласно И., на интуитивное представление ряда натуральных чисел и на принцип математической индукции, истолковываемый как требование действовать последовательно, шаг за шагом; допускаются лишь конструктивные доказательства существования рассматриваемого объекта, указывающие способ его построения.

Создателем И. является голландский математик Л. Э. Я. Брауэр (1881 - 1966). В начале XX в. он выдвинул программу радикальной перестройки математики, противопоставив ее концепции сведения математики к логике (см.: Логицизм) и истолкованию математики исключительно как языка математических символов (см.: Формализм).

ни отрицание этого утверждения не является истинным. Критика И. классической логики привела к созданию нового направления в логике - интуиционистской логики.

Связанные с «ИНТУИЦИОНИЗМ» определения