Gödel號數
Gödel號數（Gödel number，Gö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.
- 英譯：《On Formally Undecidable Propositions of Principia Mathematica and Related Systems 》，Dover Publications, ISBN 0-486-66980-7 / ISBN 978-0-486-66980-9
- 介紹：
- Ernest Nagel, James R. Newman, 《Gödel's Proof》, New York University Press, ISBN 0-8147-5816-9 /ISBN 978-0-8147-5816-8
 |