Re: SUO: SUO Re: Proposed SUO Content Outline
>
>The problem is not writing the axioms --
>the problem is drawing the consequences.
>
>Jon Awbrey
They are *both* very hard problems. Drawing the consequences is
traditionally thought of as the problem of theorem-proving, and there
is a lot known about it (and how hard it indeed is). But just
writing the axioms is also a very hard problem, as some of the
greatest minds of the last century have found; and this, which Jon is
wrong to dismiss quite so casually, is the main problem which the SUO
has to address.
Pat
---------------------------------------------------------------------
IHMC (850)434 8903 home
40 South Alcaniz St. (850)202 4416 office
Pensacola, FL 32501 (850)202 4440 fax
phayes@ai.uwf.edu
http://www.coginst.uwf.edu/~phayes