[om] critique of the notion of phrasebook

[Richard Fateman]

You might find the (now, 30 years old) discussion of 
"types are not sets" useful.  See
http://citeseer.nj.nec.com/context/350359/0
I've not looked at the alternatives you propose
yet.
RJF


Andrew Solomon wrote:
> 
> Dear All,
> 
> I've written a short essay discussing problems with and alternatives
> to the notion of phrasebook.
> 
> http://www.illywhacker.net/papers/phrasebook.html
> 
> I would like to get your reactions.
> 
> Thanks,
> 
> Andrew
> --
> om at openmath.org  -  general discussion on OpenMath
> Post public announcements to om-announce at openmath.org
> Automatic list maintenance software at majordomo at openmath.org
> Mail om-owner at openmath.org for assistance with any problems
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems