... sci.math ... To get you started, following is a DRAFT version of Tarski's Axioms for geometry using DC Proof: http://www.dcproof.com/TarskiAxioms.html...
... define reals relatively well. ... be false, rather than assumed... ... Well done, Mark! A great contribution -- 826 lines! If you have no objections, I...
... define reals relatively well. ... be false, rather than assumed... ... Just had another look at your proof, Mark. Your axioms correspond to a commutative...
... in ... a ... Axioms ... at ... After thinking about it for a while, DC Proof is probably NOT the best thing to do geometric proofs with -- not for the...
... Yes, I saw this was an issue when I attempted to show ~2=0. I wondered if the simpler approach was to define the continuity of the reals as an axiom. I was...
Mark Hurd
mhurd@...
Aug 13, 2004 2:23 am
67
... Thankyou, I welcome any feedback -- positive or negative criticism, or just "Why did you do this?" or "Why not do that!" ... Yes, that's fine. The results...
Mark Hurd
mhurd@...
Aug 13, 2004 2:24 am
68
... to ... 20deductions.html ... 20deductions.proof ... proved to ... correspond to ... you ... two ... unity ... based ... axioms -- ... course. ... of ... at...
Here is a challenge for more ADVANCED users of DC Proof. Below is the first installment of a series proofs to ultimately construct the real numbers starting...
Effective immediately Updates includes 2 bug fixes: 1. Inserted line-break to make Induction statements more readable. 2. Fixed Print function bug that dropped...
Hi, If you have the latest release of DC Proof dated 2004-08-16 and can spare a couple of minutes, please run a quick test of the Print function (on the File...
Effective immediately Update includes: New and improved Print function that should work well on most printers. Please let me know if you have any problems. ...
The DC Proof 1.0 download contains a Samples directory of 42 sample proofs last modified on July 27, 2004 Check the date stamp on your Samples directory. If it...
The Samples directory will now be overwritten when installing new versions of DC Proof. This change will effect all subsequent downloads of the program....
Effective immediately New release of DC Proof 1.0 includes: 1. Several minor corrections to Tutorial No changes to functionality. Download at DC Proof Online: ...
Effective immediately New release of DC Proof 1.0 includes: 1. Revisions to Example 1 in Tutorial that should help those not already familiar with logical...
For more advanced users, the following proof is the first step toward constructing the real numbers in DC Proof: http://www.dcproof.com/ConstructAddn.proof...
See inline... ... From Mark Hurd, http://www.dcproof.com/AddCommutative.proof http://www.dcproof.com/AddCommutative.html Thanks yet again, Mark! ... of ... at ...
From Mark Hurd, http://www.dcproof.com/AddCancellable.proof http://www.dcproof.com/AddCancellable.html Thanks again, Mark. To summarize this thread, we have...
Advancing toward our goal of constructing the real numbers in DC Proof, we have already constructed and established the essential properties of the ADD...
Effective immediately. New release of DC Proof 1.0 including: 1. Fixed bug in Existential Generalization (E Gen) Rule that, in some cases, failed to detect if...
On October 19, 2004, Mark Hurd wrote: Here's ConstructMultiply1 complete (except for some comments) and MultiplyUnique (with no comments). Regards, Mark Hurd,...
Effective immediately. New release of DC Proof 1.0 (dated 2004-11-06) including: 1. Fixed bug that caused overflow condition when opening very long proofs....
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
