Gödel Numbering System

From PKC

Revision as of 07:51, 20 January 2022 by Benkoo (talk | contribs) (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...")

(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=21420"