Raymond Smullyan
amerikansk matematiker och logiker
Raymond Smullyan, född 25 maj 1919, död 6 februari 2017[1], var en amerikansk matematiker och logiker.
| Raymond Smullyan | |
 | |
| Född | Raymond Merrill Smullyan 25 maj 1919 Far Rockaway, New York |
|---|---|
| Död | 6 februari 2017 (97 år) |
| Nationalitet | Amerikan |
| Yrke/uppdrag | Matematiker, Logiker |
Logiska Pussel redigera
Smullyan var författare till många logiska pussel, bland annat "Knights and Knaves". Han bidrog även till "The Hardest Logical Puzzle Ever". 1996 publicerades det en artikel av den amerikanske logikern George Boolos med titeln "The Hardest Logical Puzzle Ever" i Harvard Review of Philosophy .[2] Grunden till Pusslet är utformat av Smullyan, och enligt Boolos fanns det inga andra utmanare till titeln "The Hardest Logical Puzzle Ever".[3]
Bibliografi (urval) redigera
- 2013 The Godelian Puzzle Book. Dover Publications Inc.
- 2012 Alice in Puzzle-Land Dover Publications Inc.
- 1995 First-order Logic Dover Publications Inc.
- 1986 This Book Needs No Title. Touchstone.
- 1961 Theory of Formal Systems. Princeton University Press.
Referenser redigera
- ^ Osborne, Hannah (10 februari 2017). ”Mathematician and puzzle-maker Raymond Smullyan dies at 97” (på engelska). International Business Times UK. http://www.ibtimes.co.uk/mathematician-puzzle-maker-raymond-smullyan-dead-97-1605912. Läst 11 februari 2017.
- ^ George Boolos, "Logic, Logic, and Logic" Harvard University Press, s.428
- ^ George Boolos, "Logic, Logic, and Logic" Harvard University Press, s.406