
Math Books Math Book Forum  Math books, ebooks, references 
 LinkBack  Thread Tools  Display Modes 
August 15th, 2013, 01:07 PM  #1 
Member Joined: Jun 2009 Posts: 83 Thanks: 1  Book explaining proof development
Hi, do you please know any book that explains how particular proofs of the given theorems were developed (created)? The process of evolution of the proof of a theorem is often not so straightforward, so there are some ideas at the begining, these ideas are made to be more precise and after some cleanup of the ideas and leaving only the final argumentations the proof is made complete. Often the reader cannot see the auxiliary objects that helped to develop the proof (or these objects are part of the proof but there is no explanation why do they have the presented shape and how was the shape "discovered") and the reader also cannot see the process of development of the proof  but this can be often more interesting than the proof itself. To give some (trivial) example  let's say that we have "theorem" that the equation x^2 11x + 30 = 0 has solution. The proof (that is not explanatory but such proofs are common) can be: set x:=5 and it can be easily verified that this solves the equation. The proof is correct, as much compact (short) as possible but it gives no clue how it was developed (discovered)  where the number 5 come from? What I am looking for is explanation how the proof was discovered, ie. in this case using discriminant there is general method for solving quadratic equations (or even derive these method) and showing how can this method be used to find the solution of the equation. (Well, this example is trivial but I hope it will help to show what I mean.) So that's why I am looking for some book that will explain this process of proof development (creation). Or to take it even further  the process of theorem development (when we even don't know theorem that is to be proved and we are trying to formulate theorems on our own.). Thank you for any suggestion 
August 15th, 2013, 01:58 PM  #2 
Global Moderator Joined: Nov 2006 From: UTC 5 Posts: 16,046 Thanks: 938 Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms  Re: Book explaining proof development
That's a broad question! I think Polya's How to Prove It is the standard reference.


Tags 
book, development, explaining, proof 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
calculator development  acapro  Applied Math  0  December 28th, 2013 07:57 PM 
Proof of Trace Theorem (in Lawrence.Evans. book)  Fabion  Real Analysis  4  September 19th, 2013 02:21 AM 
Explaining derivative graphically  daigo  Calculus  3  July 12th, 2012 11:16 AM 
Explaining some calculus lingo  cacophonyjm  Calculus  1  March 1st, 2012 11:03 PM 
Proof of Green's theorem in Apostol book  kellypedro  Real Analysis  1  May 6th, 2010 03:48 AM 