Википедия

Интуиционизм: различия между версиями

Интерактивная навигация по истории
[непроверенная версия][отпатрулированная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Нет описания правки
уточнение
Строка 1:
'''Интуициони́зм''' — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
 
В интуиционистской математике отвергается подход классической [[Теория множеств|теории множеств]] (а именно:частности не принимаются аксиому[[аксиома выбора]] и аксиому[[аксиома регулярности]]) и ряд рассуждений классической логики. [[Абстракция потенциальной осуществимости]], которая используется в интуиционистской математике, лучше соотносится с действительностью, чем [[абстракция актуальной бесконечности]].
 
== Интуиционистская логика ==
Источник — https://ru.wikipedia.org/wiki/Интуиционизм