> Even more funny is that Gödel's incompleteness theorem guarantees that "our" (currently developed) mathematics contain true statements which cannot be proven either true or false within the set of axioms which produce our mathematics
These two statements together suggest that math isn't actually a formal game, but that formal methods offer an useful method for dealing with it.
> Even more funny is that Gödel's incompleteness theorem guarantees that "our" (currently developed) mathematics contain true statements which cannot be proven either true or false within the set of axioms which produce our mathematics
These two statements together suggest that math isn't actually a formal game, but that formal methods offer an useful method for dealing with it.