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

22×5×373 Posts

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.

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.
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