Забавная статья на тему "непогрешимости математики": https://habr.com/ru/post/511556

Математикой занимаются математики, а математики, как и все люди, ошибаются.

Приводятся примеры:

- В рецензируемых научных журналах публикуется пара статей, которые явно (указано в аннотациях) противоречат друг другу. Ни одна из них не получает официального опровержения от редакции.

- Спустя 4 года после публикации некоей важной работы появилось опровержение одной из лемм этой работы (в другом журнале). Редакция исходного журнала так и не опубликовала официальное опровержение.

- Найдено решение некоего уравнения, которое имеет важное приложение в арифметике. Найдено оно было с помощью проприетарной программы с закрытым исходным кодом, которая опирается на алгоритмы, которые не были доказаны публично. Можно ли это считать корректным доказательством и вообще наукой?

И т.д.

#science