Значение слова ИНТУИЦИОНИЗМ в Полном орфографическом словаре русского языка

ИНТУИЦИОНИЗМ: интуиционизм, -а

Полный орфографический словарь русского языка. 2012

ИНТУИЦИОНИЗМ в Большом энциклопедическом словаре:
направление в основаниях математики, полагающее критерием убедительности доказательства интуитивную ясность каждого его шага; не признает т. н. абстракцию актуальной бесконечности, …
ИНТУИЦИОНИЗМ в Большой советской энциклопедии, БСЭ:
в математике, философское направление, отвергающее теоретико-множественную трактовку математики и считающее интуицию единственным источником математики и главным критерием строгости её построений. …
ИНТУИЦИОНИЗМ в Энциклопедическом словарике:
а, мн. нет, м., мат. Одно из направлений в философии математики, в котором подвергаются критике основания теории множеств. Интуиционист - …
ИНТУИЦИОНИЗМ в Большом российском энциклопедическом словаре:
ИНТУИЦИОН́ИЗМ, направление в основаниях математики, полагающее критерием убедительности доказательства интуитивную ясность каждого его шага; не признаёт т.н. абстракцию актуальной бесконечности, …
ИНТУИЦИОНИЗМ в Новом словаре иностранных слов:
( лат. ) одно из направлений в философия математики, в котором подвергаются критикеоснования теории множеств; интуиционисты считают интуицию основным критерием …
ИНТУИЦИОНИЗМ в Словаре иностранных выражений:
[ одно из направлений в философия математики, в котором подвергаются критикеоснования теории множеств; интуиционисты считают интуицию основным критерием строгости математических …
ИНТУИЦИОНИЗМ в Словаре русского языка Лопатина:
интуицион`изм, …
ИНТУИЦИОНИЗМ в Орфографическом словаре:
интуицион`изм, …
ИНТУИЦИОНИЗМ в Современном толковом словаре, БСЭ:
направление в основаниях математики, полагающее критерием убедительности доказательства интуитивную ясность каждого его шага; не признает т. н. абстракцию актуальной бесконечности, …
МАТЕМАТИЧЕСКИЙ ИНТУИЦИОНИЗМ в Большой советской энциклопедии, БСЭ:
интуиционизм, философско-математическое течение, отвергающее теоретико-множественную трактовку математики и считающее интуицию единственным источником математики и главным критерием строгости её построений. Восходящая …
ПЕРЕМЕННАЯ в Большой советской энциклопедии, БСЭ:
переменное, одно из основных понятий математики и логики. Начиная с работ П. Ферма , Р. Декарта , И. Ньютона , …
НАТУРАЛЬНОЕ ИСЧИСЛЕНИЕ в Большой советской энциклопедии, БСЭ:
исчисление, исчисление естественного вывода, натуральная дедукция, общее название логических исчислений, введённых и изученных в 1934 немецким логиком Г. Генценом (и …
МЕТАМАТЕМАТИКА в Большой советской энциклопедии, БСЭ:
теория доказательств, теория доказательства, в широком смысле слова - метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических …
ЛОГИЧЕСКИЙ ЗАКОН в Большой советской энциклопедии, БСЭ:
закон , общее название законов, образующих основу логической дедукции. Понятие о Л. з. восходит к древнегреческому понятию о logos'e как …
ЛОГИКА в Большой советской энциклопедии, БСЭ:
(греч. logik), наука о приемлемых способах рассуждения. Слово 'Л.' в его современном употреблении многозначно, хотя и не столь богато смысловыми …
ДОКАЗАТЕЛЬСТВО в Большой советской энциклопедии, БСЭ:
в логике, процесс (метод) установления истины , обоснование истинности суждения . В соответствии с различными возможными аспектами и уровнями рассмотрения …
БРАЗИЛИЯ (ГОСУДАРСТВО) в Большой советской энциклопедии, БСЭ:
(Brasil), Федеративная Республика Бразилии (Republica Federativa do Brasil). I. Общие сведения Б. - государство в Южной Америке, занимающее восточную и …
АЛОГИЗМ в Большой советской энциклопедии, БСЭ:
(от греч. а - отрицательная частица и logismos - разум, рассудок), 1) в философии ход мысли, игнорирующий законы и правила …
АКСИОМАТИЧЕСКИЙ МЕТОД в Большой советской энциклопедии, БСЭ:
метод, способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) - аксиомы , или постулаты …
ЛОГИСТИКА в Энциклопедическом словарике:
и, мн. нет, ж. 1. устар. Математическая логика (см. ЛОГИКА ). 2. Одно из философских направлений математики, обосновывающее возможность сведения …
ЛОГИСТИКА в Новом словаре иностранных слов:
1) то же, что математическая логика ( см. логика 1); 2) одно из философских направлении математики, связанное с трудами рассела …
ЛОГИСТИКА в Словаре иностранных выражений:
1. то же, что математическая логика (см. логика 1); 2. одно из философских направлении математики, связанное с трудами рассела и …

Полный орфографический словарь русского языка

← ИНТУИТИВНЫЙ; КР. Ф. -ВЕН ИНТУИЦИОНИСТ→