Difference between revisions of "Gödel Numbering System"
Jump to navigation
Jump to search
m (Benkoo moved page Godel Numbering System to Gödel Numbering System) |
|||
| (3 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
According to Wikipedia: | 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 language a unique natural number, called its Gödel number. | [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 language a unique natural number, called its [[Gödel number]]. | ||
[[Category:Logic]] | |||
[[Category:Meta Mathematics]] | |||
[[Category:Meta Programming]] | |||
[[Category:Gödel Number]] | |||
[[Category:Arithmetic]] | |||
Latest revision as of 08:01, 4 February 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.