Если ни один человек не может проверить доказательство теоремы, действительно ли это может считаться математикой? Этот интересный вопрос возник в связи с недавним доказательством, полученным с помощью компьютера. Оно столь же велико, как все содержание Википедии, поэтому маловероятно, что его когда-нибудь сможет проверить человек.
“Вполне вероятно, что так или иначе мы столкнулись с утверждениями, которые [...]Image may be NSFW.
Clik here to view.
Clik here to view.
