The Lehman College math / comp. sci. webpage lists this e-address: rsmullyan@verizon.net <mailto:rsmullyan@verizon.net>. (But this person is listed as "Raymond", not "Ray".) —Dan
On Jan 19, 2016, at 7:31 AM, James Propp <jamespropp@gmail.com> wrote:
Does anyone on the list have contact info for Smullyan?
I want to send him my paradoxical pair of sentences "If the premise of this implication does not contain the letter p, then two is not even" and its formal contrapositive "If two is even, then the premise of this implication contains the letter p" (the first is true whereas the second is false); more importantly, I want to find out if he knows of other, better sentences of this kind. (I haven't read all his books; it's possible that he had this idea years before I did, and implemented it in a better way.)
I should probably send my question to Hofstadter too, but that seems less urgent. (The last time I saw Smullyan, he did not look that well.)