Забавная статья на тему "непогрешимости математики": https://habr.com/ru/post/511556
Математикой занимаются математики, а математики, как и все люди, ошибаются.
Приводятся примеры:
- В рецензируемых научных журналах публикуется пара статей, которые явно (указано в аннотациях) противоречат друг другу. Ни одна из них не получает официального опровержения от редакции.
- Спустя 4 года после публикации некоей важной работы появилось опровержение одной из лемм этой работы (в другом журнале). Редакция исходного журнала так и не опубликовала официальное опровержение.
- Найдено решение некоего уравнения, которое имеет важное приложение в арифметике. Найдено оно было с помощью проприетарной программы с закрытым исходным кодом, которая опирается на алгоритмы, которые не были доказаны публично. Можно ли это считать корректным доказательством и вообще наукой?
И т.д.
#science
Математикой занимаются математики, а математики, как и все люди, ошибаются.
Приводятся примеры:
- В рецензируемых научных журналах публикуется пара статей, которые явно (указано в аннотациях) противоречат друг другу. Ни одна из них не получает официального опровержения от редакции.
- Спустя 4 года после публикации некоей важной работы появилось опровержение одной из лемм этой работы (в другом журнале). Редакция исходного журнала так и не опубликовала официальное опровержение.
- Найдено решение некоего уравнения, которое имеет важное приложение в арифметике. Найдено оно было с помощью проприетарной программы с закрытым исходным кодом, которая опирается на алгоритмы, которые не были доказаны публично. Можно ли это считать корректным доказательством и вообще наукой?
И т.д.
#science
Хабр
Будущее математики?
В этом переводе презентации британского математика Кевина Баззарда мы увидим, что следующий комикс xkcd безнадежно устарел. Каково будущее математики? В 1990-х компьютеры стали играть в шахматы лучше...