My Math Forum  

Go Back   My Math Forum > Math Forums > Math Books

Math Books Math Book Forum - Math books, ebooks, references

LinkBack Thread Tools Display Modes
August 15th, 2013, 01:07 PM   #1
Joined: Jun 2009

Posts: 83
Thanks: 1

Book explaining proof development

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 clean-up 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
honzik is offline  
August 15th, 2013, 01:58 PM   #2
Global Moderator
CRGreathouse's Avatar
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.
CRGreathouse is offline  

  My Math Forum > Math Forums > Math Books

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

Copyright © 2019 My Math Forum. All rights reserved.