FOM: basis vs signature; unity of human knowledge; algebra vs f.o.m.

[Vaughan Pratt]

[Said I wouldn't do this again, sorry, sorry, ...]

From: Stephen G Simpson <simpson at math.psu.edu>
>Boolean algebras have a specific signature.  Do
>you agree?  The signature of Boolean algebras is {^,v,~}.  Do you
>agree?  The signature of Boolean algebras is finite.  Do you agree?

No, sometimes, and sometimes.

Vaughan Pratt