abs8192: (world)
[personal profile] abs8192

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

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

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

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

Profile

abs8192: (Default)
abs8192

May 2017

S M T W T F S
  123456
78910111213
14151617181920
21222324252627
28293031   

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 23rd, 2017 12:49 pm
Powered by Dreamwidth Studios