Live data from Hacker News

Ask HN: Where to Read Proofs?

news.ycombinator.com

11–20 of 23 posts

Re: Ask HN: Where to Read Proofs?

#13
Most math textbooks are proofs, with lots of explanations, and then exercises that ask you to prove related theorems using similar methods.

So really any math text appropriate to your level will work.

Re: Ask HN: Where to Read Proofs?

#18
post #16

Take a real, formal class. You really can't self-study in my experience. I highly recommend the Harvard Extension School math 23 sequence.

It's unfortunate that each course is over a thousand USD.

It's a serious undergrad class with very accessible TAs, lots of resources. My experience there was orders of magnitude better than taking courses at my local public university. For proof-writing you really need an experienced human to be reviewing your work because the mistakes can be very subtle -- you'd never catch them by yourself.

Re: Ask HN: Where to Read Proofs?

#19
post #16

Earlier quoted context omitted.

It's unfortunate that each course is over a thousand USD.

It's a serious undergrad class with very accessible TAs, lots of resources. My experience there was orders of magnitude better than taking courses at my local public university. For proof-writing you really need an experienced human to be reviewing your work because the mistakes can be very subtle -- you'd never catch them by yourself.

I totally agree, I just don't have that kind of money right now, hence my question about reading proofs.

Re: Ask HN: Where to Read Proofs?

#20
post #9

I can second "Proofs from the Book", but would advise against it unless you're already comfortable with the basics of linear algebra and perhaps some analysis. For a total beginner there is no better choice than Steward and Tall's "The Foundations of Mathematics", an incredibly readable guide which takes you from high-school calculus through a good portion of intro analysis and algebra. Reading this and doing the exe…

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 i…

Not 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.
Post reply on HN