1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Learning Peano Arithmetic

  1. Jan 19, 2014 #1
    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?

  2. jcsd
  3. Jan 19, 2014 #2


    User Avatar
    Gold Member

    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.

    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.
  4. Jan 19, 2014 #3
    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.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook