Советский философский словарь - интуиционизм
Связанные словари
Интуиционизм
интуиционизм
направление в основаниях математики и логики, признающее главным и единственным критерием правомерности методов и результатов этих наук их интуитивную наглядносодержат. убедительность («интуицию»). И. отвергает использование в математике и логике идеи актуальной бесконечности (см. Абстракция актуальной бесконечности) и взгляд на логику как на науку, «предшествующую» математике. Гл. объектом интуиционистской критики стал широко используемый в классич. математике исключённого третьего принцип. Идеи И.., высказывавшиеся ещё нем. математиком Л. Кронекером и А. Пуанкаре, в явном виде были сформулированы в нач. 20 в. голл. учёным Л. Э. Я. Брауэром и развиты Г. Вейлем (Германия) и ?. Гейтингом (Нидерланды). Гл. причину парадоксов (противоречий, антиномий) классич. математики и логики И. усматривает в представлении, что математику можно «обосновать» какими бы то ни было логич. средствами. С т. зр. И. математику надлежит строить исключительно посредством тех её средств (удовлетворяющих, в частности, требованию эффективности, конструктивности получаемых с их помощью абстрактных понятий), интуитивная убедительность (в случае доказательств и выводов) или интуитивная ясность (в случае конструкций, построений) к-рых не вызывает никаких сомнений. Для И. понятия «доказательство» и «построение» (как и понятие «интуиция») не могут быть охвачены к.-л. одним «точным» определением. Поэтому никакая система интуиционистски приемлемых правил рассуждений, умозаключений и доказательств не может и не должна кодифицироваться в качестве раз навсегда закреплённой и принятой логики. Только с учётом подобного фундаментального принципа И. можно в нек-ром смысле считать интуиционистскую логику Гейтинга адекватной идеям этого направления: главное в И. не логика, а интерпретация применяемых логич. средств и математич. рассуждений. В то же время интуиционистская математика может быть описана в виде нек-рого исчисления [см. К л и н и С. К., В е с л и Р., Основания интуиционистской математики с т. зр. теории рекурсивных функций, пер. с англ., 1978 (библ.)]. Идеи И. оказали большое влияние на конструктивное направление. Осн. отличие конструктивизма от И. состоит в том, что неопределяемое и неизбежно субъективное понятие интуиции заменяется в первом к.-л. разновидностью точно определяемого понятия алгоритма (или вычислимой, рекурсивной функции).
Рейтинг статьи:
Вопрос-ответ:
Что такое интуиционизм
Значение слова интуиционизм
Что означает интуиционизм
Толкование слова интуиционизм
Определение термина интуиционизм
intuicionizm это
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1816 | |
2 | 1431 | |
3 | 1240 | |
4 | 1171 | |
5 | 1158 | |
6 | 1114 | |
7 | 922 | |
8 | 847 | |
9 | 808 | |
10 | 780 | |
11 | 765 | |
12 | 750 | |
13 | 726 | |
14 | 715 | |
15 | 714 | |
16 | 697 | |
17 | 695 | |
18 | 672 | |
19 | 670 | |
20 | 656 |