Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

RE: SUO: Category Theory



Title: RE: SUO: Category Theory

John F. Sowa wrote
> Robert,
>
> I haven't read all of your papers, but I have read or skimmed enough
> of them to realize that you are doing some very important work,
> which I strongly urge you to continue.
>
>  > In the meantime I have started an FAQ located at
>  > http://suo.ieee.org/IFF/FAQ.html and linked off the SUO
>  > IFF main page http://suo.ieee.org/IFF/
>
> This is very good, and it should be very much appreciated by
> everybody who wants to know what is happening with the project.
>
> What you are doing is entirely appropriate for cutting-edge research,
> and I believe that you are on the right track.  However, a good
> standard is never based on cutting-edge research.  The purpose of
> a standard is to codify and systematize the best engineering
> practices.
>
> The most important task right now is to begin developing some
> engineering experience in applying the theory to real-world problems.
> That work would require an implementation that is sufficient to
> support the engineering efforts.
>
> Right now, the most important task is to begin the development
> of an implementation.  That first implementation will almost certainly
> be a prototype that is intended to be thrown away or totally rewritten
> before the standard is finished.  But without it, it is impossible
> to finish the standard.
>
> John Sowa


What requirments should a first implementation meet to be useful
as a learning prototype?  There are a tools that implement
first order logic and cellular knowledge chunks, and that might
be sufficient to demonstrate some simple parts of the IFF theories.

Rich