Значения слова Интуиционизм. Что такое Интуиционизм?

Слово состоит из 12 букв: первая и, вторая н, третья т, четвёртая у, пятая и, шестая ц, седьмая и, восьмая о, девятая н, десятая и, одиннадцатая з, последняя м,

Слово интуиционизм английскими буквами (транслитом) - intuitsionizm

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

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

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

Интуициони́зм — система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений.

ru.wikipedia.org

ИНТУИЦИОНИЗМ - совокупность философских и математич. идей и методов, рассматривающих математику как науку об умственных построениях. С точки зрения И.

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

ИНТУИЦИОНИЗМ (философский)

ИНТУИЦИОНИЗМ (философский) — гносеологическая концепция (Сократ, Платон, Аристотель, Августин, Декарт, Лейбниц, Бергсон и др.), согласно которой, наряду с аналитическими процедурами…

Лебедев С.А. Философия науки. - 2004

Правильное написание и ударение в слове ИНТУИЦИОНИЗМ

Интуициони́зм, -а.

Орфографический словарь. — 2004

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

ДОКАЗАТЕЛЬСТВО — в логике, процесс (метод) установления истины, обоснование истинности суждения. Термин «Д.» допускает ряд пониманий, отличающихся друг от друга по степеням общности....1957; ? о и а Д., Математика и правдоподобные рассуждения, пер. с англ., ?., 19752; Т а к е у т и Г., Теория Д., пер. с англ., М., 1978; Д ? а г а л и н А. Г., Математич. интуиционизм.

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

Доказательство в логике, процесс (метод) установления истины, обоснование истинности суждения. В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий "истина" ("истинность") и "обоснование" термин "Д....Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Гейтинг А., Интуиционизм, пер. с англ., М., 1965; Клини С. К., Введение в математику, пер. с англ., М., 1957

Большая советская энциклопедия (БСЭ). — 1969—1978

Математическое доказательство — цепочка логических умозаключений, показывающая, что при каком-то наборе аксиом и правил вывода верно некоторое утверждение.Формализация логики и программа Гильберта Интуиционизм Теоремы о неполноте Конструктивизм Формальное доказательство Когда говорят о формальном доказательстве, прежде всего описывают...

ru.wikipedia.org

Интуиция

ИНТУИЦИЯ (лат. intuitio – пристальное всматривание). В истории философии понятие И. включало чрезвычайно многообразное и разноречивое содержание. 1) И. как обыкновенный биологич. инстинкт, непосредственно указывающий живому существу то…Такая разумная И. является основанием вполне здравого, точного, очевидного и максимально науч. знания и мышления (см. Интуиционизм). 3) И. как учение рационалистов, находящих непосредств...

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

НЕПОСРЕ́ДСТВЕННОЕ ЗНА́НИЕ — термин, означающий знание, получаемое путем прямого усмотрения, без обоснования с помощью доказательства. Н. з. иначе наз. интуитивным, или интуицией. В истории философии выдвигались две концепции Н. з.: 1) чувств.См. также ст. Интуитивизм, Интуиционизм, Интуиция, Иррационализм и лит. при этих статьях. Лит.: Асмус В. Ф., Проблема интуиции в философии и математике, М., 1963; Bergson H., Essai sur...

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

НЕПОСРЕДСТВЕННОЕ ЗНАНИЕ — самоочевидное, не требующее логического подтверждения знание, полученное путем прямого восприятия истины, созерцания и переживания общего посредством конкретно-единичного.См. также ст. Интуитивизм, Интуиционизм, Интуиция, Иррационализм и лит. при этих статьях. Лит.: Асмус В. Ф., Проблема интуиции в философии и математике, М., 1963; Bergson H., Essai sur...

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

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

Математический интуиционизм, философско-математическое течение, отвергающее теоретико-множественную трактовку математики и считающее интуицию единственным источником математики и главным критерием строгости её построений.

Большая советская энциклопедия (БСЭ). — 1969—1978

Модель

ФОРМАЛИЗА́ЦИЯ — представление к.-л. содержательной области (рассуждений, доказательств, процедур классификации, поиска информации науч. теорий) в виде формальной системы, или исчисления....запаса формальных систем, из которого для любой теории можно было бы выбрать систему, правильно представляющую результаты опыта" (цит. по кн.: Гейтинг Α., Интуиционизм, М., 1965, с. 18).

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

Поток (интуиционизм)

ru.wikipedia.org

ПОТОК - понятие интуиционистской математики (см. Интуиционизм);совокупность, вид, состоящий из конечных кортежей натуральных чисел, называемых узлами П. (или допустимыми кортежами П.).

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