| 书目名称 | Recursive Functions and Metamathematics | | 副标题 | Problems of Complete | | 编辑 | Roman Murawski | | 视频video | | | 丛书名称 | Synthese Library | | 图书封面 |  | | 描述 | .Recursive Functions and Metamathematics. deals withproblems of the completeness and decidability of theories, using asits main tool the theory of recursive functions. This theory is firstintroduced and discussed. Then Gödel‘s incompleteness theoremsare presented, together with generalizations, strengthenings, and thedecidability theory. The book also considers the historical andphilosophical context of these issues and their philosophical andmethodological consequences. Recent results and trends have beenincluded, such as undecidable sentences of mathematical content,reverse mathematics. All the main results are presented in detail. Thebook is self-contained and presupposes only some knowledge ofelementary mathematical logic. There is an extensive bibliography...Readership:. Scholars and advanced students of logic,mathematics, philosophy of science. | | 出版日期 | Book 1999 | | 关键词 | logic; mathematical logic; mathematics; philosophy of science; science | | 版次 | 1 | | doi | https://doi.org/10.1007/978-94-017-2866-9 | | isbn_softcover | 978-90-481-5298-8 | | isbn_ebook | 978-94-017-2866-9Series ISSN 0166-6991 Series E-ISSN 2542-8292 | | issn_series | 0166-6991 | | copyright | Springer Science+Business Media Dordrecht 1999 |
The information of publication is updating
|
|
发表于 2025-3-21 16:35:38
