Difference between revisions of "Gödel Numbering System"
Jump to navigation
Jump to search
(Created page with "According to Wikipedia: [https://en.wikipedia.org/wiki/Gödel_numbering Gödel numbering] is a function that assigns to each symbol and well-formed formula of some formal lan...") |
m (Benkoo moved page Godel Numbering System to Gödel Numbering System) |
(No difference)
| |
Revision as of 07:52, 20 January 2022
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.