Gödel Numbering System
(Redirected from Godel Numbering System)
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.