теорема гёделя

Теоремы Гёделя, чтобы создать неразглашаемые доказательства. Вот как это работает. В математике бывают утверждения, которые выглядят понятными, но доказать их очень трудно. Иногда доказательство, возможно, существует, но получилось бы таким длинным, что его нельзя записать и проверить на...