Знаете, бывает такое чувство, когда ты точно уверен в правильности решения, хотя логически разложить его по полочкам сию секунду не получается. В обычной жизни мы называем это чутьем, но в строгом мире науки и философии всё куда серьезнее. Давайте-ка разберемся, что такое интуиционизм, и почему вокруг этого понятия столько споров. Если вы думали, что математика — это скучный набор вечных истин, витающих где-то в космосе, то сторонники интуиционизма с вами бы поспорили. Для них любое число или теорема существуют только тогда, когда человеческий разум может их буквально «сконструировать». Нет чертежа в голове — нет и объекта. Главный зачинщик этого движения, голландский математик Лёйтзен Брауэр, вообще решил покуситься на святое. Он заявил, что привычный нам закон «третьего не дано» (мол, утверждение либо истинно, либо ложно) в бесконечных множествах не работает. Звучит дико, правда? Но логика тут железная: пока мы не предъявили доказательство или опровержение, мы не имеем права вешать я