Editing Raymond Smullyan

{{short description|American mathematician and logician}}
{{use dmy dates|date=April 2025}}
{{Infobox scientist
| image             = Smullyan-01.png
| caption           = Raymond M. Smullyan in 2008.
| birth_name        = Raymond Merrill Smullyan
| birth_date        = {{birth date|1919|05|25}}
| birth_place       = [[Far Rockaway, Queens|Far Rockaway]], New York, U.S.
| death_date        = {{death date and age|2017|2|6|1919|05|25}}
| death_place       = [[Hudson, New York]], U.S.
| nationality       = American
| alma_mater        = [[University of Chicago]]<br/>[[Princeton University]] (PhD)
| thesis_title      = Theory of Formal Systems{{sfn|Smullyan|1961}}
| thesis_year       = 1959
| doctoral_advisor  = [[Alonzo Church]]
| doctoral_students = 
| known_for         = 
| influences        = 
| influenced        = 
| signature         = 
| website           = 
| spouse            = Blanche
| children          = 
| imagesize         = 
| field             = [[Logic]]
| work_institution  = [[Dartmouth College]], [[Princeton University]], [[Yeshiva University]], [[Lehman College]], [[City University of New York]], [[Indiana University]]
| partner           = 
}}

'''Raymond Merrill Smullyan''' ({{IPAc-en|ˈ|s|m|ʌ|l|i|ə|n}}; May 25, 1919 – February 6, 2017)<ref name=st-andrews-biography/><ref>{{Cite news|url=http://www.ibtimes.co.uk/mathematician-puzzle-maker-raymond-smullyan-dead-97-1605912|title=Mathematician and puzzle-maker Raymond Smullyan dead at 97|last=Osborne|first=Hannah|date=2017-02-10|newspaper=International Business Times UK|access-date=2017-02-10}}</ref><ref>{{Cite news|url=https://www.nytimes.com/2017/02/11/us/raymond-smullyan-dead-puzzle-creator.html|title=Raymond Smullyan, Puzzle-Creating Logician, Dies at 97|last=Sandomir|first=Richard|date=2017-02-11|newspaper=New York Times|access-date=2017-02-13}}</ref> was an American mathematician, magician, concert pianist, [[logician]], [[Taoism|Taoist]], and philosopher.

Born in [[Far Rockaway, Queens|Far Rockaway]], New York, Smullyan's first career choice was in stage magic. He earned a [[BSc]] from the [[University of Chicago]] in 1955 and his [[PhD]] from [[Princeton University]] in 1959. Smullyan is one of many logicians to have studied with [[Alonzo Church]].<ref name=st-andrews-biography>{{cite web
|url=http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Smullyan.html
|title=Smullyan biography
|publisher=School of Mathematical and Computational Sciences, [[University of St Andrews]]
|author=J J O'Connor and E F Robertson
|date=April 2002
|access-date=5 October 2010}}</ref>

