View Single Post
Old 2010-07-23, 20:25   #5
R.D. Silverman
 
R.D. Silverman's Avatar
 
Nov 2003

22×5×373 Posts
Default

Quote:
Originally Posted by Damian View Post
Thank you Dr. Silverman for your reply.
I'm not interested in that particular proof, it was just an example.

Do you think that a proof of a theorem can always be made more rigurous? Or there is a limit on how rigurous a proof can be?
A proof is either rigorous or it is not. AFAIK, "degrees of rigor" do not
exist. Certainly a formal proof in first/second order logic is as rigorous as
can be.
Quote:

I mean, what is today considered a rigurous proof of an established theorem, may not be a rigurous proof of tomorrow with more advanced techniques?
This is poorly defined nonsense.
Quote:
Or do you (anyone who reads this) think that a proof can be so rigurous that it can not be enhanced in any way?
Define 'enhanced'.

You are bandying about informal English words in a way that is not applicable
to mathematics.
R.D. Silverman is offline   Reply With Quote