
Re: Brainstorming about STEM (was About Functions)
Posted:
Dec 17, 2011 11:26 PM


> I wasn't thinking of any truly exotic. Look up > "effectively generated theory"  that covers most > garden variety mathematical theories. I'll guess your > proof checker doesn't handle anything that's not. >
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
Dan

