Raymond Smullyan
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 |
Raymond Smullyan, född 25 maj 1919, död 6 februari 2017[1], var en amerikansk matematiker och logiker.
Logiska Pussel[redigera | redigera wikitext]
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 | redigera wikitext]
- 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 | redigera wikitext]
- ^ 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