哥德尔数英文解释翻译、哥德尔数的近义词、反义词、例句
英语翻译:
【计】 Godel number
分词翻译:
哥的英语翻译:
elder brother
德的英语翻译:
heart; mind; morals; virtue
尔的英语翻译:
like so; you
数的英语翻译:
a few; count; enumerate; fate; frequently; list; number; numeral; numeric
reckon; repeatedly; serveral
【计】 crossing number; N
【医】 number
【经】 number
网络扩展解释
哥德尔数
哥德尔数(gōu dé ěr shù)是指对于一个形式系统,其哥德尔数是一个在数学上特定的自然数,通过该数字可以在系统内部映射到一个定理。这是数学家哥德尔于1931年提出的理论。
英文解释
Gödel number is a specific natural number assigned to each well-formed formula, sequence, or function in a formal system as part of Gödel's incompleteness theorems.
英文读音
[ˈgɜrdl ˈnʌmbər]
英文用法
哥德尔数在数学和计算机科学领域中被广泛使用。
英文例句
-
The Gödel number assigned to the formula determines whether it is provable within the system.
该公式的哥德尔数可以确定它是否可以在系统内被证明。
-
Usually, the Gödel number of a sentence is defined as a unique number.
通常,一句话的哥德尔数被定义为唯一数值。
英文近义词
-
Formal number
形式数字
-
Gödel coding
哥德尔编码
-
Gödel encoding
哥德尔编码
英文反义词
-
Inconsistent system
不一致的系统
英文单词常用度
哥德尔数在技术领域使用广泛,但在日常生活中使用较少。