Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Replies: 49   Last Post: Jan 13, 2012 2:37 PM

 Messages: [ Previous | Next ]
 Wayne Bishop Posts: 5,465 Registered: 12/6/04
Posted: Dec 18, 2011 6:46 PM

At 08:26 PM 12/17/2011, Dan Christensen wrote:

>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.
>

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?

Wayne

Date Subject Author
12/11/11 kirby urner
12/12/11 Dan Christensen
12/12/11 kirby urner
12/12/11 Dan Christensen
12/13/11 kirby urner
12/13/11 Dan Christensen
12/13/11 kirby urner
12/13/11 Dan Christensen
12/13/11 kirby urner
12/13/11 Joe Niederberger
12/13/11 Dan Christensen
12/13/11 kirby urner
12/13/11 Dan Christensen
12/15/11 Joe Niederberger
12/15/11 kirby urner
12/15/11 Joe Niederberger
12/15/11 kirby urner
12/15/11 Joe Niederberger
12/15/11 kirby urner
12/15/11 Joe Niederberger
12/15/11 kirby urner
12/15/11 Joe Niederberger
12/15/11 kirby urner
12/16/11 Joe Niederberger
12/16/11 kirby urner
12/16/11 Dan Christensen
12/16/11 Joe Niederberger
12/17/11 Joe Niederberger
12/17/11 kirby urner
12/17/11 Dan Christensen
12/18/11 Wayne Bishop
12/18/11 Joe Niederberger
12/18/11 kirby urner
12/23/11 Dan Christensen
12/23/11 Wayne Bishop
12/24/11 Louis Talman
12/23/11 Joe Niederberger
12/23/11 kirby urner
12/23/11 Wayne Bishop
12/24/11 Joe Niederberger
12/24/11 Wayne Bishop
12/24/11 Joe Niederberger
12/24/11 kirby urner
12/24/11 Joe Niederberger
12/24/11 Wayne Bishop
12/24/11 Dan Christensen
12/25/11 Dan Christensen
12/25/11 Dan Christensen
1/13/12 Joe Niederberger
1/13/12 kirby urner