Books in foundations of mathematical logic

Question

I'm a civil engineer that spends all of its free time (with the permission of my wife and my two children) studying set theory and mathematical logic. For instance, I've read and enjoyed "Axiomatic set Theory" by Suppes, Enderton's "Elements of set theory","Mathematical logic" by Shoenfield or "A course in mathematical logic" by Bell and Machover. Now, my goals are the history and the development of these two mathematical branches. In this sense I'm reading "Foundations of Set Theory" by Fraenkel, Bar-hilleil and levy or "Labyrinth of thought" by José Ferreirós and I would like to have in the same line as the above good books in the foundations of mathematical logic.

Thank you in advance

2 recommendations geared to category theory: Lawvere & Rosebrugh: "Set Theory for Mathematics" 2003. Paul Taylor "Practical Foundations of Mathematics" 1999. — alancalvitti, Dec 22 '12 at 06:01

score 4 · Answer 1 · answered Dec 22 '12 at 14:12

4

The reading list/study guide linked at http://www.logicmatters.net/students/tyl/ is only half done yet [reminder to self to get on with it!] but might contain one or two helpful suggestions.

answered Dec 22 '12 at 14:12

Peter Smith

54,743

Perfect this is a good starting point. Yhanks a lot – Guillermo Dec 28 '12 at 19:50

score 2 · Answer 2 · answered Dec 22 '12 at 18:15

2

You might like the book "Foundations of Mathematics" by William S. Hatcher.

answered Dec 22 '12 at 18:15

Andreas Blass

71,833

André Nicolas · Answer 3 · 2012-12-22T05:50:05.783

1

You might be interested in van Heijenoort's From Frege To Gödel: A Source Book in Mathematical Logic, 1879-1931.

On a different line, I recommend Dauben's biography of Cantor, and his more recent Battle for Cantorian Set Theory.

edited Dec 22 '12 at 05:50

answered Dec 22 '12 at 05:42

André Nicolas

507,029

I already looked up "From Frege to Godel" but although is a great collection of articles written by those who actually built up the foundations of mathematics, what I'm interested in is a book that covers from 1870 and 1940 just in the line of From Frege to Godel but maybe written by a unique author in the same way as Jose Ferreiros does in the "Labyrinth of thought". However articles of different authors as provided in the former book are good enough in the book Philosophy of Mathematics:selected readings by Paul Benacerraf and hilary Putman. – Guillermo Dec 28 '12 at 19:46

score 1 · Answer 4 · answered Dec 22 '12 at 14:25

1

Introduction to Mathematical Thinking is a very good book in my opinion. It is even more effective when you read it along with the courseware of the course by the same name.

answered Dec 22 '12 at 14:25

P.K.

7,742

This is course for people who did not have any decent contact with mathematics like students of social sciences. – Trismegistos Jan 09 '13 at 13:18
I took it. It is a great course – Plotinus Jul 03 '21 at 19:50

score 0 · Answer 5 · answered Oct 16 '14 at 11:10

0

Foundations of Mathematical Logic by Haskell B. Curry is a good book on this topic.

answered Oct 16 '14 at 11:10

Evgeny Zolin

148
8

score 0 · Answer 6 · answered Oct 16 '14 at 15:32

0

If you are interest in knowing it's application in Computer Science then you can go for Discrete Mathematical Structures With Applications to Computer Science - Jean Paul Tremblay, Rampurkar Manohar .

answered Oct 16 '14 at 15:32

CodeIt

163

Books in foundations of mathematical logic

6 Answers6

Linked