7 ms·
Does The Foundations of Mathematics focus on performing calculations, or does it have proofs as well? I feel like I'm in a hard place because I'm not a total be
by tines 4y ago
Does The Foundations of Mathematics focus on performing calculations, or does it have proofs as well? I feel like I'm in a hard place because I'm not a total beginner; I've taken calculus I and II, some discrete math, and I'm fine with the basics of algebraic manipulations. But I need something to bridge the gap between calculation and proving theorems. As I mentioned in the original post, Linear Algebra Done Right is above my head at this point, I can't even do all the exercises at the end of the first section.
- ravi-delia 4y agoNot only does it have proofs, they're the subject of the book! You are exactly the target audience, someone who knows math but wants to make the leap to proofs. There is essentially no calculation, it starts with a lovely introduction to logical quantifiers and sets and moves on from there. By the end you'll have constructed the Reals and experimented with everything from vector spaces to the hyperreals to the basics of galois theory. LADR is definitely a good pick for after you're comfortable with proofs. They really aren't especially hard, but I remember how tricky it was until I actually learned how to start and where to go.