Foundations of Mathematics by Stephen G. Simpson

Foundations of Mathematics

Foundations of Mathematics by Stephen G. Simpson
Publisher: Pennsylvania State University 2008
Number of pages: 123
These are lecture notes for an introductory graduate-level course in foundations of mathematics. The topics covered are: computability, unsolvable problems, undecidability of the natural number system, decidability of the real number system, informal set theory, axiomatic set theory. This course is suitable for all mathematics graduate students.
Mathematics Pure Mathematics



More Free E-Books For Pure Mathematics


Similar Books For Pure Mathematics

1. Lectures on Fundamental Concepts of Algebra and Geometry by John Wesley Young
2. Hack, Hack, Who's There? A Gentle Introduction to Model Theory by David Reid
3. Asymptotic Differential Algebra and Model Theory of Transseries by M. Aschenbrenner, L. van den Dries, J. van der Hoeven
4. Modal Logic of Strict Necessity and Possibility by Evgeni Latinov
5. An Introductory Course in Elementary Number Theory by Wissam Raji
6. Notes on the Theory of Algebraic Numbers by Steve Wright
7. Topology of Numbers by Allen Hatcher
8. What is Mathematics: Gödel's Theorem and Around by Karlis Podnieks
9. Introduction to Mathematical Logic by Vilnis Detlovs, Karlis Podnieks
10. Topics in the Theory of Quadratic Residues by Steve Wright
11. Sets, Groups and Knots by Curtis T. McMullen
12. Mathematical Reasoning: Writing and Proof by Ted Sundstrom
13. Descriptive Set Theory by David Marker
14. Proofs in Mathematics by Alexander Bogomolny
15. How To Write Proofs by Larry W. Cusick
16. Geometry of Numbers with Applications to Number Theory by Pete L. Clark
17. An Introduction to Mathematical Reasoning by Peter J. Eccles
18. A Friendly Introduction to Number Theory by Joseph H. Silverman
19. Analytic Number Theory by Giuseppe Rauti
20. An Inquiry-Based Introduction to Proofs by Jim Hefferon
21. Blast Into Math! by Julie Rowlett
22. Handbook of Modal Logic by Patrick Blackburn, Johan van Benthem, Frank Wolter
23. Lectures on Analytic Number Theory by H. Rademacher
24. Axiomatic Set Theory by Michael Meyling
25. Logic for Computer Science by
26. Smooth Numbers: Computational Number Theory and Beyond by Andrew Granville
27. Natural Topology by Frank Waaldijk
28. Axiomatic Set Theory I by A. C. Walczak-Typke
29. Lectures on a Method in the Theory of Exponential Sums by M. Jutila
30. Lectures on Siegel Modular Forms and Representation by Quadratic Forms
31. Lectures on Sieve Methods and Prime Number Theory by Y. Motohashi
32. Lectures on Forms of Higher Degree by J.I. Igusa
33. Lectures On Irregularities Of Distribution by Wolfgang M. Schmidt
34. Lectures on Sieve Methods by H.E. Richert
35. Logic for Computer Scientists by Uli Furbach
36. Coalgebras and Modal Logic by Alexander Kurz
37. Basic Concepts in Modal Logic by Edward N. Zalta
38. On Advanced Analytic Number Theory by C.L. Siegel
39. Introduction to Proof Theory by Gilles Dowek
40. Algebraic Tools for Modal Logic by Mai Gehrke, Yde Venema
41. Metalogic by Jan Wolenski
42. Heegner Points and Rankin L-Series by Henri Darmon, Shou-Wu Zhang
43. Lectures on Topics in Algebraic Number Theory by Sudhir R. Ghorpade
44. Lectures on Field Theory and Ramification Theory by Sudhir R. Ghorpade
45. An Introduction to Algebraic Number Theory by F. Oggier
46. Logics of Time and Computation by Robert Goldblatt
47. Lectures on Shimura Varieties by A. Genestier, B.C. Ngo
48. Introduction to Shimura Varieties by J.S. Milne
49. Introduction to Analytic Number Theory by A.J. Hildebrand
50. Lectures on The Riemann Zeta-Function by K. Chandrasekharan



Categories