abs8192 | МОЖНО ЛИ ДОВЕРЯТЬ МАТЕМАТИКЕ?

Докладчик рассмотрел несколько интересных примеров, но вывод сделал типично журналистский, а не математический. Мол, истинность доказательства зависит от мастерства проверяющего. Фиг там! Это научная программа Рассела - "давайте вычислять", где доказательство верифицируется чисто формально, желательно машиной. Эта программа, правда, провалилась благодаря Гёделю.

Так что упирать надо было не на человеческий фактор, а на слабость логических компьютеров, доступных в современности.

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

А в целом ролик вышел не о математике, а о математиках, а потому - словоблудие.