Интуиционизм: различия между версиями
[непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Строка 18:
== Исторический очерк ==
Критика теории множеств привела к возникновению двух течений: интуиционизма [[Брауэр, Лёйтзен Эгберт Ян|Лёйтзена Эгберта Яна Брауэра]] и формализма [[Гильберт, Давид|Давида Гильберта]]. В 1904 году Л. Э. Я.
Интуиционистская математика в идеалистической трактовке Бауэра — это убедительность мысленных построений, не связанная вопросом существования объектов. Другая трактовка — это «наглядная умственная убедительность простейших конструктивных процессов реальной действительности». Бауэр возражал против формализации интуиционизма<ref name="MathEnc_Int"/>.
|