ゲーデル数

ウィキペディア

ゲーデル数

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/12/15 14:27 UTC 版)

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