Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Who Can Understand the Proof? A Window on Formalized Mathematics. Parent comment
There are proofs created by humans that cannot be undersood by humans or for many few. For example the Fermat Last's Theorem proof.
There are no comments on this comment yet.
There are proofs created by humans that cannot be undersood by humans or for many few. For example the Fermat Last's Theorem proof.