Gödel Numbering System

From PKC

Revision as of 07:52, 20 January 2022 by Benkoo (talk | contribs) (Benkoo moved page Godel Numbering System to Gödel Numbering System)

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