Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Titans of Mathematics Clash Over Epic Proof of ABC Conjecture. Parent comment
Of course, that still leaves the same problem of explicit proofs being tedious, i.e. being able to prove pythagoras's theorem "with a diagram" does not mean being able to prove it "within an explicit, formalised diagram language".
There are no comments on this comment yet.
Of course, that still leaves the same problem of explicit proofs being tedious, i.e. being able to prove pythagoras's theorem "with a diagram" does not mean being able to prove it "within an explicit, formalised diagram language".