Difference between revisions of "Raymond Smullyan"
GerdIsenberg (talk | contribs) (Created page with "'''Home * People * Raymond Smullyan''' FILE:Smullyan.jpg|border|right|thumb|link=http://www-history.mcs.st-and.ac.uk/PictDisplay/Smullyan.html| Raymond Sm...") |
GerdIsenberg (talk | contribs) |
||
(8 intermediate revisions by the same user not shown) | |||
Line 4: | Line 4: | ||
'''Raymond Merrill Smullyan''', (May 25, 1919 - February 6, 2017 <ref>[http://www.ibtimes.co.uk/mathematician-puzzle-maker-raymond-smullyan-dead-97-1605912 Mathematician and puzzle-maker Raymond Smullyan dead at 97] by [http://www.ibtimes.co.uk/reporters/hannah-osborne Hannah Osborne], [https://en.wikipedia.org/wiki/International_Business_Times International Business Times], February 10, 2017</ref>)<br/> | '''Raymond Merrill Smullyan''', (May 25, 1919 - February 6, 2017 <ref>[http://www.ibtimes.co.uk/mathematician-puzzle-maker-raymond-smullyan-dead-97-1605912 Mathematician and puzzle-maker Raymond Smullyan dead at 97] by [http://www.ibtimes.co.uk/reporters/hannah-osborne Hannah Osborne], [https://en.wikipedia.org/wiki/International_Business_Times International Business Times], February 10, 2017</ref>)<br/> | ||
− | was an American mathematician, logician, philosopher, [https://en.wikipedia.org/wiki/Magician magician], [https://en.wikipedia.org/wiki/Pianist pianist], and | + | was an American mathematician, logician, philosopher, [https://en.wikipedia.org/wiki/Magician magician], [https://en.wikipedia.org/wiki/Pianist pianist], and professor of Philosophy at [https://en.wikipedia.org/wiki/Indiana_University_Bloomington Indiana University Bloomington]. He held a Ph.D. in mathematics on the theory of [https://en.wikipedia.org/wiki/Formal_system formal systems] from [https://en.wikipedia.org/wiki/Princeton_University Princeton University] under advisor [[Mathematician#Church|Alonzo Church]] <ref>[http://genealogy.math.ndsu.nodak.edu/id.php?id=8027 The Mathematics Genealogy Project - Raymond Smullyan]</ref>. Smullyan was author of fourteen books and of numerous research articles on the topics of [https://en.wikipedia.org/wiki/Mathematical_logic mathematical logic], [https://en.wikipedia.org/wiki/First-order_logic first-order logic], [https://en.wikipedia.org/wiki/Set_theory set theory], theory of [https://en.wikipedia.org/wiki/Computable_function computable functions], [https://en.wikipedia.org/wiki/Recreational_mathematics recreational mathematics], [https://en.wikipedia.org/wiki/Mathematical_game mathematical games] and [https://en.wikipedia.org/wiki/Mathematical_puzzle puzzles], [[Retrograde Analysis|retrograde chess problems]], and [https://en.wikipedia.org/wiki/Eastern_philosophy Eastern philosophy]. He has been a contributor to [[Scientific American]] <ref>[http://www.indiana.edu/~phil/people/smullyan.shtml Raymond Smullyan | Department of Philosophy] | [https://en.wikipedia.org/wiki/Indiana_University_Bloomington Indiana University Bloomington]</ref>. |
=See also= | =See also= | ||
Line 23: | Line 23: | ||
* [[Raymond Smullyan]] ('''1981'''). ''[http://www.chesslund.com/detail.asp?id=2206&n=Smullyan-The-Chess-Mysteries-of-the-Arabian-Knights The Chess Mysteries of the Arabian Knights ]''. [https://en.wikipedia.org/wiki/Alfred_A._Knopf Knopf] <ref>[http://de.wikipedia.org/wiki/Schachkomposition#Retrospektive_.28Retroanalyse.29 Retrospektive (Retroanalyse)] from German Wikipedia, [[Raymond Smullyan]], [https://en.wikipedia.org/wiki/The_Guardian Manchester Guardian], 1957</ref> | * [[Raymond Smullyan]] ('''1981'''). ''[http://www.chesslund.com/detail.asp?id=2206&n=Smullyan-The-Chess-Mysteries-of-the-Arabian-Knights The Chess Mysteries of the Arabian Knights ]''. [https://en.wikipedia.org/wiki/Alfred_A._Knopf Knopf] <ref>[http://de.wikipedia.org/wiki/Schachkomposition#Retrospektive_.28Retroanalyse.29 Retrospektive (Retroanalyse)] from German Wikipedia, [[Raymond Smullyan]], [https://en.wikipedia.org/wiki/The_Guardian Manchester Guardian], 1957</ref> | ||
: <fentt border="double" style="font-size:24pt">8/8/8/1r1b4/B7/8/8/3k4</fentt> | : <fentt border="double" style="font-size:24pt">8/8/8/1r1b4/B7/8/8/3k4</fentt> | ||
− | : Where is the white king? | + | : Where is the white king? <ref>on c3, capturing a pawn from b3, which took on c3 [[En passant|en passant]] after 1... Bd5+ 2. c4</ref> |
* [[Raymond Smullyan]] ('''1982'''). ''The Lady or the Tiger? - ladies, tigers, and more logic puzzles''. [https://en.wikipedia.org/wiki/Random_House Random House] <ref>inspired by [https://en.wikipedia.org/wiki/Frank_R._Stockton Frank R. Stockton] ('''1882'''). ''[https://en.wikipedia.org/wiki/The_Lady,_or_the_Tiger%3F The Lady, or the Tiger?]'' [https://en.wikipedia.org/wiki/The_Century_Magazine The Century Magazine]</ref> <ref>[http://www.spiegel.de/spiegel/print/d-14345297.html Tiefes Wasser], [https://en.wikipedia.org/wiki/Der_Spiegel Der Spiegel] 32/1982 (German)</ref> | * [[Raymond Smullyan]] ('''1982'''). ''The Lady or the Tiger? - ladies, tigers, and more logic puzzles''. [https://en.wikipedia.org/wiki/Random_House Random House] <ref>inspired by [https://en.wikipedia.org/wiki/Frank_R._Stockton Frank R. Stockton] ('''1882'''). ''[https://en.wikipedia.org/wiki/The_Lady,_or_the_Tiger%3F The Lady, or the Tiger?]'' [https://en.wikipedia.org/wiki/The_Century_Magazine The Century Magazine]</ref> <ref>[http://www.spiegel.de/spiegel/print/d-14345297.html Tiefes Wasser], [https://en.wikipedia.org/wiki/Der_Spiegel Der Spiegel] 32/1982 (German)</ref> | ||
* [[Raymond Smullyan]] ('''1982'''). ''[http://www.mit.edu/people/dpolicar/writing/prose/text/epistemologicalNightmare.html An Epistemological Nightmare]''. [[Massachusetts Institute of Technology|MIT]] <ref>[https://en.wikipedia.org/wiki/Epistemology Epistemology from Wikipedia]</ref> | * [[Raymond Smullyan]] ('''1982'''). ''[http://www.mit.edu/people/dpolicar/writing/prose/text/epistemologicalNightmare.html An Epistemological Nightmare]''. [[Massachusetts Institute of Technology|MIT]] <ref>[https://en.wikipedia.org/wiki/Epistemology Epistemology from Wikipedia]</ref> | ||
Line 60: | Line 60: | ||
* [https://www.washingtontimes.com/news/2017/feb/14/joop-van-oosterom-and-raymond-smullyan-chess-lose/ In Joop van Oosterom and Raymond Smullyan, chess loses two colorful characters] by [https://www.washingtontimes.com/staff/david-r-sands/ David R. Sands], [https://en.wikipedia.org/wiki/The_Washington_Times Washington Times], February 14, 2017 <ref>[https://en.wikipedia.org/wiki/Joop_van_Oosterom Joop van Oosterom from Wikipedia]</ref> | * [https://www.washingtontimes.com/news/2017/feb/14/joop-van-oosterom-and-raymond-smullyan-chess-lose/ In Joop van Oosterom and Raymond Smullyan, chess loses two colorful characters] by [https://www.washingtontimes.com/staff/david-r-sands/ David R. Sands], [https://en.wikipedia.org/wiki/The_Washington_Times Washington Times], February 14, 2017 <ref>[https://en.wikipedia.org/wiki/Joop_van_Oosterom Joop van Oosterom from Wikipedia]</ref> | ||
==A Mathematical Mystery Tour== | ==A Mathematical Mystery Tour== | ||
− | * <span id="Video"></span>[https://vimeo.com/127338218 A Mathematical Mystery Tour] - [https://en.wikipedia.org/wiki/Horizon_%28BBC_TV_series%29 BBC Horizon Documentary] (1984), [https://en.wikipedia.org/wiki/Vimeo Vimeo] Video | + | * <span id="Video"></span>[https://vimeo.com/127338218 A Mathematical Mystery Tour] - [https://en.wikipedia.org/wiki/Horizon_%28BBC_TV_series%29 BBC Horizon Documentary] (1984), edited 1985 [https://en.wikipedia.org/wiki/Nova_(TV_series) Nova] version, [https://en.wikipedia.org/wiki/Vimeo Vimeo] Video |
− | : featuring [[Mathematician#Dieudonne|Jean Dieudonné]], [[Mathematician#Atiyah|Michael Atiyah]], [[Mathematician#GWMoore|Greg Moore]], [[Mathematician#Erdos|Paul Erdős]], [[Mathematician#Thom|René Thom]], [[Raymond Smullyan]], and [https://en.wikipedia.org/wiki/Ivor_Grattan-Guinness Ivor Grattan-Guinness] - [[White Knight]] at | + | : featuring [[Mathematician#Dieudonne|Jean Dieudonné]], [[Mathematician#Atiyah|Michael Atiyah]], [[Mathematician#GWMoore|Greg Moore]], [[Mathematician#Erdos|Paul Erdős]], [[Mathematician#Thom|René Thom]], [[Raymond Smullyan]], and [https://en.wikipedia.org/wiki/Ivor_Grattan-Guinness Ivor Grattan-Guinness] - [[White Knight]] at 42:25 |
+ | {{#evu:https://vimeo.com/127338218|alignment=left|valignment=top|dimensions="640"}} | ||
* '''Intro''' | * '''Intro''' | ||
− | ** [https://en.wikipedia.org/wiki/Fermat%27s_Last_Theorem Fermat's Last Theorem] | + | ** [https://en.wikipedia.org/wiki/Fermat%27s_Last_Theorem Fermat's Last Theorem] 1:40 |
− | ** [https://en.wikipedia.org/wiki/Goldbach%27s_conjecture Goldbach's conjecture] | + | ** [https://en.wikipedia.org/wiki/Goldbach%27s_conjecture Goldbach's conjecture] 1:49 |
− | ** [https://en.wikipedia.org/wiki/Riemann_hypothesis Riemann hypothesis] | + | ** [https://en.wikipedia.org/wiki/Riemann_hypothesis Riemann hypothesis] 2:02 |
− | ** [https://en.wikipedia.org/wiki/4-manifold#Special_phenomena_in_4-dimensions Classification Problem for 4-D Manifolds] | + | ** [https://en.wikipedia.org/wiki/4-manifold#Special_phenomena_in_4-dimensions Classification Problem for 4-D Manifolds] 2:12 |
− | ** [https://en.wikipedia.org/wiki/P_versus_NP_problem P versus NP problem] | + | ** [https://en.wikipedia.org/wiki/P_versus_NP_problem P versus NP problem] 2:26 |
− | ** [https://en.wikipedia.org/wiki/Invariant_subspace_problem Invariant Subspace Problem] for [https://en.wikipedia.org/wiki/Hilbert_space Hilbert Spaces] | + | ** [https://en.wikipedia.org/wiki/Invariant_subspace_problem Invariant Subspace Problem] for [https://en.wikipedia.org/wiki/Hilbert_space Hilbert Spaces] 2:38 |
− | * '''A Mathematical Mystery Tour''' | + | * '''A Mathematical Mystery Tour''' 3:00 |
− | # '''Proof Beyond Doubt''' | + | # '''Proof Beyond Doubt''' 5:06 |
− | + | ## [https://en.wikipedia.org/wiki/Mathematical_proof Proof] 5:45 | |
− | + | ## [https://en.wikipedia.org/wiki/Euclid%27s_theorem Euclid's theorem] 6:58 | |
− | + | ## [https://en.wikipedia.org/wiki/Twin_prime Are there infinitely many twin primes?] 7:25 | |
− | + | ## [https://en.wikipedia.org/wiki/Goldbach%27s_conjecture Goldbach's conjecture] 7:50 | |
− | + | ## [https://en.wikipedia.org/wiki/Mertens_conjecture Mertens conjecture] 8:17 | |
− | + | ## [https://en.wikipedia.org/wiki/Fermat%27s_Last_Theorem Fermat's Last Theorem] 9:10 | |
− | + | ## [https://en.wikipedia.org/wiki/Paul_Erd%C5%91s#Erd.C5.91s.27_problems Erdős' problems] 12:39 | |
− | + | # '''The Foundations of Mathematics''' 13:21 | |
− | + | ## [https://en.wikipedia.org/wiki/Chinese_mathematics Chinese mathematics] 13:25 | |
− | + | ## [https://en.wikipedia.org/wiki/Egyptian_mathematics Egyptian mathematics] 13:42 | |
− | # | + | ## [https://en.wikipedia.org/wiki/Euclid%27s_Elements Euclid's Elements] 15:00 |
− | + | ## [https://en.wikipedia.org/wiki/Parallel_postulate Parallel postulate] 16:04 | |
− | + | ## [https://en.wikipedia.org/wiki/Non-Euclidean_geometry Non-Euclidean geometry] 16:10 | |
− | + | ## [https://en.wikipedia.org/wiki/Hypercube Hypercube] 16:24 | |
− | + | ## [https://en.wikipedia.org/wiki/Klein_bottle Klein bottle] 17:00 | |
− | + | # '''Discovery or Invention''' 19:21 | |
− | + | ## [https://en.wikipedia.org/wiki/Platonism Platonism] 19:49 | |
− | # '''Discovery or Invention''' 19: | + | ## [https://en.wikipedia.org/wiki/Pythagorean_theorem Pythagorean theorem] 19:57 |
− | + | ## [https://en.wikipedia.org/wiki/Golden_rectangle Golden rectangle] 20:48 | |
− | + | # '''A Question of Infinity''' 24:20 | |
− | + | ## [https://en.wikipedia.org/wiki/Infinity Infinity] 24:20 | |
− | + | ## [https://en.wikipedia.org/wiki/Pi Pi] 24:50 | |
− | + | ## [https://en.wikipedia.org/wiki/Mersenne_prime Mersenne prime] 26:36 | |
− | # ''' | + | ## [https://en.wikipedia.org/wiki/Countable_set Countable set] 27:58 |
− | + | ## [https://en.wikipedia.org/wiki/Uncountable_set Uncountable set] 30:00 | |
− | + | ## [https://en.wikipedia.org/wiki/Aleph_number Aleph number] 30:50 | |
− | # | + | # '''Cracks in the Foundation''' 32:06 |
− | + | ## [https://en.wikipedia.org/wiki/Mathematical_logic Mathematical logic] 32:06 | |
− | + | ## [https://en.wikipedia.org/wiki/Russell%27s_paradox Russell's paradox] 32:32 | |
− | + | ## [https://en.wikipedia.org/wiki/Principia_Mathematica Principia Mathematica] 36:26 | |
− | + | # '''Back to Basics''' 38:32 | |
− | # ''' | + | ## [https://en.wikipedia.org/wiki/Nicolas_Bourbaki Bourbaki Group] 38:40 |
− | + | ## [https://en.wikipedia.org/wiki/Hilbert%27s_program Hilbert's program] 41:25 | |
− | + | ## [[White Knight]] 42:25 | |
− | + | # '''The Uncertain Future''' 44:46 | |
− | + | ## [https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems Gödel's incompleteness theorems] 44:52 | |
− | + | ## [https://en.wikipedia.org/wiki/Continuum_hypothesis Continuum hypothesis] 46:30 | |
− | # | + | ## [https://en.wikipedia.org/wiki/Four_color_theorem Four color theorem] 46:38 |
− | + | ## [https://en.wikipedia.org/wiki/Computer-assisted_proof Computer-assisted proof] 50:04 | |
− | |||
=References= | =References= | ||
Line 116: | Line 116: | ||
'''[[People|Up one Level]]''' | '''[[People|Up one Level]]''' | ||
[[Category:Mathematician|Smullyan]] | [[Category:Mathematician|Smullyan]] | ||
+ | [[Category:Videos|Smullyan]] |
Latest revision as of 17:28, 9 October 2019
Home * People * Raymond Smullyan
Raymond Merrill Smullyan, (May 25, 1919 - February 6, 2017 [2])
was an American mathematician, logician, philosopher, magician, pianist, and professor of Philosophy at Indiana University Bloomington. He held a Ph.D. in mathematics on the theory of formal systems from Princeton University under advisor Alonzo Church [3]. Smullyan was author of fourteen books and of numerous research articles on the topics of mathematical logic, first-order logic, set theory, theory of computable functions, recreational mathematics, mathematical games and puzzles, retrograde chess problems, and Eastern philosophy. He has been a contributor to Scientific American [4].
Contents
See also
Selected Publications
1959
- Raymond Smullyan (1959). Theory of Formal Systems. Ph.D. thesis, Princeton University, advisor Alonzo Church
1960 ...
- Raymond Smullyan (1961). Theory of Formal Systems. AM-47, Annals of Mathematics, Princeton University Press
- Raymond Smullyan (1968). First-Order Logic. Springer [5]
1970 ...
- Raymond Smullyan (1977). The Tao Is Silent. HarperOne
- Raymond Smullyan (1977). Is God a Taoist? MIT
- Raymond Smullyan (1978). What Is the Name of This Book? The Riddle of Dracula and Other Logical Puzzles. Prentice Hall [6] [7]
- Raymond Smullyan (1979). The Chess Mysteries of Sherlock Holmes. Knopf [8]
1980 ...
-
♜ ♝
♗
♚ - Where is the white king? [10]
- Raymond Smullyan (1982). The Lady or the Tiger? - ladies, tigers, and more logic puzzles. Random House [11] [12]
- Raymond Smullyan (1982). An Epistemological Nightmare. MIT [13]
- Raymond Smullyan (1985). To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic. Knopf
- Raymond Smullyan (1987). Alice in Puzzle-Land: A Carrollian Tale for Children Under Eighty. Penguin Books, Introduction by Martin Gardner
1990 ...
- Raymond Smullyan (1992). Satan, Cantor and Infinity: Mind-Boggling Puzzles. Knopf
- Raymond Smullyan (1992). Gödel's Incompleteness Theorems. Oxford University Press [14]
- Raymond Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press [15]
- Raymond Smullyan (1994). Diagonalization and Self-Reference. Oxford University Press
- Raymond Smullyan (1995). First-Order Logic. Dover Publications
- Raymond Smullyan (1996). Set Theory and the Continuum Problem. Oxford University Press [16]
- Raymond Smullyan (1998). The Riddle of Scheherazade: And Other Amazing Puzzles. Mariner Books
2000 ...
- Raymond Smullyan (2000). To Mock a Mockingbird - And Other Logic Puzzles. Oxford University Press
- Raymond Smullyan (2002). Some Interesting Memories: A Paradoxical Life. Thinkers' Press
- Raymond Smullyan (2003). Who Knows? A Study of Religious Consciousness. Indiana University Press
- Raymond Smullyan (2007). The Magic Garden of George B. And Other Logic Puzzles. Polimetrica
- Raymond Smullyan (2008). Logical Labyrinths. A K Peters
- Raymond Smullyan (2009). Satan, Cantor and Infinity: Mind-Boggling Puzzles. Dover Publications
2010 ...
- Raymond Smullyan (2010). King Arthur in Search of His Dog and Other Curious Puzzles. Dover Books on Mathematics
- Raymond Smullyan (2011). The Chess Mysteries of Sherlock Holmes. Dover Books on Mathematics, reprint of the Knopf, 1979 edition [17] [18]
- Raymond Smullyan (2013). The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs. Dover Publications
- Jason Rosenhouse, Raymond Smullyan (2014). Four Lives: A Celebration of Raymond Smullyan. Dover Publications
External Links
Smullyan
- Raymond Smullyan from Wikipedia
- Raymond Smullyan - Wikiquote
- Raymond Smullyan | Department of Philosophy | Indiana University Bloomington
- The Mathematics Genealogy Project - Raymond Smullyan
- Smullyan biography, School of Mathematics and Statistics, University of St Andrews, Scotland
- Raymond Smullyan and friends from Kadon Enterprises, Inc.
- Mathematician and puzzle-maker Raymond Smullyan dead at 97 by Hannah Osborne, International Business Times, February 10, 2017
- In Joop van Oosterom and Raymond Smullyan, chess loses two colorful characters by David R. Sands, Washington Times, February 14, 2017 [19]
A Mathematical Mystery Tour
- A Mathematical Mystery Tour - BBC Horizon Documentary (1984), edited 1985 Nova version, Vimeo Video
- featuring Jean Dieudonné, Michael Atiyah, Greg Moore, Paul Erdős, René Thom, Raymond Smullyan, and Ivor Grattan-Guinness - White Knight at 42:25
- Intro
- Fermat's Last Theorem 1:40
- Goldbach's conjecture 1:49
- Riemann hypothesis 2:02
- Classification Problem for 4-D Manifolds 2:12
- P versus NP problem 2:26
- Invariant Subspace Problem for Hilbert Spaces 2:38
- A Mathematical Mystery Tour 3:00
- Proof Beyond Doubt 5:06
- Proof 5:45
- Euclid's theorem 6:58
- Are there infinitely many twin primes? 7:25
- Goldbach's conjecture 7:50
- Mertens conjecture 8:17
- Fermat's Last Theorem 9:10
- Erdős' problems 12:39
- The Foundations of Mathematics 13:21
- Chinese mathematics 13:25
- Egyptian mathematics 13:42
- Euclid's Elements 15:00
- Parallel postulate 16:04
- Non-Euclidean geometry 16:10
- Hypercube 16:24
- Klein bottle 17:00
- Discovery or Invention 19:21
- Platonism 19:49
- Pythagorean theorem 19:57
- Golden rectangle 20:48
- A Question of Infinity 24:20
- Infinity 24:20
- Pi 24:50
- Mersenne prime 26:36
- Countable set 27:58
- Uncountable set 30:00
- Aleph number 30:50
- Cracks in the Foundation 32:06
- Mathematical logic 32:06
- Russell's paradox 32:32
- Principia Mathematica 36:26
- Back to Basics 38:32
- Bourbaki Group 38:40
- Hilbert's program 41:25
- White Knight 42:25
- The Uncertain Future 44:46
- Gödel's incompleteness theorems 44:52
- Continuum hypothesis 46:30
- Four color theorem 46:38
- Computer-assisted proof 50:04
References
- ↑ Smullyan Portraits, McTutor History of Mathematics
- ↑ Mathematician and puzzle-maker Raymond Smullyan dead at 97 by Hannah Osborne, International Business Times, February 10, 2017
- ↑ The Mathematics Genealogy Project - Raymond Smullyan
- ↑ Raymond Smullyan | Department of Philosophy | Indiana University Bloomington
- ↑ first-order logic from Wikipedia
- ↑ George Boolos (1996). The Hardest Logic Puzzle Ever. The Harvard Review of Philosophy. Vol. 6, pdf
- ↑ Knights and Knaves - Wikipedia
- ↑ Smullyan Problem in Sherlock Holmes book by Christopher Heckman, rgcc, January 18, 2013
- ↑ Retrospektive (Retroanalyse) from German Wikipedia, Raymond Smullyan, Manchester Guardian, 1957
- ↑ on c3, capturing a pawn from b3, which took on c3 en passant after 1... Bd5+ 2. c4
- ↑ inspired by Frank R. Stockton (1882). The Lady, or the Tiger? The Century Magazine
- ↑ Tiefes Wasser, Der Spiegel 32/1982 (German)
- ↑ Epistemology from Wikipedia
- ↑ Gödel's incompleteness theorems - Wikipedia
- ↑ Metamathematics from Wikipedia
- ↑ Continuum hypothesis from Wikipedia
- ↑ Raymond Smullyan introducing retrograde analysis in the game of chess
- ↑ Smullyan Problem in Sherlock Holmes book by Christopher Heckman, rgcc, January 18, 2013
- ↑ Joop van Oosterom from Wikipedia