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