All Questions

Hi! What text on both incompleteness theorems you would recommend for beginner? Specifically, I'm looking for the text with the following properties: 1) The proofs should be finitistic, in Godel's ...

I am going to teach the standard undergraduate Logic course for math and engineering majors. What are good (bad) text-books and why. I have not taught that course for a while and wonder if there are ...

Hi All, I'd like to solve some math puzzles, especially in the context of probability theory, but I'm open to other areas too. The kind of problems that does not require much knowledge of mathematics, ...