Если многостраничные доказательства создаются, значит это кому-нибудь нужно. Истинность доказательства, как абстракция вряд ли имеет большую ценность. Важны именно следствия истинности или ложности доказательства для их приложения к сколько-нибудь значимым задачам.
Поэтому вполне можно считать доказательства условно истинными, пока их ни кто не опроверг или не нашлись противоречащие им факты. Полагаю, что именно так все и обстоит на деле.
Лучший
Это не современная проблема. Доказательства с ошибками обнародовались во все времена.
Великий Пуанкаре однажды ошибся, решая задачу о движении трех тел. Он даже получил за решение денежную премию, а потом позднее потратил всю... Читать далее
Незадача Кью.
Решение задач по математике
Перейти на yandex.ru/q/loves/7b65a89f-f3fa-4aac-9d7b-824b66b44f01
3 эксперта согласны
Alexandr Zagarinskiy
8 авг 2021подтверждает
Так и есть. Например, чтобы проверить доказательство Григория Перельмана, были созданы три независимые группы... Читать дальше
Как Вам сказать, у меня в диссере было 4 страницы выкладок сходимость интеграла Стокса в C^n,задававщего действие непрерывного линейного функционала на основном пространстве аналитических функций в выпуклой области C^n. Хенкин... Читать далее
1 эксперт согласен
Автор поставленного вопроса прав. В самом деле, специализация в математике достигла такой степени, что даже математики уже не могут понять друг друга. Кроме того, наличие математического аппарата, иногда воспринимается, как... Читать далее
1 эксперт согласен
Прошу прощения за занудство. В доказательстве не может быть никаких ошибок априори!
Ошибочным может быть только признание доказательством «доказательства» на естественном или формальном языке; формальное доказательство... Читать далее
1 эксперт согласен
это просто занудство 80-го левела
Можно расширить до корневого вопроса: Каков критерий научности современного знания? В условиях когда 99% того что каждый из нас знает или слышал он не может лично сам проверить (верифицировать, поставить опыт, вывести полное док... Читать далее
Можно считать, что некие утверждения доказаны экспериментально, если как минимум две независимые группы получили... Читать дальше
Первый
критерий истины- практика.Это касается и математики. Если математические теории находят убедительное подтверждение на практике,их можно признать истинными (пусть относительными). Так было с геометрией Евклида,математическим... Читать далее
В математике имеются исходные посылки (аксиомы, постулаты...). Это "первокирпичики", опираясь на которые строится здание математики. Главный метод строительства это логика. Если в доказательстве нет ПАРАЛОГИЗМОВ (неумышленных... Читать далее
спасибо, но вопрос был не про это. Вопрос был про то, что проверить то, что в современных доказательствах нет... Читать дальше
математика,как я понимаю,инструмент одновременно изъящный и в то же время сомнительный-недоказуемо-корректно ли использовать его во многих случаях познания реальности...
Истинными...для КОГО?
Для тех, кто в этом не разбирается?
Или для тех, кто в этом разбирается?
В нашем мире всё относительно.
И всё "истинное" в нашем мире...тоже относительно.
Например...
То, что раньше в разных научных и... Читать далее