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