axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Foundations


From: Eugene Surowitz
Subject: Foundations
Date: Sat, 20 Jun 2020 14:02:16 -0400
User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:68.0) Gecko/20100101 Thunderbird/68.8.1

A long time ago there was some dicussion of creating a "foundation" for AXIOM;
this was along about 2005.

I would like to resume that discussion in the context of using AXIOM
as a possible sub-part of a proposal originally mentioned in an
AGI/BICA draft paper.

Gene


reply via email to

[Prev in Thread] Current Thread [Next in Thread]