A Note on Gödel''s Incompleteness Theorem
碩士 === 國立中正大學 === 哲學所 === 96 === In this thesis we will give a self-contained proof of Gödel''s incompleteness theorems. We show that some relations on natural number, which are arithmetized from objects on language, are primitive recursive, and prove that every primitive recursive functio...
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Others |
Language: | zh-TW |
Published: |
2008
|
Online Access: | http://ndltd.ncl.edu.tw/handle/54709637378760332806 |