Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01349321n
Noun Concept
Categories: クルト・ゲーデル, 計算理論, 数学に関する記事, 数理論理学
JA
ゲーデル数  ゲーデル数化
JA
ゲーデル数（ゲーデルすう、英: Gödel number）は、数理論理学において何らかの形式言語のそれぞれの記号や論理式に一意に割り振られる自然数である。 Wikipedia
Definitions
Relations
Sources
JA
ゲーデル数（ゲーデルすう、英: Gödel number）は、数理論理学において何らかの形式言語のそれぞれの記号や論理式に一意に割り振られる自然数である。 Wikipedia
数理論理学において何らかの形式言語のそれぞれの記号や論理式に一意に割り振られる自然数 Wikidata
IS A
エンコード
PART OF
数理論理学
HAS KIND
EN
Gödel numbering for sequences
MODEL ITEM
一
9
NAMED AFTER
クルト・ゲーデル
Wikipedia
JA
ゲーデル数
Wikidata
JA
ゲーデル数
Wikipedia Redirections
JA
ゲーデル数化

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