Effective May 6, 2004 11:15 PM New Beta Release of DC Proof 1.0 including 3 minor bug fixes: 1. Reflex Rule - did not scan active conclusions for occurrences...
Effective May 16, 2004 1:10 AM EST New beta release of DC Proof 1.0 including: 1. Enhanced error trapping Download at DC Proof Online at http://www.dcproof.com...
Effective May 17, 2004 12:15 AM EST New beta release of DC Proof 1.0 including: 1. Fixed bug in the setting of Insert Mode check box on Edit Menu -- did not...
Effective May 18, 2004 12:10 AM EST New beta release of DC Proof 1.0 including: 1. Fixed bug to disallow opening of non-existent files. 2. Fixed bug to blank...
Hello, though dcproof is intended to be used by beginners, this is still difficult (imho). Even if I can write a proof in "normal" language, I have some...
Hi Thomas, I am currently working on a more detailed introductory course to logic and proof. It will replace the very brief tutorial now included with the...
To extend the computer science analogy a bit, it may be helpful for the beginner to see informal proofs as the programming equivalent of pseudo-code, an...
Hello, what logical rules are behind the implies<=>and /or rules? A difficulty with these is that they produce different results depending on the order of ...
... difficulty with ... order of ... resp. ... From the User Reference Guide, we have: The IMPLIES <--> OR Rule This rule is used to convert expressions of the...
Hello Dan, well, I went through the tutorial and the user manual. -- Maybe this is a matter of personal taste, but when I worked through the examples I was at ...
Thanks for the excellent suggestion, Thomas! If other readers have suggestions -- especially regarding the User Manual and Tutorial -- I would appreciate...
Effective: May 25, 2004 11:55 AM EST New beta release of DC Proof 1.0 including: 1. Added hourglass (waiting) cursor for saving proof files. 2. Added warning...
[Received offlist today -- Dan] Has anyone come across how to use DC proof to verify program correctness using Predicate Transformers? I am not looking for a ...
That's a use I would find interesting myself. In that regard, I'd secretly wish for subsitution to be expressed with x := t or x <- t or something syntactic,...
Effective: July 8, 2004 5:50 PM EST New Release of DC Proof 1.0 Includes: 1. Revised and expanded Tutorial 2. New Samples subdirectory with more sample proofs...
Effective Immediately New Release of DC Proof 1.0 Includes: 1. Revised Introduction to Tutorial (Getting Started) 2. Minor changes to Example 1 in Tutorial. No...
... 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...
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.
