интуиционистские аксиомы
Смотреть что такое "интуиционистские аксиомы" в других словарях:
ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика … Философская энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
интуиционизм — ИНТУИЦИОНИЗМ одно из трех главных направлений (наряду с логицизмом и формализмом), традиционно выделяемых в основаниях математики. Для общей характеризации направлений, выросших из И., часто пользуются термином «конструктивизм». Поэтому… … Энциклопедия эпистемологии и философии науки
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… … Математическая энциклопедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
ВЕЙЛЬ — (Weyl) Герман (1885 1955) математик и философ, член Национальной Академии Наук США, лауреат Международной премии имени Лобачевского (1927). Образование получил в Геттингенском Университете (1908). Профессор математики Политехнического Института в … История Философии: Энциклопедия
ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил.… … Философская энциклопедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
ГЁДЕЛЯ ТЕОРЕМА О ПОЛНОТЕ — утверждение о полноте классического исчисления предикатов: всякая предикатная формула, истинная на всех моделях, выводима (по формальным правилам классич. исчисления предикатов). Г. т. о п. показывает, что множество выводимых формул этого… … Математическая энциклопедия
интуиционистская логика — ИНТУИЦИОНИСТСКАЯ ЛОГИКА первоначально появилась как логика интуиционистской математики, но затем область ее применения чрезвычайно расширилась. Неформально И.л. начал развивать Л. Брауэр в 1907; первую интерпретацию, независимую от… … Энциклопедия эпистемологии и философии науки
ВЕЙЛЬ Герман (1885-1955) — математик и философ, член Национальной Академии Наук США, лауреат Международной премии имени Лобачевского (1927). Образование получил в Геттингенском Университете (1908). Профессор математики Политехнического Института в Цюрихе (Швейцария, 1913… … История Философии: Энциклопедия