
#1
Jan1914, 06:22 AM

P: 392

It seems that learning PA is necessary if you want to understand the relationship between logic and math.
Should I track down this book at the library, a chore which will take up an hour of my precious time The principles of arithmetic, presented by a new method" in Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press: 83–97. Or will this pdf I found on the internet serve the same purpose? http://ocw.mit.edu/courses/linguisti...arithmetic.pdf 



#2
Jan1914, 06:33 AM

P: 1,623





#3
Jan1914, 07:27 AM

P: 392

I already took a look at it. I keep putting the cart before the horse. I have three books on intro to proof theory and three books on intro to set theory. I'm going to read those first before I give mathematical logic a second shot because my first shot at mathematical logic resulted in failure.



Register to reply 
Related Discussions  
[LOGIC] Proof by Induction in Peano Arithmetic  Calculus & Beyond Homework  3  
How do primes come out of Peano arithmetic?  Linear & Abstract Algebra  4  
Validate Peano Arithmetic Approach  Calculus & Beyond Homework  2  
Peano Curves  Calculus  1  
Multiplication in Peano Arithmetic  General Discussion  0 