Если ни один человек не может проверить доказательство теоремы, действительно ли это может считаться математикой? Этот интересный вопрос возник в связи с недавним доказательством, полученным с помощью компьютера. Оно столь же велико, как все содержание Википедии, поэтому маловероятно, что его когда-нибудь сможет проверить человек.
“Вполне вероятно, что так или иначе мы столкнулись с утверждениями, которые [...]![]()
![]()
![]()
↧
Математическое доказательство размером с Википедию слишком большое, чтобы люди могли его проверить
↧