Gödel號數

出自維基百科,自由嘅百科全書
跳去: 定向搵嘢

Gödel號數Gödel numberGödelnummer)係種映射,幫一套邏輯系統嘅每一基本符號同埋變量對應上一質數,跟住幫邏輯系統入面每一式、每一證都配上一自然數。Gödel號數係阿Kurt Gödel證明唔完備定理en:Gödel's incompleteness theorems)時整出嚟嘅架生。

[編輯]


參攷[編輯]

原文:
  • Kurt Gödel (1931) 《Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme》, Monatshefte für Mathematik und Physik 38 pp. 173-98.
介紹: