ゲーデル符号

ウィキペディア小見出し辞書

ゲーデル符号

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/12/21 09:30 UTC 版)

「符号」の記事における「ゲーデル符号」の解説

数学において、ゲーデル符号を基礎としてゲーデルの不完全性定理の証明がなされた。その考え方の基本は、（ゲーデル数を使って）数学的記述を自然数に写像するというものだった。