The theory of Go?del [electronic resource]

• 作者： Cellucci, Carlo.
• 其他作者：
  • SpringerLink (Online service)
• 其他題名：
  • Synthese library, studies in epistemology, logic, methodology, and philosophy of science ;
• 出版： Cham : Springer International Publishing :Imprint: Springer
• 叢書名： Synthese library, studies in epistemology, logic, methodology, and philosophy of science,v. 470
• 主題： Godel's theorem.
• ISBN： 9783031134173 (electronic bk.) 、 9783031134166 (paper)
• FIND@SFXID: CGU
• 資料類型: 電子書
• 內容註: First-Order Logic -- Completeness -- First-Order Theories -- Primitive Recursive Arithmetic -- Encoding -- Incompleteness -- Other Limitative Results -- Second-Order Logic -- Second-Order Arithmetic -- Appendix.
• More
• 摘要註: This book presents Go?del's incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. Results are stated in the form most relevant for use in the philosophy of mathematics. An appendix considers their implications for Hilbert's Program for the foundations of mathematics. The text is self-contained, all notions being explained in full detail, but of course previous exposure to the very first rudiments of mathematical logic will help.
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: