Gödel numbering (Q1451046)
Jump to navigation
Jump to search
assignment of each symbol and well-formed formula of a formal language a unique natural number
Language | Label | Description | Also known as |
---|---|---|---|
English | Gödel numbering |
assignment of each symbol and well-formed formula of a formal language a unique natural number |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(18 entries)
- bnwiki গ্যোডেল সংখ্যা
- cawiki Nombre de Gödel
- dewiki Gödelnummer
- elwiki Αρίθμηση Γκέντελ
- enwiki Gödel numbering
- eswiki Numeración de Gödel
- frwiki Codage de Gödel
- hewiki קידוד גדל
- itwiki Numero di Gödel
- jawiki ゲーデル数
- nlwiki Gödelnummer
- ptwiki Número de Gödel
- ruwiki Нумерация Гёделя
- simplewiki Gödel number
- slwiki Gödlovo število
- ukwiki Нумерація Геделя
- zh_yuewiki Gödel號數
- zhwiki 哥德尔数