← Back to context

Comment by YeGoblynQueenne

1 day 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.

0 comments

YeGoblynQueenne

Reply

No comments yet

Contribute on Hacker News ↗