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

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