Message 97552 - Python tracker

➜

This issue tracker has been migrated to GitHub , and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

In-reply-to
Author	mark.dickinson
Recipients	eric.smith, mark.dickinson, skrah, tim.peters
Date	2010年01月10日.21:53:42
SpamBayes Score	4.567605e-05
Marked as misclassified	No
Message-id	<1263160424.35.0.150803455187.issue7632@psf.upfronthosting.co.za>

Content
> Showing once again that a proof of FP code correctness is about as > compelling as a proof of God's ontological status ;-) Clearly we need a 1000-page Isabelle/HOL-style machine-checked formal proof, rather than a ten-page TeX proof. Any takers? All of the above bugs seem to have been introduced with the new 'bigcomp' code that arrived on March 16, 2009, just a couple of weeks before I downloaded the version that got adapted for Python; in retrospect, I probably should have used the NO_STRTOD_BIGCOMP #define to bypass the new code.

Content

> Showing once again that a proof of FP code correctness is about as
> compelling as a proof of God's ontological status ;-)
Clearly we need a 1000-page Isabelle/HOL-style machine-checked formal proof, rather than a ten-page TeX proof. Any takers?
All of the above bugs seem to have been introduced with the new 'bigcomp' code that arrived on March 16, 2009, just a couple of weeks before I downloaded the version that got adapted for Python; in retrospect, I probably should have used the NO_STRTOD_BIGCOMP #define to bypass the new code.

History
Date	User	Action	Args
2010年01月10日 21:53:44	mark.dickinson	set	recipients: + mark.dickinson, tim.peters, eric.smith, skrah
2010年01月10日 21:53:44	mark.dickinson	set	messageid: <1263160424.35.0.150803455187.issue7632@psf.upfronthosting.co.za>
2010年01月10日 21:53:42	mark.dickinson	link	issue7632 messages
2010年01月10日 21:53:42	mark.dickinson	create

homepage