What is a Gödel Number? (Arithmatization)

An explication of Gödel Numbers, Free Variables, Arithmatization, Substitution, and Arithmoquining. This covers some of the basics for Gödel’s incompleteness theorem, and Tarski’s Theorem on the Indefinability of Truth.

About The Author

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>