/sci/ - Science & Math

>>15316260

Oddly enough, if you want to claim that a proof is a part of the real world, then you have to develop a theory of proofs, but it makes no sense to call the objects of study proofs because that means you'll confuse matters.
Instead of doing the intelligent thing and calling them "qoofs" or something, i.e. a mathematical model of a proof that is supposed to abstract and generalize the relevant properties of proof you're trying to study, Gödel starved himself and went insane. In other words, the circularity won instead of the study.
These days, C compilers catch the error and report it as
>Reserved keyword may not be used as an identifier
if you want to use, say, "for" or "while" as variable names.
In math, words such as "theorem", "axiom", and "proof" are the reserved keywords used by the axiomatic compiler we learn in Set Theory.