Difference between revisions of "Raymond Smullyan"
GerdIsenberg (talk | contribs) |
GerdIsenberg (talk | contribs) |
||
| Line 61: | Line 61: | ||
==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), [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"}} | {{#evu:https://vimeo.com/127338218|alignment=left|valignment=top|dimensions="640"}} | ||
* '''Intro''' | * '''Intro''' | ||
| Line 71: | Line 71: | ||
** [https://en.wikipedia.org/wiki/Invariant_subspace_problem Invariant Subspace Problem] for [https://en.wikipedia.org/wiki/Hilbert_space Hilbert Spaces] 2:38 | ** [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''' 3:00 | * '''A Mathematical Mystery Tour''' 3:00 | ||
| − | # '''Proof Beyond Doubt''' | + | # '''Proof Beyond Doubt''' 5:06 |
| − | ## [https://en.wikipedia.org/wiki/Mathematical_proof Proof] | + | ## [https://en.wikipedia.org/wiki/Mathematical_proof Proof] 5:45 |
| − | ## [https://en.wikipedia.org/wiki/Euclid%27s_theorem Euclid's theorem] | + | ## [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?] | + | ## [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/Goldbach%27s_conjecture Goldbach's conjecture] | + | ## [https://en.wikipedia.org/wiki/Mertens_conjecture Mertens conjecture] 8:17 |
| − | ## [https://en.wikipedia.org/wiki/Mertens_conjecture Mertens conjecture] | + | ## [https://en.wikipedia.org/wiki/Fermat%27s_Last_Theorem Fermat's Last Theorem] 9:10 |
| − | ## [https://en.wikipedia.org/wiki/ | + | ## [https://en.wikipedia.org/wiki/Paul_Erd%C5%91s#Erd.C5.91s.27_problems Erdős' problems] 12:39 |
| − | ## [https://en.wikipedia.org/wiki/ | + | # '''The Foundations of Mathematics''' 13:21 |
| − | # | + | ## [https://en.wikipedia.org/wiki/Chinese_mathematics Chinese mathematics] 13:25 |
| − | ## [https://en.wikipedia.org/wiki/ | + | ## [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/ | + | ## [https://en.wikipedia.org/wiki/Parallel_postulate Parallel postulate] 16:04 |
| − | ## [https://en.wikipedia.org/wiki/ | + | ## [https://en.wikipedia.org/wiki/Non-Euclidean_geometry Non-Euclidean geometry] 16:10 |
| − | ## [https://en.wikipedia.org/wiki/ | + | ## [https://en.wikipedia.org/wiki/Hypercube Hypercube] 16:24 |
| − | ## [https://en.wikipedia.org/wiki/Non-Euclidean_geometry Non-Euclidean geometry] | + | ## [https://en.wikipedia.org/wiki/Klein_bottle Klein bottle] 17:00 |
| − | ## [https://en.wikipedia.org/wiki/Hypercube Hypercube] | + | # '''Discovery or Invention''' 19:21 |
| − | ## [https://en.wikipedia.org/wiki/Klein_bottle Klein bottle] | + | ## [https://en.wikipedia.org/wiki/Platonism Platonism] 19:49 |
| − | # '''Discovery or Invention''' | + | ## [https://en.wikipedia.org/wiki/Pythagorean_theorem Pythagorean theorem] 19:57 |
| − | + | ## [https://en.wikipedia.org/wiki/Golden_rectangle Golden rectangle] 20:48 | |
| − | ## [https://en.wikipedia.org/wiki/Platonism Platonism] | + | # '''A Question of Infinity''' 24:20 |
| − | ## [https://en.wikipedia.org/wiki/Pythagorean_theorem Pythagorean theorem] | + | ## [https://en.wikipedia.org/wiki/Infinity Infinity] 24:20 |
| − | ## [https://en.wikipedia.org/wiki/Golden_rectangle Golden rectangle] | + | ## [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/ | + | ## [https://en.wikipedia.org/wiki/Uncountable_set Uncountable set] 30:00 |
| − | ## [https://en.wikipedia.org/wiki/ | + | ## [https://en.wikipedia.org/wiki/Aleph_number Aleph number] 30:50 |
| − | + | # '''Cracks in the Foundation''' 32:06 | |
| − | ## [https://en.wikipedia.org/wiki/ | + | ## [https://en.wikipedia.org/wiki/Mathematical_logic Mathematical logic] 32:06 |
| − | ## [https://en.wikipedia.org/wiki/Countable_set Countable set] 27: | + | ## [https://en.wikipedia.org/wiki/Russell%27s_paradox Russell's paradox] 32:32 |
| − | ## [https://en.wikipedia.org/wiki/Uncountable_set Uncountable set] | + | ## [https://en.wikipedia.org/wiki/Principia_Mathematica Principia Mathematica] 36:26 |
| − | ## [https://en.wikipedia.org/wiki/Aleph_number Aleph number] | + | # '''Back to Basics''' 38:32 |
| − | # ''' | + | ## [https://en.wikipedia.org/wiki/Nicolas_Bourbaki Bourbaki Group] 38:40 |
| − | ## [https://en.wikipedia.org/wiki/Mathematical_logic Mathematical logic] | + | ## [https://en.wikipedia.org/wiki/Hilbert%27s_program Hilbert's program] 41:25 |
| − | ## [https://en.wikipedia.org/wiki/Russell%27s_paradox Russell's paradox] 32: | + | ## [[White Knight]] 42:25 |
| − | ## [https://en.wikipedia.org/wiki/Principia_Mathematica Principia Mathematica] | + | # '''The Uncertain Future''' 44:46 |
| − | ## [https://en.wikipedia.org/wiki/Hilbert%27s_program Hilbert's program] | + | ## [https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems Gödel's incompleteness theorems] 44:52 |
| − | ## [https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems Gödel's incompleteness theorems] | + | ## [https://en.wikipedia.org/wiki/Continuum_hypothesis Continuum hypothesis] 46:30 |
| − | # | + | ## [https://en.wikipedia.org/wiki/Four_color_theorem Four color theorem] |
| − | ## [https://en.wikipedia.org/wiki/Four_color_theorem Four color theorem] | + | ## [https://en.wikipedia.org/wiki/Computer-assisted_proof Computer-assisted proof] |
| − | ## [https://en.wikipedia.org/wiki/Computer-assisted_proof Computer-assisted proof] | ||
=References= | =References= | ||
Revision as of 13:34, 28 November 2018
Home * People * Raymond Smullyan
Raymond Smullyan [1]
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?
- Raymond Smullyan (1982). The Lady or the Tiger? - ladies, tigers, and more logic puzzles. Random House [10] [11]
- Raymond Smullyan (1982). An Epistemological Nightmare. MIT [12]
- 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 [13]
- Raymond Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press [14]
- 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 [15]
- 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 [16] [17]
- 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 [18]
A Mathematical Mystery Tour
- A Mathematical Mystery Tour - BBC Horizon Documentary (1984), 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
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
- ↑ 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
