Raymond Smullyan

Från Wikipedia
Hoppa till: navigering, sök
Raymond Smullyan
Född Raymond Merrill Smullyan
25 maj 1919 (95 år)
Far Rockaway, New York
Nationalitet Amerikan
Yrke/uppdrag Matematiker, Logiker

Raymond Smullyan, född 25 maj 1919, är en amerikansk matematiker och logiker.

Logiska Pussel[redigera | redigera wikitext]

Smullyan är 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 .[1] Grunden till Pusslet är utformat av Smullyan, och enligt Boolos fanns det inga andra utmanare till titeln "The Hardest Logical Puzzle Ever".[2]

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