Интуиционалистский подход в математике — это совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». 12
Согласно этому подходу, интуиция считается единственным источником математики и главным критерием строгости её построений. 5
Некоторые особенности интуиционистской математики:
- Суждение считается истинным, только если его можно доказать некоторым «мысленным экспериментом». 12 То есть истинность утверждения «Существует объект x, для которого верно суждение A(x)» доказывается построением такого объекта. 1
- Истинным математическим суждением является ряд выполненных построений эффективного характера с использованием интуиционистской логики. 12 Эффективность не обязательно связана с наличием алгоритма и может зависеть от физических и исторических факторов, фактического решения проблем. 1
- Основными объектами исследования интуиционистской математики являются конструктивные объекты: натуральные и рациональные числа, конечные множества конструктивных объектов со списком элементов, свободно становящиеся последовательности (последовательности выбора, каждый член которых может быть эффективно доступен), интуиционистские виды (свойства, которыми могут обладать объекты исследования). 1