Вы здесь
- Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций интуитивной убедительности. Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
В интуиционистской математике отвергается подход теории множеств и ряд рассуждений классической логики. Абстракция потенциальной осуществимости, которая используется в интуиционистской...