1. направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно-содержательная интуиция ◆ Представители интуиционизма полагают, что чистая математика является мыслительной активностью, не зависящей от языка, её объект — нелингвистические математические конструкции. Язык служит лишь для сообщения математических идей, математика не сводится к языку и тем более не может быть истолкована как особый язык.
2. совокупность философских и математических взглядов, рассматривающих математические суждения с позиций интуитивной убедительности
Источник: Викисловарь
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
В интуиционистской математике отвергается подход классической теории множеств (в частности, не принимаются аксиома выбора и аксиома регулярности) и ряд рассуждений классической логики. Абстракция потенциальной осуществимости, которая используется в интуиционистской математике, лучше соотносится с действительностью, чем абстракция актуальной бесконечности.
Источник: Википедия
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: самоуплотняться — это что-то нейтральное, положительное или отрицательное?
Другая доктрина в философии математики – это интуиционизм.
Интуиционизм против реализма: существуют ли математические объекты независимо от нашего опыта и интуиции, или они создаются или конструируются нами?
Однако, интуиционизм также получает критику, так как он может приводить к разногласиям в логике и методах математики.