интуиционизм



  1. интуиционизм

    [< лат. ] – направление в современной математике, отрицающее существование математических объектов вне сознания человека.


    Большой словарь иностранных слов



  2. ИНТУИЦИОНИЗМ

    ИНТУИЦИОНИЗМ – одно из трех главных направлений (наряду с логицизмом [ЛОГИЦИЗМ]и формализмом [ФОРМАЛИЗМ]), традиционно выделяемых в основаниях математики.


    Новая философская энциклопедия



  3. ИНТУИЦИОНИЗМ

    ИНТУИЦИОНИЗМ — направление в основаниях математики, полагающее критерием убедительности доказательства интуитивную ясность каждого его шага; не признает т. н. абстракцию актуальной бесконечности, характерную для множеств теории.


    Большой энциклопедический словарь



  4. интуиционизм

    ИНТУИЦИОНИЗМ — одно из трех главных направлений (наряду с логицизмом и формализмом), традиционно выделяемых в основаниях математики. Для общей характеризации направлений, выросших из И., часто пользуются термином «конструктивизм».


    Энциклопедия эпистемологии и философии науки



  5. интуиционизм

    ИНТУИЦИОНИЗМ а, м. intuitionnisme <�лат. мат. Одно из направлений в философии математики, в котором подвергаются критике основания теории множеств. Интуиционист а, м. Крысин 1998. Интуиционистский ая, ое. — Лекс. СИС 1954: интуиционизм; БСЭ-3: интуиционистский.


    Словарь галлицизмов русского языка



  6. интуиционизм

    орф.

    интуиционизм, -а


    Орфографический словарь Лопатина



  7. Интуиционизм

    В математике, философское направление, отвергающее теоретико-множественную трактовку математики и считающее интуицию (См. Интуиция) единственным источником математики и главным критерием строгости её построений. На базе...


    Большая советская энциклопедия



  8. Интуиционизм

    Совокупность философских и математич. идей и методов, рассматривающих математику как науку об умственных построениях. С точки зрения И., основным критерием истинности математич.


    Математическая энциклопедия



  9. Математический интуиционизм

    «интуиционизмом» (сам Брауэр использовал термин «неоинтуиционизм»), проходило в острой полемике

    интуиционистской логики. Но «интуиция» интуиционизма, независимо от философских установок и взглядов

    А., Интуиционизм, перевод с английского, М., 1965; Френкель А. А., Бар-Хиллел И., Основания теории


    Большая советская энциклопедия



  10. СУПЕРИНТУИЦИОНИСТСКАЯ ЛОГИКА

    СУПЕРИНТУИЦИОНИСТСКАЯ ЛОГИКА – см. Интуиционистская логика [ИНТУИЦИОНИСТСКАЯ ЛОГИКА], Интуиционизм [ИНТУИЦИОНИЗМ].


    Новая философская энциклопедия



  11. Свободно Становящаяся Последовательность

    См. Интуиционизм.


    Математическая энциклопедия



  12. Интуиционистское Арифметическое Исчисление

    См. Интуиционизм.


    Математическая энциклопедия



  13. БРАУЭР Лейтзен Эгберт Ян

    в математике — интуиционизму. Получил ряд важных результатов в топологии.


    Большой энциклопедический словарь



  14. Брауэр, Лёйтзен Эгберт Ян

    Брауэр, Лёйтзен Эгберт Ян

    (1881—1966), нидерландский математик. Положил начало интуиционизму в математике. Получил ряд важных результатов в топологии.


    Большая биографическая энциклопедия



  15. ГЕЙТИНГ

    Интуиционизм [ИНТУИЦИОНИЗМ]). Гейтинг был первым ученым, примкнувшим к новому направлению. В 1922 Гейтинг дает

    деятельности – разъяснение математическому миру концепций интуиционизма. В 1956 выходит его книга

    «Введение в интуиционизм» – ясное и изящное изложение предмета для широкого круга. Именно благодаря Гейтингу

    интуиционизм приобрел новых сторонников среди математиков.

    Сочинения:

    1. Die formalen Regeln der

    – Ibid.;

    3. Обзор исследований по основаниям математики. M.–Л., 1936;

    4. Интуиционизм. Введение. М


    Новая философская энциклопедия



  16. ДРАГАЛИН

    российских математических логиков. Заложил основы российской школы интуиционизма и продолжил традиции

    математика, интуиционизм и конструктивное направление. Особое внимание он уделил современному интуиционизму

    интуиционизмом; 4) конструктивное доказательство устранимости сечений во многих теориях второго порядка

    в частности в теории определимых множеств.

    Сочинения:

    1. Математический интуиционизм. Введение в теорию


    Новая философская энциклопедия



  17. Интуиционистская логика

    Форма логики предикатов (См. Логика предикатов), отражающая взгляд Интуиционизма на характер

    математической бесконечности (См. Бесконечность).

    В соответствии с концепцией интуиционизма, в И. л

    интуиционизма нидерландского математика Л. Э. Я. Брауэра.

    С развитием конструктивных направлений


    Большая советская энциклопедия



  18. Интуиционистское Исчисление Высказываний

    интуиционизма. Общепринятая (к 1978) формулировка И. и. в. была предложена А. Рейтингом (A. Heyting) в 1930

    рекурсивной реализуемости Клини; см. также Конструктивное исчисление высказываний. Лит. см. при ст. Интуиционизм. А. Г. Драгалин.


    Математическая энциклопедия



  19. Вид

    интуиционистской специфики понимания (см. Интуиционизм).свойства этих интуиционистских операций отнюдь

    функциональный анализ) разработка теории В. является актуальной задачей. Лит.:[1] Рейтинг А., Интуиционизм, пер. с англ., М., J9G5. А. Г. Драгалин.


    Математическая энциклопедия



  20. Интуиционистская Логика

    Совокупность приемлемых с точки зрения интуиционизма методов доказательства утверждений

    видов позволяет в рамках интуиционизма точно формулировать многие семантич. проблемы. Так, К. Гёдель

    алгебраич. семантик типа моделей Бета или моделей Крипке. Лит.:[1] Гейтинг А., Интуиционизм, пер. с англ


    Математическая энциклопедия



  21. Исключенного Третьего Закон

    направлений в основаниях математики (см. Интуиционизм, Конструктивная математика). В. Е. Плиско.


    Математическая энциклопедия



  22. Веер

    Интуиционизм). На языке этой формальной теории теорема о В. может быть записана следующим образом: Лит.:[1


    Математическая энциклопедия



  23. Позитивное Пропозициональное Исчисление

    поненс, П. п. и. содержит ту часть интуиционистского исчисления высказываний I (см. Интуиционизм


    Математическая энциклопедия



  24. ВЕЙЛЬ

    математического анализа на арифметической основе и на принципах близких к интуиционизму

    [ИНТУИЦИОНИЗМ]. Эта работа Вейля оказала влияние и на развитие конструктивного направления [КОНСТРУКТИВНОЕ

    Э.Гуссерля и интуиционизма Л.Брауэра, что нашло отражение в его работах по философии математики


    Новая философская энциклопедия



  25. Металогика

    или интуиционистская логика, если метатеория строится в рамках интуиционизма. С другой стороны, в доказательств


    Математическая энциклопедия



  26. КЛИНИ

    интуиционистской математики (см. Интуиционизм [ИНТУИЦИОНИЗМ]). Ему принадлежат результаты в области


    Новая философская энциклопедия



  27. АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ

    [АБСТРАКЦИЯ ПОТЕНЦИАЛЬНОЙ ОСУЩЕСТВИМОСТИ]были предложены Л.Э.Я Брауэром(см. Интуиционизм [ИНТУИЦИОНИЗМ

    Гейтинг А. Интуиционизм. Введение. М., 1965;

    3. Марков А.А. О конструктивной математике. – Труды


    Новая философская энциклопедия



  28. Конструктивное направление

    Я. Брауэром интуиционизма, программа которого состоит в исследовании умственных математических построений

    Близость К. н. к интуиционизму проявляется в понимании дизъюнкций и теорем существования, а также


    Большая советская энциклопедия



  29. Бриджмен

    математическим интуиционизмом (См. Математический интуиционизм), и в особенности — методологических основ


    Большая советская энциклопедия



  30. Брауэр

    счёте положило начало целому направлению в обоснованиях математики — математическому интуиционизму (См

    Математический интуиционизм). Но независимую от философии интуиционизма ценность имеет проведённый


    Большая советская энциклопедия



  31. Погружающая Операция

    пер. с англ., М., 1975; [2] Фейс Р., Модальная логика, пер. с англ., М., 1974; [3] Драгалан А. Г., Математический интуиционизм, М., 1979. А. Г. Драгалин.


    Математическая энциклопедия



  32. ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН

    между его сильной и Аристотелевой формулировкой). Интуиционизм [ИНТУИЦИОНИЗМ]начинался с утверждения


    Новая философская энциклопедия



  33. абстракция актуальной бесконечности

    одной лишь абстракции актуальной бесконечности, были предложены Л.Э.Я. Брауэром в его интуиционизме

    в математике. БСЭ. Т. 3. М., 1970; Гейтинг А. Интуиционизм. Введение. М., 1965; Марков А.А


    Энциклопедия эпистемологии и философии науки



  34. ОБОСНОВАНИЕ

    от этой теории в пользу конструктивных методов (интуиционизм [ИНТУИЦИОНИЗМ] и конструктивное направление


    Новая философская энциклопедия



  35. ЭФФЕКТИВИЗМ

    [АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ], эффективизм (в отличие от интуиционизма [ИНТУИЦИОНИЗМ


    Новая философская энциклопедия



  36. КОЛМОГОРОВ

    средствами, свободными как от идеологии интуиционизма [ИНТУИЦИОНИЗМ], так и от крайностей теоретико

    приемлема с точки зрения интуиционизма; напротив, в статье 1932 предлагается такая интерпретация

    принимает предпринятую главой интуиционизма Брауэром [БРАУЭР]критику традиционной логики

    обоснованности с точки зрения интуиционизма, традиционной, или «классической», математики

    предпосылок интуиционизма. Он предлагает рассматривать каждую такую формулу не как утверждение


    Новая философская энциклопедия



  37. Панов, Михаил Иванович

    в математике. (Гносеологический анализ интуиционизма)" (1973). Докт. дисс. — "Методологические

    фундаментом интуиционизма?) // Интуиция. Логика. Творчество. М., 1987; Логико-лингвистические идеи Л.ЭЯ.Бра


    Большая биографическая энциклопедия



  38. Финитизм

    Интуиционизм). После проведения формализации (см. Аксиоматический метод )содержательные математич


    Математическая энциклопедия



  39. философия математики

    формализм и интуиционизм. Логицизм, во главе с Б. Расселом, стремился свести классическую математику

    математического интуиционизма, которые отказались от абстракции актуальной бесконечности и применения

    м стало ясно, что цели, провозглашенные логицизмом, формализмом и интуиционизмом

    направления несомненное влияние оказали математические идеи интуиционизма, однако конструктивисты опираются


    Энциклопедия эпистемологии и философии науки



  40. Бар-индукция

    Индуктивный способ рассуждения, используемый в интуиционистской математике (см. Интуиционизм


    Математическая энциклопедия



  41. КЕРНЕР

    он интерпретирует интуиционизм на основе кантовского конструктивизма. В философии науки важнейшую


    Новая философская энциклопедия



  42. Алогизм

    См. Интуитивизм, Математический интуиционизм.

    Лит.: Ленин В. И., О карикатуре на марксизм


    Большая советская энциклопедия



  43. Абстракция Актуальной Бесконечности

    А. а. б. предложили Л. Э. Я. Брауэр (L. E. J. Brouwer, см. Интуиционизм).и А. А. Марков (см


    Математическая энциклопедия



  44. психологизм

    поддержку П. получает не только от сигнифики и интуиционизма, но частично видоизмененные его идеи


    Энциклопедия эпистемологии и философии науки



  45. МАННУРИ

    Интуиционизм [ИНТУИЦИОНИЗМ]). Предмет философских исследований Маннури – язык как проявление жизни индивидуума


    Новая философская энциклопедия



  46. Шатуновский, Самуил Осипович

    предшественником современного интуиционизма. Ш. принадлежит также аксиоматическое обоснование


    Большая биографическая энциклопедия



  47. УНИВЕРСАЛИИ

    математики, как эффективизм [ЭФФЕКТИВИЗМ], интуиционизм и конструктивное направление


    Новая философская энциклопедия



  48. Реализуемость

    а г а л и н А. Г., Математический интуиционизм. Введение в теорию доказательств, М., 1979. В. Е. Плиско.


    Математическая энциклопедия



  49. БРАУЭР

    Бларикум, Нидерланды) – голландский математик, логик, философ, основоположник интуиционизма [ИНТУИЦИОНИЗМ


    Новая философская энциклопедия



  50. МАРКОВ

    в противовес ей совсем иную «архитектурную программу» – т.н. интуиционизм [ИНТУИЦИОНИЗМ] – и развившим


    Новая философская энциклопедия



  51. МАТЕМАТИЧЕСКАЯ ЛОГИКА

    интуиционизма (один из авторов Я. Брадэр), конструктивизма (А.А. Марков). Основным объектом современной


    Новейший философский словарь



  52. конструктивная логика

    интуиционизма) принимается принцип конструктивного подбора (или принцип Маркова): Vx(A(x) v -A(x)) & -i


    Энциклопедия эпистемологии и философии науки



  53. Метаматематика

    математического интуиционизма (См. Математический интуиционизм) предлагали столь радикально пересмотреть

    методы, Гильберт охарактеризовал как финитизм: в ещё более радикальной форме, нежели интуиционизм


    Большая советская энциклопедия



  54. Вейль

    и физики. В области философии математики В. — представитель интуиционизма.

    Соч. в рус. пер


    Большая советская энциклопедия



  55. Метатеория

    интуиционизма или конструктивной математики. Впрочем, вне оснований математики это ограничение не является


    Математическая энциклопедия



  56. КАНТОР

    альтернативную программу интуиционизма [ИНТУИЦИОНИЗМ]. Кроме того, рядом математиков (Цермело


    Новая философская энциклопедия



  57. Секвенций Исчисление

    Математический интуиционизм. Введение в теорию доказательств, М., 1979; [4] Ф е й с Р., Модальная логика, пер. [с англ.], М., 1974. А. Г. Драгалин.


    Математическая энциклопедия



  58. Абстракция Математическая

    Интуиционизм, Конструктивная математика). Значительный вклад в анализ абстракций, применяемых в математике


    Математическая энциклопедия



  59. КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ

    соприкосновения с интуиционистской математикой (см. Интуиционизм [ИНТУИЦИОНИЗМ]). Конструктивисты сходятся

    с тем конструктивисты считают неприемлемыми методологические основы интуиционизма. В основу своей теории


    Новая философская энциклопедия



  60. ЛОГИЦИЗМ

    ЛОГИЦИЗМ – одно из трех главных направлений в основаниях математики наряду с интуиционизмом

    [ИНТУИЦИОНИЗМ]и формализмом [ФОРМАЛИЗМ]. Основополагающим фактором в становлении философии логицизма

    и логицизма с интуиционизмом, приложил их для создания теории конструкций, конструктивно описывающей


    Новая философская энциклопедия



  61. Натуральное исчисление

    и. предикатов; см. Математический интуиционизм, Конструктивное направление).

    Доказательство в Н. и. — это


    Большая советская энциклопедия



  62. исключенного третьего закон

    и аристотелева И. т. з.). Интуиционизм начинался с утверждения о недостоверности сильного И. т. з


    Энциклопедия эпистемологии и философии науки



  63. Доказательство

    по отношению к гильбертовской концепции) математического интуиционизма (См. Математический интуиционизм

    и методологию дедуктивных наук, пер. с англ., М., 1948; Гейтинг А., Интуиционизм, пер. с англ., М., 1965


    Большая советская энциклопедия



  64. ГИЛЬБЕРТ

    но он отвергал и альтернативную программу Л.Э.Я.Брауэра (см. Интуиционизм [ИНТУИЦИОНИЗМ


    Новая философская энциклопедия



  65. ФИНИТИЗМ

    для «реабилитации» математики в связи с интуиционистской критикой (см. Интуиционизм [ИНТУИЦИОНИЗМ


    Новая философская энциклопедия



  66. КОНСТРУКТИВНЫЙ ОБЪЕКТ

    математики. Логические исчисления и формализация арифметики. М., 1979;

    2. Гейтинг А. Интуиционизм


    Новая философская энциклопедия



  67. Алгоритмов теория

    математического интуиционизма (См. Математический интуиционизм) Л. Э. Я. Брауэра и Г. Вейля (См. Вейль


    Большая советская энциклопедия



  68. логицизм

    ЛОГИЦИЗМ — одно из трех главных направлений в основаниях математики наряду с интуиционизмом

    логики и Л. с интуиционизмом, приложил их для создания теории конструкций, конструктивно описывающей


    Энциклопедия эпистемологии и философии науки



  69. МОДЕЛЕЙ ТЕОРИЯ

    субъекта и беззаконных последовательностей (см. Интуиционизм [ИНТУИЦИОНИЗМ]) и построены модели


    Новая философская энциклопедия



  70. ФОРМАЛИЗМ

    [ЭФФЕКТИВИЗМ], интуиционизмом [ИНТУИЦИОНИЗМ] и логицизмом [ЛОГИЦИЗМ]. Основоположником формализма


    Новая философская энциклопедия



  71. Конструктивная Математика

    оригинальную программу построения математики, известную ныне под названием интуиционизм. Интуиционистскую

    понятий, послуживший впоследствии отправной точкой отличных от интуиционизма конструктивных течений


    Математическая энциклопедия



  72. Переменная

    математических теорий представители некоторых школ (см. Математический интуиционизм, Конструктивное


    Большая советская энциклопедия



  73. ДОКАЗАТЕЛЬСТВО КОСВЕННОЕ

    и опровержении. М., 1954, гл. 5;

    2. Гейтинг А. Интуиционизм. М., 1965;

    3. Клини С.К. Математическая


    Новая философская энциклопедия



  74. Логический закон

    соответствующая формула (А﹀⌉ А) общезначима (см. Математический интуиционизм, Конструктивное направление


    Большая советская энциклопедия



  75. Промежуточная Логика

    ] Драгалин А. Г., Математический интуиционизм. Введение в теорию доказательств, М., 1979; [3


    Математическая энциклопедия



  76. Гейтинга Формальная Система

    ля интерпретации. Для Г. ф. с. допустимы интуиционистские (см. Интуиционизм).приемы оперирования


    Математическая энциклопедия



  77. КОНСТРУКТИВНАЯ ЛОГИКА

    конструктивизма (в отличие, скажем, от приверженцев интуиционизма) принимается принцип конструктивного подбора


    Новая философская энциклопедия



  78. психологизм и антипсихологизм

    гибких и тонких концепциях типа интуиционизма (Л.Э.Я. Брауэр, А. Гейтинг) или эффективизма (Э. Борель


    Энциклопедия эпистемологии и философии науки



  79. ФИЛОСОФИЯ МАТЕМАТИКИ

    тогда направления в математике (их обычно выделяют четыре: логицизм [ЛОГИЦИЗМ], интуиционизм [ИНТУИЦИОНИЗМ


    Новая философская энциклопедия



  80. МЕТАЯЗЫК

    3. Гастев Ю.А. Гомоморфизмы и модели. М., 1975;

    4. Драгалин А.Г. Математический интуиционизм


    Новая философская энциклопедия



  81. интуиционизм
    Intuitionism

    Полный русско-английский словарь



  82. intuitionism
    Интуиционизм


    Англо-русский морской словарь



  83. intuitionism
    Интуиционизм (философское) интуитивизм


    Полный англо-русский словарь


№2 (2359)№3 (2356)№3 (2356)№4 (2354)№5 (2318)№6 (2316)№7 (2314)№8 (2313)№8 (2313)№9 (2310)№9 (2310)№10 (2302)