The Meta of Gödel

Now we can get to the part where we see how to encode meta-mathematical properties in terms of arithmetic properties of the Gödel numbering. In this post, we’re going to build up everything we need to express syntactic correctness, logical validity, and provability in terms of arithmetical properties of Gödel numbers.

Via The Meta of Gödel | Good Math, Bad Math.

Leave a Reply