-
Raymond Merrill Smullyan (/ˈsmʌliən/; May 25, 1919 –
February 6, 2017) was an
American mathematician, magician,
concert pianist, logician, Taoist, and...
- is drinking." It was po****rised by the
mathematical logician Raymond Smullyan, who
called it the "drinking principle" in his 1978 book What Is the Name...
- No Title: A
Portrait of
Raymond Smullyan, a
portrait of the logician,
mathematician and
concert pianist Raymond Smullyan).[citation needed] In 2000, Ruspoli...
-
questions truthfully, and
others only falsely. The name was
coined by
Raymond Smullyan in his 1978 work What Is the Name of This Book? The
puzzles are set on...
-
mathematician and
logician Raymond Smullyan. It
contains many
nontrivial recreational puzzles of the sort for
which Smullyan is well known. It is also a gentle...
-
Coercive logic is a
concept po****rised by
mathematician Raymond Smullyan, by
which a
person who has
agreed to
answer a
question truthfully is
forced to...
-
Philosophy edition).
Smullyan, R. M. (1992). Gödel's
Incompleteness Theorems. New York, Oxford:
Oxford University Press, ch. V.
Smullyan, R. M. (1992). Gödel's...
- SKI
combinator calculus Lambda calculus To Mock a
Mockingbird Raymond Smullyan (1994)
Diagonalization and Self-Reference.
Oxford Univ. Press: 344, 3.6(d)...
-
Nicholas Rescher,
Hartley Rogers, Jr., J.
Barkley Rosser, Dana Scott,
Raymond Smullyan, and Alan Turing. In
addition to
those he
directly supervised,
Church also...
- he
speaks truly; if tails, falsely.
Boolos credits the
logician Raymond Smullyan as the
originator of the
puzzle and John
McCarthy with
adding the difficulty...
