eldavojohn writes "A special issue of Notices of the American Mathematical Society (AMS) provides four beautiful articles illustrating formal proof by computation. PhysOrg has a simpler article on these assistant mathematical computer programs and states "One long-term dream is to have formal proofs of all of the central theorems in mathematics. Thomas Hales, one of the authors writing in the Notices, says that such a collection of proofs would be akin to the sequencing of the mathematical genome." You may recall a similar quest we discussed. Is this a growing trend in formal proofs of mathematics?" Link to Original Source
This discussion was created for logged-in users only, but now has been archived.
No new comments can be posted.
Practicing Mathematical Proofs Via Computers 0 Comments More Login /
Get More Comments