abs8192: (world)
[personal profile] abs8192

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

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

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

А в целом ролик вышел не о математике, а о математиках, а потому - словоблудие.
From:
Anonymous( )Anonymous This account has disabled anonymous posting.
OpenID( )OpenID You can comment on this post while signed in with an account from many other sites, once you have confirmed your email address. Sign in using OpenID.
User
Account name:
Password:
If you don't have an account you can create one now.
Subject:
HTML doesn't work in the subject.

Message:

 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.

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. 21st, 2017 02:19 pm
Powered by Dreamwidth Studios