Godel號數

Godel號數 （ Godel number ， Godelnummer ）係種映射，?一套邏輯系統?每一基本符號同埋變量對應上一質數，?住?邏輯系統入面每一式、每一證都配上一自然數。Godel號數係阿 Kurt Godel 證明 ?完備定理（ en:Godel's incompleteness theorems ）時整出??架生。

註 [ 編輯 ]

參攷 [ 編輯 ]

原文：

Kurt Godel (1931) 《Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme》， Monatshefte fur 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, 《Godel's Proof》, New York University Press, ISBN 0-8147-5816-9 / ISBN 978-0-8147-5816-8

?篇同數學相關係楔位文。歡迎?維基百科擴寫? 。