Browsing index pages (3 articles)
↧
Does the existence of Gödel Encoding imply that any formal system is itself...
The notion of Gödel Encoding is extremely important from a philosophy of mathematics standpoint, but seems to be rarely noted explicitly. Take the following claims for example (which are implied by the...
View ArticleAnswer by emesupap for Does the existence of Gödel Encoding imply that any...
By my lights, claim number 1 is uncontroversial, we only need the fundamental theorem of arithmetic and some encoding scheme to get off the ground.Claim number 2 is false, at least depending on your...
View ArticleAnswer by user21820 for Does the existence of Gödel Encoding imply that any...
Claim #1: A consistent axiomatic system which includes Peano arithmetic can Gödel Encode ANY axiomatic system.Yes, any computable formal system S can be encoded in PA, meaning that there is a...
View Article
Browsing index pages (3 articles)
