The Theory of Goedel, 1st ed. 2022◆Springer Yellow Sale 2026開催中!:2026年6月28日(日)ご注文分まで
※上記表示の販売価格は割引適用後の価格です 出版済み 3週間でお届けいたします。 Title: The Theory of Goedel, 1st ed. 2022 Series: Synthese Library Author: Cellucci, Carlo Publisher: Springer ISBN: 9783031134166 Cover: HARDCOVER Date: 2022年11月 DESCRIPTION This book presents Gö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. TABLE OF CONTENTS First-Order Logic.- Completeness.- First-Order Theories.- Primitive Recursive Arithmetic.- Encoding.- Incompleteness.- Other Limitative Results.- Second-Order Logic.- Second-Order Arithmetic.- Appendix.
![]()
|
|||||||||||||||||||||||||||||||||||||||||||||||