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

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
Нет описания правки
Строка 1:
'''Интуициони́зм''' — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций интуитивной убедительности. Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
 
В интуициониостскойинтуиционистской математике отвергается подход [[Теория множеств|теории множеств]] и ряд рассуждений классической логики. [[Абстракция потенциальной осуществимости]], которая используется в интуиционистской математике, лучше соотносится с действительностью, чем [[абстракция актуальной бесконечности]].
 
== Интуиционистская логика ==