Gödel Numbering System

From PKC
Revision as of 08:01, 4 February 2022 by Benkoo (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

According to Wikipedia: 

Gödel numbering is a function that assigns to each symbol and well-formed formula of some formal language a unique natural number, called its Gödel number.
Retrieved from "https://pkc.pub/index.php?title=Gödel_Numbering_System&oldid=22858"