интуиционизм в словаре кроссвордиста
интуиционизм
Энциклопедический словарь, 1998 г.
направление в основаниях математики, полагающее критерием убедительности доказательства интуитивную ясность каждого его шага; не признает т.н. абстракцию актуальной бесконечности, характерную для множеств теории.
Большая Советская Энциклопедия
в математике, философское направление, отвергающее теоретико-множественную трактовку математики и считающее интуицию единственным источником математики и главным критерием строгости её построений. На базе И. возник также ряд других направлений в основаниях логики и математики, в частности конструктивное направление . См. Математический интуиционизм .
Википедия
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций интуитивной убедительности. Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
В интуиционистской математике отвергается подход теории множеств и ряд рассуждений классической логики. Абстракция потенциальной осуществимости , которая используется в интуиционистской математике, лучше соотносится с действительностью, чем абстракция актуальной бесконечности .
Примеры употребления слова интуиционизм в литературе.
Исторически интуиционизм, равно как и индуктивизм, сыграл ценную освободительную роль.
В действительности интуиционизм -- это точное выражение солипсизма в математике.
Вместо того чтобы решить эту проблему, предоставив для натуральных чисел альтернативную или более глубокую объяснительную структуру, интуиционизм делает то же самое, что делала Инквизиция и что делали солипсисты: он еще дальше уходит от объяснений.
Однако он забывает, что исторически интуиционизм был связан с различными вариантами субъективистских теорий познания, а конструктивное направление - с диалектическим материализмом.
Однако, как и в случае с солипсизмом, воистину роковая ошибка интуиционизма открывается не тогда, когда на него нападают, а тогда, когда его всерьез принимают, на его же собственной основе, в качестве объяснения своего собственного, произвольно усеченного мира.
В музыкальных склонностях таких математиков, как Брауэр и Вейль, можно было бы видеть психофизиологическое выражение глубоких соотношений, вскрываемых сближением интуиционизма и музыки.
Борьба между формализмом и интуиционизмом ведется за достижение и обеспечение способа первичного подхода к тому, что должно быть предметом этой науки.
Кантианские мотивы в интуиционизме хорошо изучены и освещены в литературе.
Интуиционизм -- доктрина, связанная с тем, что все рассуждение об абстрактных категориях ненадежно, кроме того случая, когда оно основано на прямой самоочевидной интуиции.
Источник: библиотека Максима Мошкова