出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/12/22 09:30 UTC 版)「ゲーデル数」の記事における「形式数学への応用」の解説ある形式理論のゲーデル数化が確立さ...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/12/22 09:30 UTC 版)「ゲーデル数」の記事における「一意性の欠如」の解説ゲーデル数化は一意ではなく、ゲーデル数...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/12/22 09:30 UTC 版)「ゲーデル数」の記事における「ゲーデルによる符号化」の解説ゲーデルはゲーデル数化を素因数...

ゲーデル数（ゲーデルすう、英: Gödel number）は、数理論理学において何らかの形式言語のそれぞれの記号や論理式に一意に割り振られる自然数である。クルト・ゲーデルが不完全性定理の証明に...

ゲーデル数（ゲーデルすう、英: Gödel number）は、数理論理学において何らかの形式言語のそれぞれの記号や論理式に一意に割り振られる自然数である。クルト・ゲーデルが不完全性定理の証明に...

ゲーデル数（ゲーデルすう、英: Gödel number）は、数理論理学において何らかの形式言語のそれぞれの記号や論理式に一意に割り振られる自然数である。クルト・ゲーデルが不完全性定理の証明に...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/23 10:02 UTC 版)「帰納的可算集合」の記事における「形式的定義」の解説自然数の集合 S について、定義域が...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/12/21 09:30 UTC 版)「符号」の記事における「ゲーデル符号」の解説数学において、ゲーデル符号を基礎としてゲーデ...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/02 05:58 UTC 版)「レジスタマシン」の記事における「ミンスキー、Melzak-Lambek、Shepher...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/10 14:43 UTC 版)「論理記号の一覧」の記事における「その他の論理記号」の解説以下では、発展的または稀に用い...