Gödel numbering
English
Noun
Gödel numbering (plural Gödel numberings)
- (logic) A function assigning a Gödel number to each well-formed formula of some formal language.
单词 | Gödel numbering |
释义 | Gödel numbering |
随便看 |
|
国际大辞典收录了7408809条英语、德语、日语等多语种在线翻译词条,基本涵盖了全部常用单词及词组的翻译及用法,是外语学习的有利工具。