SUO: SUO Re: Proposed SUO Content Outline
Adam Pease,
>
> John,
>
> At 01:18 PM 2/24/2001 -0400, John F. Sowa wrote:
>
> > Dear Matthew and Ian,
>
> [snip]
>
> > Even the issue of writing definitions and axioms for them
> > is not a big problem. There are plenty of axiomatizations
> > for all of them that can be taken out of the literature of
> > math, logic, and physics, dusted off, and translated into
> > KIF, CGs, and many other notations.
>
> Any pointers to recommended axiomatizations would be very helpful.
>
> Adam
>
> -----------------
> Adam Pease
> Teknowledge
> (650) 424-0500 x571
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Adam,
Somebody mentioned the Schaum's Outline for Logic a while back.
You might try looking into the same series for Group Theory,
which I remember as being fairly decent, for an example of
the sort of wealth of structure that can come out of three
simple axioms, the likes of which has taken ten generations
of mathematicians just to begin to scratch the surface of.
The problem is not writing the axioms --
the problem is drawing the consequences.
Jon Awbrey
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