Re: set theory
Victor Yodaiken (yodaiken@sphinx.nmt.edu)
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.