Learning Peano Arithmetic


by robertjford80
Tags: arithmetic, learning, peano
robertjford80
robertjford80 is offline
#1
Jan19-14, 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, 18791931. Harvard Univ. Press: 8397.

Or will this pdf I found on the internet serve the same purpose?

http://ocw.mit.edu/courses/linguisti...arithmetic.pdf
Phys.Org News Partner Mathematics news on Phys.org
Math modeling handbook now available
Hyperbolic homogeneous polynomials, oh my!
Researchers help Boston Marathon organizers plan for 2014 race
jgens
jgens is offline
#2
Jan19-14, 06:33 AM
P: 1,623
Quote Quote by robertjford80 View Post
It seems that learning PA is necessary if you want to understand the relationship between logic and math.
Logic is not my particular area of expertise, but I imagine the level of understanding needed depends on where exactly your interests lie. There are large parts of mathematical logic that depend little on a deep knowledge of PA.

Or will this pdf I found on the internet serve the same purpose?
Unless you have some prior grounding in logic some parts of that pdf will probably be rough going. It mentions connections to model theory and second-order logic at the end, and while it does not appear to require anything especially deep from either, some understanding will undoubtably be missed without it.
robertjford80
robertjford80 is offline
#3
Jan19-14, 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