Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01349321n
Noun Concept
Categories: Works by Kurt Gödel, Mathematical logic, Theory of computation, Articles with short description
EN
Gödel numbering  Godel number  Godel-numbering  Godel code  Godel encoding
EN
In mathematical logic, a 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. Wikipedia
Definitions
Relations
Sources
EN
In mathematical logic, a 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. Wikipedia
Assignment of each symbol and well-formed formula of a formal language a unique natural number Wikidata
IS A
encoding
PART OF
symbolic logic
HAS KIND
Gödel numbering for sequences
MODEL ITEM
one
nine
NAMED AFTER
Godel
Wikipedia
EN
Gödel numbering
Wikidata
EN
Gödel numbering
Wikipedia Redirections
EN
Godel-numbering, Godel code, Godel encoding, Godel Number, Godel number, Godel numbering, Godel numbers, Godel set, Godelization, Goedel-numbering, Goedel code, Goedel number, Goedel numbering, Goedel numbers, Gödel's encoding, Gödel-numbering, Gödel code, Gödel coding, Gödel encoding, Gödel number, Gödel numbers, Gödel numeral, Gödel set, Gödelization

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License