Mathematical Logic and the Foundations of Mathematics: An Introductory Survey
Dover Publications (1963)
| Abstract |
Graduate-level historical study is ideal for students intending to specialize in the topic, as well as those who only need a general treatment. Part I discusses traditional and symbolic logic. Part II explores the foundations of mathematics, emphasizing Hilbert’s metamathematics. Part III focuses on the philosophy of mathematics. Each chapter has extensive supplementary notes; a detailed appendix charts modern developments.
|
| Keywords | Mathematics Philosophy Logic, Symbolic and mathematical |
| Categories | (categorize this paper) |
| Reprint years | 1965, 2001 |
| Buy the book | $13.22 direct from Amazon (23% off) $39.99 used Amazon page |
| Call number | QA9.K673 2001 |
| ISBN(s) | 0442043546 |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
Our Archive
Upload a copy of this paper Check publisher's policy Papers currently archived: 47,413
External links
(no proxy) Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloo
The Truth Assignments That Differentiate Human Reasoning From Mechanistic Reasoning: The Evidence-Based Argument for Lucas' Goedelian Thesis.Bhupinder Singh Anand - 2016 - Cognitive Systems Research 40:35-45.
What Bourbaki Has and Has Not Given Us.Enetz Ezenarro Arriola - 2017 - Theoria : An International Journal for Theory, History and Fundations of Science 32 (1).
Three Dogmas of First-Order Logic and Some Evidence-Based Consequences for Constructive Mathematics of Differentiating Between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand - manuscript
View all 6 citations / Add more citations
Similar books and articles
A Course in Mathematical Logic.J. L. Bell - 1977 - Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
Principia Mathematica, to *56.Alfred North Whitehead & Bertrand Russell - 1962 - Cambridge University Press.
Between Logic and Intuition: Essays in Honor of Charles Parsons.Gila Sher & Richard Tieszen (eds.) - 2000 - Cambridge University Press.
Philosophy of Mathematics and Deductive Structure of Euclid 's "Elements".Ian Mueller - 1981 - Dover Publications.
Analytics
Added to PP index
2009-01-28
Total views
88 ( #100,624 of 2,291,806 )
Recent downloads (6 months)
6 ( #181,741 of 2,291,806 )
2009-01-28
Total views
88 ( #100,624 of 2,291,806 )
Recent downloads (6 months)
6 ( #181,741 of 2,291,806 )
How can I increase my downloads?
Downloads
