>Do your "garden variety mathematical theories" include things like >number theory, abstract algebra and geometry? While designed as >primarily a learning aid, I see no reason that DC Proof could not be >used to generate most if not all of current mathematical theory -- >that is, theories based on some underlying set, e.g. the set of >natural numbers in number theory, or the set of points in a plane for geometry. > >Download my DC Proof 2.0 freeware at http://www.dcproof.com
I took a chance on infecting my computer and downloaded your program but I must be missing something. I couldn't see how to make it prove anything at all or even to verify a proof in, say, plane geometry. Suppose, for example, I have a proof that, in neutral (a.k.a. absolute) geometry (so we don't have to worry about consequences of unique parallels), any triangle can be circumscribed. (The usual "Euclidean" tools of compass and straightedge are allowed in neutral geometry). What do I do to verify the accuracy of the proof?