在线词典

分类：语言工具

在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。

输入要查询的单词：

近期查询：

Gödel numbering

查词链接：https://www.dute.org/dict/Gödel_numbering复制链接

哥德尔数（哥德尔编号是对形式语言中每个符号和公式指派一个唯一的自然数，用于证明哥德尔不完备定理。可计算函数集合的编号也叫哥德尔编号，可解释为编程语言，指派哥德尔数到每个可计算函数。Roger等价定理特征化了可计算函数集合的编号）

查看英英释义

abstract:

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. The concept was famously used by Kurt Gödel for the proof of his incompleteness theorems.

网络释义

哥德尔数

哥德尔这边,在1930年左右,他专注于一项朴素然而内涵丰富的发现——“哥德尔数”(“Gödel numbering”),即在任意的符号系统中,长长的符号串的线性组合,与某个整数(通常是天文数字般巨大)之间,基于数学关系可建立起精确映射。

正在查询...

在线词典

Gödel numbering

网络释义

{error}

{word}

单词变体

常用短语

网络释义

近义词

同根词

词语辨析

{num}、{title}