Что такое интуиционалистский подход в математике?

Интуиционалистский подход в математике — это совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». yandex.ru ru.ruwiki.ru

Согласно этому подходу, интуиция считается единственным источником математики и главным критерием строгости её построений. www.booksite.ru

Некоторые особенности интуиционистской математики:

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