In the last couple of posts, we’ve talked about what math is (a search for what must be) and where the foundational axioms and definitions come from. Mathematics tries to prove that statement…
CITATION STYLE
Murawski, R. (1999). Gödel’s Incompleteness Theorems. In Recursive Functions and Metamathematics (pp. 97–210). Springer Netherlands. https://doi.org/10.1007/978-94-017-2866-9_3
Mendeley helps you to discover research relevant for your work.