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

Направление в основаниях математики, полагающее критерием убедительности доказательства интуитивную ясность каждого его шага. Не признает т. Н. Абстракцию актуальной бесконечности, характерную для множеств теории.. ..

- совокупность приемлемых с точки зрения интуиционизма методов доказательства утверждений. В более узком смысле под И. Л. Понимается интуиционистское исчисление предикатов, сформулированное А. Рейтингом (A. Heyting) в 1930. Это исчисление формулируется обычно в стандартном языке предикатов исчисления, содержит все схемы аксиом и правила вывода интуиционистского исчисления высказываний (но для языка исчисления предикатов) и, кроме того, следующие кванторные аксиомы и правила вывода. Аксиомы. ..

- логическое исчисление, описывающее способы вывода высказываний, истинных с точки зрения интуиционизма. Общепринятая (к 1978) формулировка И. И. В. Была предложена А. Рейтингом (A. Heyting) в 1930. Основное ее отличие от классич. Исчисления высказываний состоит в замене исключенного третьего закона (или эквивалентного ему закона снятия двойного отрицания) более слабым принципом противоречия. Один из распространенных вариантов И. И. В. Формулируется следующим образом. Пусть А, В, С- произв..

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