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 is a famous quote by Riemann: "If only I had the theorems! Then I should find the proofs easily enough. "
Once you have a proof, simplifying it should be much easier, even for computers.
There are no comments on this comment yet.
There is a famous quote by Riemann: "If only I had the theorems! Then I should find the proofs easily enough. "
Once you have a proof, simplifying it should be much easier, even for computers.