Интуиционизм: различия между версиями

[отпатрулированная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Строка 11:
== Интуиционизм и другие математические подходы ==
 
В трактовке теории множеств не делается различие между абстрактными объектами и объектами, существование которых можно подтвердить построением. В классической математикиматематике на бесконечные множеста [[Экстраполяция|экстраполировали]] свойства и законы конечных совокупностей. При этом не существует способа эффективного построения объектов, что находит своё отражение в так называемых «теоремах чистого существования». Отсутствие возможности построения не имеет связи с [[Антиномия|антиномиями]] теории множеств и относится ко всем разделам математики<ref name="MathEnc_Int"/>.
 
Значительное влияние друг на друга оказали концепции [[Формализм (математика)|формализма]] и интуиционизма. Содержательные критерии метаматематики, необходимые для обоснования непротиворечивости формальных теорий, обычно уточняются в рамках интуиционизма. В то же время, ряд результатов интуиционистской логики был получен с помощью [[Формализация метода|формализации метода]]<ref name="MathEnc_Int"/>.