Alexander Vodomerov
The question is: how can this "theorem" be formulated (and prooved) in mathematically precise way?
It seems to me that you can define a type-directed translation from the old denotations to the new ones. Also check out: Robert Cartwright and Matthias Felleisen. 1994. Extensible denotational language specifications. In Theoretical aspects of computer software: International symposium, ed. Masami Hagiya and John C. Mitchell, 244-272. Lecture Notes in Computer Science 789, Berlin: Springer-Verlag. http://www.ccs.neu.edu/scheme/pubs/tacs94-cf.dvi.gz http://www.ccs.neu.edu/scheme/pubs/tacs94-cf.ps.gz -- Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig I think that it is much more likely that the reports of flying saucers are the result of the known irrational characteristics of terrestrial intelligence rather than the unknown rational efforts of extraterrestrial intelligence. -Richard Feynman