3
$\begingroup$

I am an engineer with tons of math courses behind me. However, all of them were applied wherein instead of giving us intuition, they gave us a toolbox. (If you encounter this then use that to solve.)

For my research (and as a requirement for grad school), I am required to be able to write and read proofs. These can range from elementary to SIAM journal level.

My research is fairly computational (Optimization and Linear Algebra) and I need proofs only to be able to understand which algorithms work, their convergence and to write proofs for my algorithms if I ever construct one.

I have 2 options now:

  1. Read a book like How to Prove it or How to read and do proofs.

  2. Read Baby Rudin and end it all forever. (Since, I believe that should be enough of proof doing for the rest of my career)

I don't see Baby Rudin's (with all its topology & calculus) helping me in my objectives. Am I missing something?

Which way should I go?

Owing to severe time constraints, I can do only one.

  • 2
    In the words of the El Paso commercial, porque no los dos?2012-03-10
  • 1
    Huh? Google translate converts is to `Because both`. If you intend to say that "do both", refer edit.2012-03-10
  • 0
    Do both. Option 1 will give you some basics of doing proofs, but you'll still need some practice with problems which are more advanced, which is where something like Baby Rudin (option 2) comes in.2012-03-10
  • 4
    As a hispanic I will translate Gerry Myerson's comment: Why not both?2012-03-10
  • 0
    Both not possible. If at all it is, I could do one now and 1 after 4 months or so.2012-03-10
  • 2
    Why not read a book about optimization and linear algebra? You seem to have the impression that Baby Rudin is by far the most rigorous undergrad math book. If so, you're wrong. Also, Rudin puts a lot of effort in making his proofs short and elegant, which means you can read them and verify them without really understanding what is going on. For your purpose you want your proofs to be detailed and straightforward.2012-03-10
  • 0
    I agree with Stefan. For learning how to prove things, it doesn't really matter what subject the book covers, as long as it's well written. I was forced to use baby Rudin for a course, but I would highly recommend [Apostol](http://books.google.com/books/about/Mathematical_analysis.html?id=Le5QAAAAMAAJ) instead. Also, as Stefan suggests, your time might be better spent with a good, rigorous book on optimization and vector spaces. My favorite is [Luenberger](http://books.google.com/books/about/Optimization_by_vector_space_methods.html?id=lZU0CAH4RccC).2012-03-10
  • 0
    @StefanWalter,William. So, instead of grinding through Rudin, I should simply grind through my reading list of Boyd's Convex Optimization, Nocedal's [Numerical Optimization](http://www.amazon.com/Numerical-Optimization-Operations-Financial-Engineering/dp/0387303030/ref=pd_sim_b_4), Trefethen's [NLA](http://www.amazon.com/Numerical-Linear-Algebra-Lloyd-Trefethen/dp/0898713617/ref=sr_1_1?s=books&ie=UTF8&qid=1331361943&sr=1-1), [Bertsekas](http://www.amazon.com/Nonlinear-Programming-Dimitri-P-Bertsekas/dp/1886529000/ref=sr_1_sc_3?ie=UTF8&qid=1331361394&sr=8-3-spell) and Luenberger?2012-03-10
  • 0
    Did Rudin ever write a book called "Topology & Theoretical Calculus"?2012-03-10
  • 0
    @AD., I meant those chapters from Baby Rudin. I'll edit to make it more clear.2012-03-10
  • 0
    @DanielMontealegre, but you're translated what he intended to say (*¿Por qué no los dos?*) rather than what he actually said.2012-03-10
  • 0
    It sounds like working through chapters 1-3 of Velleman is necessary, but not sufficient, to develop the skills you want. If it goes quickly, good, you can move on. But what's good about Velleman is the deliberate and structured approach he takes.2012-03-10

1 Answers 1

2

Doing proofs is a skill to be developed, not a set of knowledge to learn. You can't become good at doing proofs by reading a book. You need to practice proving things yourself.

Books like Rudin can be useful as a source of little problems to prove (eg, work some of the exercises and attempt to prove some of the theorems on your own before reading the proof in the book). However if you read passively you will not improve very much. Even if you know the all the ins and outs of every definition and theorem, and can recall every proof, you will still be less well-equiped to face new proofs than someone who reads less carefully but trys to prove things on their own.

I recommend "How to Solve It" by George Polya, "Solving Mathematical Problems: A Personal Perspective" by Terro Tao, and "The Cauchy Schwarz Master Class" by Michael Steele.

  • 0
    But, can I replace Rudin with any other book for proofs? Why is Real Analysis treated as *the* course for learning proofs?2012-03-10
  • 0
    Random convenience based on scheduling? Real analysis is often the first course where math majors branch off from general courses taken by science and engineering majors. It's not that way everywhere - at a lot of universities the "learning proofs" course is abstract algebra. Where I went to college it was a discrete math class.2012-03-10
  • 0
    So, I can pick up any book with a theoretical flavor and convert it to my "Lets learn proofs" course?2012-03-10
  • 0
    Sure, although I would emphasize that it's not about reading the book. Theres a lot of masochism in the math community about reading the "hardest books" and I think this is counterproductive. It's very similar to rock climbing - you don't read a technical book by the best rock climber and expect to go out and start climbing 5.12 routes. It's unlikely you could even understand what they are saying. You just try easier stuff 5.7, 5.8, and slowly build basic skills as you progress, perhaps incorporating things from books as you go.2012-03-10
  • 0
    I couldn't appreciate the rock climbing example but I got your point :)2012-03-10
  • 0
    Hah, ok well it was worth a shot anyways. I still really recommend the 3 books I mention in my answer. Also for reference the book in the discrete math course I took was "Discrete Mathematics: Introduction to Mathematical Reasoning". I thought it was really good, but not everyone online agrees.2012-03-10