24 декабря 2023 г. Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна.
Подробности случившегося. Мы призываем всех неравнодушных
помочь нам с восстановлением утраченного контента!
Другие возразят, что само понятие "математического доказательства" зависит от того, какова физика нашего мира, и от доверия этой физике. Например, мы принимаем, что теорема о 4 красках доказана, хотя это доказательство было сделано компьютером, и ни один человек никогда не сможет это доказательство осилить. Однако мы доверяем компьютеру, потому что знаем как он работает и полагаем, что он нас не обманет, и сделанные им процедуры не отличаются от таких, которые мог бы сделать и человек, будь у него неограниченное количество времени (как доверяем своей памяти, читая доказательный текст и полагая, что строчки силлогизмов не меняются, когда мы на них не смотрим). И если в соответствии с нашим пониманием физики суперкомпьютер действительно проверил всю бесконечную последовательность чисел и не нашёл среди этой последовательности числа, удовлетворяющего свойству P, то отстутствие такого числа можно считать доказанным.
Что вы думаете? Если бы сверхтьюринговые вычисления были возможны, сочли бы вы проверку на таком компьютере математическим доказательством?