Re: set theory

Victor Yodaiken (
Wed, 17 Aug 1994 23:33:39 -0600

On Aug 13, 9:33am, Robert S. Boyer wrote:
Subject: set theory
>John McCarthy writes:
> I suspect that set theory can serve as a universal language.
>While I believe that proposition is true in a technical sense, I think
>it is false in a more important logistical sense. I believe that a

I don't even know if it is true in a technical sense. Certainly one
can encode everything in set theory, but one can also do number
theory with roman numerals. The technical advantages of either project
are not obvious.