Может и пригодится, но в самой математике все проблемы решаются или решены. По-моему, единственная труднорешаемая проблема, которая осталась, - это проблема самоссылки или актуальной бесконечности. И заключается она в том, что многим людям бесконечность кажется достижимой. Они начинают любоваться колдунством, вроде: "Все гости сняли шляпы, надели шляпы и миллион шляп остался ненадетым." или "нехватило". В корректных индуктивных формулировках математики пользуются связками: "для любого ... выполняется ...", а потом отправляют дилетантов снимать шляпы с гостей. Но я ещё не видел, чтобы хоть один математик гарантировал, что после какого-то количества "любых" найдётся ещё один.
Вот и в этой киношке говорится, что доказательство теоремы Гёделя держится на самоссылке. Это настораживает. Я не погружался в настоящее доказательство, но есть шанс, что эта интерпретация говорит о том, что Гёдель доказал недоказуемость или даже опровержение собственной теоремы.
Зы: а математики ещё и упорядоченные множества "любых" любят (! каламбурчег !).
Короче, кроме интуитивистов и формалистов я ещё выделяю конструктивистов. А смотрю с удовольствием на девчонок в Москве.
А начал это безобразие, т.е. подсчёт мощностей бесконечных множеств, именно Кантор. Я более склонен думать , что он просто классифицировал индуктивные алгоритмы построения множеств по скорости роста их мощностей: быстро, так быстро, что быстрее роста сумм, произведений, степеней и т.п.
Парадокс математики, как науки о "доказательстве истин", как мне кажется, заключается в том, что она создаётся математиками, которым она не требуется, для нематематиков, которым она не нужна.
Prosolver: Парадокс математики, как науки о "доказательстве истин", как мне кажется, заключается в том, что она создаётся математиками, которым она не требуется, для нематематиков, которым она не нужна.
Гармонию очень трудно поверить математикой. Возьму недельку на обдумывание. Придётся пересматривать CSBSVNNQ и здесь тоже.
