Raymond Smullyan

Från Wikipedia
Hoppa till: navigering, sök
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]

  1. ^ 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. 
  2. ^ George Boolos, "Logic, Logic, and Logic" Harvard University Press, s.428
  3. ^ George Boolos, "Logic, Logic, and Logic" Harvard University Press, s.406