Comment by YeGoblynQueenne
4 days ago
A proof is a "piece of data"? Oh boy.
https://en.wikipedia.org/wiki/Proof_theory
https://en.wikipedia.org/wiki/Model_theory
https://en.wikipedia.org/wiki/Mathematical_proof
tl;dr: not a piece of data.
4 days ago
A proof is a "piece of data"? Oh boy.
https://en.wikipedia.org/wiki/Proof_theory
https://en.wikipedia.org/wiki/Model_theory
https://en.wikipedia.org/wiki/Mathematical_proof
tl;dr: not a piece of data.
No comments yet
Contribute on Hacker News ↗