== Life ==
Smullyan was born on May 25, 1919, in Far Rockaway, Queens, New York, to an [[Ashkenazi Jews|Ashkenazi Jewish]] family. His father was Isidore Smullyan, a Russian-born businessman who emigrated to Belgium when young and graduated from the [[University of Antwerp]], his native language being French. His mother was Rosina Smullyan (née Freeman), a painter and actress born and raised in London.{{sfn|Smullyan|2015a}} Both parents were musical, his father playing the violin and his mother playing the piano.{{sfn|Smullyan|2002}} Smullyan was the youngest of three children. His eldest brother, Emile Benoit Smullyan, later became an economist under the name of Emile Benoit. His sister was Gladys Smullyan, later Gladys Gwynn.{{sfn|Smullyan|2015a}} His cousin was the philosopher Arthur Francis Smullyan (1912–1998).<ref>{{cite web |title=Oxford Reference |url=https://www.oxfordreference.com/view/10.1093/oi/authority.20110803100514170 |website=Oxford reference |publisher=Oxford University Press |access-date=12 March 2022}}</ref> In Far Rockaway he was a grade school classmate of [[Richard Feynman]].{{sfn|Smullyan|2002}}

Smullyan showed musical talent from a young age, playing both violin and piano. He studied with pianist [[Grace Hofheimer]] in New York.<ref>{{Cite web |title=Remembering Raymond Smullyan |url=https://www.doverpublications.com/raymondsmullyan/ |access-date=2022-10-05 |website=Dover Math and Science}}</ref> He had perfect pitch.{{sfn|Smullyan|2002}} He started his interest in logic at the age of 5.<ref>{{Cite web|url=https://gonitsora.com/obituary-raymond-smullyan/|title = Remembering Raymond: An Obituary of Raymond Smullyan|date = 20 February 2017}}</ref> In 1931 he won a gold medal in the piano competition of the New York Music Week Association when he was aged 12 (the previous year he had won the silver medal).{{sfn|Smullyan|2002}} After graduating from grade school, the [[Great Depression|Depression]] forced his family to move to [[Manhattan]], and he attended [[Theodore Roosevelt High School (New York City)|Theodore Roosevelt High School]] in [[The Bronx]]. He played violin in the school orchestra but devoted more time to playing the piano. At high school he fell in love with mathematics when he took a class in geometry. Apart from his classes in geometry, physics, and chemistry, however, he was dissatisfied with his high school, and dropped out. Smullyan studied mathematics on his own, including analytic geometry, calculus, and modern higher algebra – particularly [[group theory]] and [[Galois theory]]. He sat in on a course taught by [[Ernest Nagel]] at Columbia University that was being taken by his cousin, Arthur Smullyan, and independently discovered [[Boolean rings]]. He also spent a year at the [[Cambridge Rindge and Latin School]].{{sfn|Smullyan|2002}} Smullyan did not graduate with a high school diploma, but he took the College Board exams to get into college.{{sfn|Smullyan|2002}} He studied mathematics and music at [[Pacific University]] in Oregon for one semester, and at [[Reed College]] for less than a semester, before following the pianist {{ill|Bernhard Abramowitsch|de}} to San Francisco.{{sfn|Smullyan|2002}} Smullyan audited classes at the [[University of California, Berkeley]], before returning to New York, where he continued his independent study of modern abstract algebra. At this time he composed a number of chess problems which were published many years later; he also learned magic.

At the age of 24, Smullyan enrolled at the [[University of Wisconsin-Madison]] for three semesters, because he wanted to study modern algebra with a professor whose book he had read.{{sfn|Smullyan|2015a}} He later transferred to the [[University of Chicago]] and majored in mathematics. After a break in which he worked as a magician in New York and met his first wife, he returned to the University of Chicago, where he also worked as a magician at night and taught piano on the faculty at [[Roosevelt University]]. While at Chicago he took three courses with the philosopher [[Rudolf Carnap]], for which he wrote three term papers. Carnap recommended that he send the first term paper to [[Willard Van Orman Quine]], which he did. Quine replied that he should tinker with his idea about what makes quantification theory tick. Of the other two term papers, one, entitled "Languages in Which Self Reference is Possible" (which Carnap showed to [[Kurt Gödel]]), was later published in 1957.{{sfn|Smullyan|1957}} The other was later published in his 1961 book ''Theory of Formal Systems''. While still a student at the University of Chicago, on the basis of a recommendation from Carnap, he was hired by [[John G. Kemeny]], the chair of the mathematics department at [[Dartmouth College]]. Smullyan taught at Dartmouth for two years. During that time he separated from his first wife, from whom he later divorced. He also used to visit his friends Gloria and [[Marvin Minsky]] (Gloria Minsky was his cousin) in Cambridge, Massachusetts.{{sfn|Smullyan|2002}} The University of Chicago, after a battle between the faculty and administration, agreed to award Smullyan a bachelor of science degree in mathematics in 1955 based partly on courses he had taught at Dartmouth (although he had not taken them at Chicago). Both Carnap and Kemeny helped him to get accepted to the graduate program in mathematics at [[Princeton University]].{{sfn|Smullyan|2015a}} He received a [[Doctor of Philosophy|PhD]] in mathematics from Princeton University in 1959. He completed his doctoral dissertation, titled "Theory of formal systems", under the supervision of [[Alonzo Church]], which was published in 1961.{{sfn|Smullyan|1961}} While a graduate student at Princeton he met his second wife, Blanche, a pianist and teacher, born in Belgium, to whom he was married for 48 years until she died in 2006.

While a PhD student, Smullyan's term paper for Carnap, "Languages in which Self-Reference is Possible", was published in 1957 in the ''Journal of Symbolic Logic''.{{sfn|Smullyan|1957}} showing that Gödelian incompleteness held for [[formal system]]s considerably more elementary than that of [[Kurt Gödel]]'s 1931 landmark paper. The contemporary understanding of [[Gödel's incompleteness theorems|Gödel's theorem]] dates from this paper. Smullyan later made a compelling case that much of the fascination with Gödel's theorem should be directed at [[Tarski's undefinability theorem|Tarski's theorem]], which is much easier to prove and equally disturbing philosophically.{{sfn|Smullyan|2001}}

After getting his PhD from Princeton, he taught at Princeton for two years. He subsequently taught at [[New York University]], at the [[State University of New York at New Paltz]], at [[Smith College]], and at the Belfer Graduate School of Science at [[Yeshiva University]], before becoming professor of mathematics and computer science at [[Lehman College]] in the Bronx, where he taught undergraduate students from 1968 to 1984.{{sfn|Smullyan|2015a}} He was also a professor of philosophy at the [[Graduate Center, CUNY|CUNY Graduate Center]] from 1976 to 1984, where he taught graduate students.{{sfn|Smullyan|2015a}} He was subsequently a professor of philosophy at [[Indiana University]], where he taught both undergraduate and graduate students. He was also an amateur astronomer, using a six-inch reflecting telescope for which he ground the mirror.<ref name=st-andrews-biography /> Fellow mathematician [[Martin Gardner]] was a close friend.

Smullyan wrote many books about [[recreational mathematics]] and recreational logic. Most notably, one is titled ''What Is the Name of This Book?''.{{sfn|Smullyan|1978}} His ''A Beginner's Further Guide to Mathematical Logic'', published in 2017, was his final book.{{sfn|Smullyan|2017}}

==Logic problems==
Many of Smullyan's logic problems are extensions of classic puzzles. [[Knights and Knaves]] involves knights (who always tell the truth) and knaves (who always lie). This is based on a story of two doors and two guards, one who lies and one who tells the truth. One door leads to heaven and one to hell, and the puzzle is to find out which door leads to heaven by asking one of the guards a question. One way to do this is to ask, "Which door would the other guard say leads to hell?". Unfortunately, this fails, as the liar can answer, "He would say the door to paradise leads to hell," and the truth-teller would answer, "He would say the door to paradise leads to hell." You must point at one of the doors as well as simply stating a question. For example, as philosopher Richard Turnbull has explained, you could point at either door and ask, "Will the other guard say this is the door to paradise?" The truth-teller will say "No, " if it is in fact the door to paradise, as will the liar. So you pick that door. The truth-teller will answer "Yes," if it is the door to Hell, as will the liar, so you pick the other door. Note also that we are not told anything about the goals of either guard: for all we know, the liar may want to help us and the truth-teller not help us,  or both are indifferent, so there's no reason to think either one will phrase answers such as to provide us with the most optimally available kind of comprehension. This is behind the crucial role of actually pointing at a door directly while asking the question.   This idea was famously used in the 1986 film ''[[Labyrinth (1986 film)|Labyrinth]]''.

In more complex puzzles, he introduces characters who may lie or tell the truth (referred to as "normals"), and furthermore instead of answering "yes" or "no", use words which mean "yes" or "no", but the reader does not know which word means which. The puzzle known as "[[the hardest logic puzzle ever]]" is based on these characters and themes. In his Transylvania puzzles, half of the inhabitants are insane, and believe only false things, whereas the other half are sane and believe only true things. In addition, humans always tell the truth, and [[vampire]]s always lie. For example, an insane vampire will believe a false thing (2 + 2 is not 4) but will then lie about it, and say that it is false. A sane vampire knows 2 + 2 is 4, but will lie and say it is not. And ''[[mutatis mutandis]]'' for humans. Thus everything said by a sane human or an insane vampire is true, while everything said by an insane human or a sane vampire is false.

{{anchor|Forever Undecided}}
His book ''Forever Undecided'' popularizes [[Kurt Gödel|Gödel's]] [[incompleteness theorem]]s by phrasing them in terms of reasoners and their beliefs, rather than formal systems and what can be proved in them. For example, if a native of a knight/knave island says to a sufficiently self-aware reasoner, "You will never believe that I am a knight", the reasoner cannot believe either that the native is a knight or that he is a knave without becoming inconsistent (i.e., holding two contradictory beliefs). The equivalent theorem is that for any formal system S, there exists a mathematical statement that can be interpreted as "This statement is not provable in formal system S". If the system S is consistent, neither the statement nor its opposite will be provable in it. See also [[Doxastic logic]].

Inspector Craig is a frequent character in Smullyan's "puzzle-novellas."  He is generally called into a scene of a crime that has a solution that is mathematical in nature.  Then, through a series of increasingly harder challenges, he (and the reader) begin to understand the principles in question. Finally the novella culminates in Inspector Craig (and the reader) solving the crime, utilizing the mathematical and logical principles learned. Inspector Craig generally does not learn the formal theory in question, and Smullyan usually reserves a few chapters after the Inspector Craig adventure to illuminate the analogy for the reader. Inspector Craig gets his name from [[William Craig (philosopher)|William Craig]].{{citation needed|date=January 2019}}

His book ''[[To Mock a Mockingbird]]'' (1985){{sfn|Smullyan|1985}} is a recreational introduction to the subject of [[combinatory logic]].

Apart from writing about and teaching logic, Smullyan released a recording of his favorite baroque keyboard and classical piano pieces by composers such as [[Johann Sebastian Bach|Bach]], [[Domenico Scarlatti|Scarlatti]], and [[Franz Schubert|Schubert]]. Some recordings are available on the Piano Society website, along with the video "Rambles, Reflections, Music and Readings". He has also written two autobiographical works, one entitled ''Some Interesting Memories: A Paradoxical Life''{{sfn|Smullyan|2002}} and a later book entitled ''Reflections: The Magic, Music and Mathematics of Raymond Smullyan''.{{sfn|Smullyan|2015a}}

In 2001, documentary filmmaker [[Tao Ruspoli]] made a film about Smullyan called "This Film Needs No Title: A Portrait of Raymond Smullyan."<ref>{{cite web |title=This Film Needs No Title: A Portrait of Raymond Smullyan |url=https://www.youtube.com/watch?v=wcygp0R9Jp4 |website=YouTube | date=9 October 2020 |access-date=5 March 2022}}</ref>

==Philosophy==
{{Expand section|date=December 2009}}
Smullyan wrote several books about [[Taoism|Taoist philosophy]], a philosophy he believed neatly solved most or all traditional [[philosophical problem]]s as well as integrating [[mathematics]], [[logic]], and [[philosophy]] into a cohesive whole. One of Smullyan's discussions of Taoist philosophy centers on the question of [[free will]] in an imagined conversation between a mortal human and God.<ref>{{cite web|last1=Policar|first1=David|title=Is God a Taoist?|url=https://www.mit.edu/people/dpolicar/writing/prose/text/godTaoist.html|website=www.mit.edu|access-date=8 January 2017}}</ref>

== Bibliography ==
{{Expand list|date=May 2022}}

=== Books ===
*{{cite thesis |last=Smullyan |first=Raymond Merrill |author-mask=1 |title=Theory of Formal Systems |year=1961 |orig-year=1959| url=https://catalog.princeton.edu/catalog/2968286|isbn=069108047X}}
*{{Cite book |last=Smullyan |first=Raymond M.|author-mask=1 |title=First-Order Logic|year=1968|edition=1st edition, Second Printing 1971 |publisher=[[Springer Science+Business Media|Springer-Verlag]]|pages=160|location=New York Heidelberg Berlin|doi=10.1007/978-3-642-86718-7|isbn= 978-3-642-86718-7|series= Ergebnisse der Mathematik und ihrer Grenzgebiete|volume=43}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=The Tao is Silent |year=1977 |isbn=0060674695}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=What Is the Name of This Book? The Riddle of Dracula and Other Logical Puzzles |year=1978 |isbn=0139550623|quote=knights, knaves, and other logic puzzles}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=The Chess Mysteries of Sherlock Holmes |year=1979 |isbn=0394737571|quote=introducing [[retrograde analysis]] in the game of [[chess]]}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=[[This Book Needs No Title]] |year=1980 |isbn=0671628313}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=The Chess Mysteries of the Arabian Knights |year=1981 |isbn=0192861247 |quote= second book on retrograde analysis chess problems}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=Alice in Puzzle-Land |year=1982 |isbn=0688007481}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=The Lady or the Tiger? |year=1982a |isbn=0812921178 |quote= ladies, tigers, and more logic puzzles}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=5000 B.C. and Other Philosophical Fantasies |year=1983 |isbn=0312295162}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=[[To Mock a Mockingbird|To Mock a Mockingbird: And Other Logic Puzzles Including An Amazing Adventure in Combinatory Logic]] |year=1985 |isbn=0192801422|quote= puzzles based on combinatory logic}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=Forever Undecided |year=1987 |isbn=0192801414|quote=puzzles based on undecidability in formal systems}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=Gödel's Incompleteness Theorems |year=1992 |location=New York |publisher=[[Oxford University Press]] | pages=XIII, 139|isbn=0195046722}}, in {{cite book |last=Smullyan |first=Raymond M. |author-mask=0 |chapter=Gödel's Incompleteness Theorems |year=2001|orig-year=1992 |title=The Blackwell Guide to Philosophical Logic|publisher=Blackwell |editor-last=Goble|editor-first=Lou|isbn=0-631-20693-0}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=Satan, Cantor and Infinity |year=1992a |isbn=0679406883}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=Recursion Theory for Metamathematics |year=1993 |isbn=019508232X}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=Diagonalization and Self-Reference |year=1994 |location= Oxford|publisher=[[Oxford_University_Press#Clarendon_Press|Clarendon Press]]|pages=XV, 396 |isbn=0198534507}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=Set Theory and the Continuum Problem |year=1996 |isbn=0198523955}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=The Riddle of Scheherazade |year=1997 |isbn=0156006065}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=Some Interesting Memories: A Paradoxical Life |year=2002 |publisher=Thinkers' Press |location=Davenport, IA |isbn=1888710101}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=Who Knows?: A Study of Religious Consciousness |year=2003 |isbn=0253215749}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=Logical Labyrinths |year=2009|quote={{ISBN|9781568814438|9781439865378|9780429064937}}}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=Rambles Through My Library |year=2009a |isbn=9780963923165 |publisher=[[Praxis International]]}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=King Arthur in Search of his Dog |year=2010 |isbn=9780486474359}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=The Godelian Puzzle Book: Puzzles, Paradoxes and Proofs |year=2013 |isbn=9780486497051}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=A Beginner's Guide to Mathematical Logic |year=2014 |isbn=0486492370}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=The Magic Garden of George B and Other Logic Puzzles |year=2015 |quote={{ISBN|9789814675055|9789814675062|9789814678551|9788876990663}}}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=Reflections: The Magic, Music and Mathematics of Raymond Smullyan |year=2015a |doi=10.1142/9451 |publisher=[[World Scientific|World Scientific Publishing]]|location=Hackensack, New Jersey|isbn=978-981-4644-58-7}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=A Mixed Bag: Jokes, Riddles, Puzzles and Memorabilia |year=2016 |isbn=978-098-6144-57-8 |url=https://www.saggingmeniscus.com/catalog/a-mixed-bag/}}
*{{cite book |last=Smullyan |first=Raymond M. |author-mask=1 |title=A Beginner's Further Guide to Mathematical Logic |year=2017|publisher=[[World Scientific|World Scientific Publishing]]|location=New Jersey, London, Singapore, Beijing, Shanghai, Hong Kong, Taipei, Chennai, Tokyo|isbn=978-981-4730-99-0}}

=== Articles, columns and miscellanea ===
*{{cite journal |last=Smullyan |first=Raymond M. |author-mask=1 |date=March 1957 |title=Languages in Which Self Reference is Possible|journal=[[Journal of Symbolic Logic]] |volume=22 |issue=1 |pages=55-67|doi=10.2307/2964058|jstor=2964058}}
*{{cite web |last=Smullyan |first=Raymond M. |author-mask=1 | title=Is God a Taoist? |url=https://www.mit.edu/people/dpolicar/writing/prose/text/godTaoist.html |date=1977}}
*{{cite web |last=Smullyan |first=Raymond M. |author-mask=1 | title=Planet Without Laughter |url=http://www-cs-faculty.stanford.edu/~knuth/smullyan.html |date=1980a}}
*{{cite web |last=Smullyan |first=Raymond M. |author-mask=1 | title=An Epistemological Nightmare |url=https://www.mit.edu/people/dpolicar/writing/prose/text/epistemologicalNightmare.html |date=1982b}}
*{{cite journal |last=Smullyan |first=Raymond M. |author-mask=1 |date=February 1996 |title=The strange case of McSnurd |department=Brain Bogglers |journal=Discover |volume=17 |issue=2 |pages=90}}

==See also==
{{Portal|Biography|Philosophy}}
* [[Alice's Adventures in Wonderland]]
* [[Coercive logic]]
* [[Paradox]]
* [[The Lady, or the Tiger]]

==References==
{{Reflist}}

==External links==
{{Commons category}}
{{Wikiquote}}
* {{Official website|name=Raymond Smullyan}} The Raymond Smullyan Society
* {{cite web|url=https://mathshistory.st-andrews.ac.uk/Biographies/Smullyan/ |title=Raymond Merrill Smullyan|work = [[MacTutor History of Mathematics archive]]}}
* {{cite web|url=https://mathgenealogy.org/id.php?id=8027 |title=Raymond Merrill Smullyan|work = [[Mathematics Genealogy Project]]}}
* {{cite web|url=http://www.pianosociety.com/members/rsmullyan.3177/ |title=Raymond Merrill Smullyan|work = Piano Society}}

{{Authority control}}

{{DEFAULTSORT:Smullyan, Raymond}}
[[Category:1919 births]]
[[Category:2017 deaths]]
[[Category:20th-century American mathematicians]]
[[Category:20th-century American philosophers]]
[[Category:21st-century American mathematicians]]
[[Category:21st-century American philosophers]]
[[Category:American Taoists]]
[[Category:American chess writers]]
[[Category:American classical pianists]]
[[Category:American male classical pianists]]
[[Category:American male pianists]]
[[Category:American logicians]]
[[Category:American magicians]]
[[Category:American male non-fiction writers]]
[[Category:American people of Russian-Jewish descent]]
[[Category:Chess variant inventors]]
[[Category:Discover (magazine) people]]
[[Category:Indiana University faculty]]
[[Category:Lehman College faculty]]
[[Category:Mathematicians from New York (state)]]
[[Category:Mathematics popularizers]]
[[Category:People from Far Rockaway, Queens]]
[[Category:Princeton University alumni]]
[[Category:Puzzle designers]]
[[Category:Recreational mathematicians]]
[[Category:University of Chicago alumni]]
[[Category:Writers of Sherlock Holmes pastiches]]