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

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