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