Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on School vs. Wikipedia. Parent comment
If you allow that, proofs made using proof assistants prove every property they present.
And of course, Principia Mathematica (https://en.wikipedia.org/wiki/Principia_Mathematica) is a non-computer example.
Both get tedious fast if you try to understand a proof from the axioms up. That’s why you’ll rarely find a publication starting from almost zero.
There are no comments on this comment yet.
If you allow that, proofs made using proof assistants prove every property they present.
And of course, Principia Mathematica (https://en.wikipedia.org/wiki/Principia_Mathematica) is a non-computer example.
Both get tedious fast if you try to understand a proof from the axioms up. That’s why you’ll rarely find a publication starting from almost zero.