Foundations

Eugene Surowitz <[email protected]> Sat, 20 Jun 2020 14:02:16 -0400

Newsgroups	gmane.comp.mathematics.axiom.devel
Message-ID	<[email protected]>

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