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 37:55 |
{{#evu:https://vimeo.com/127338218|alignment=left|valignment=top|dimensions="640"}} | {{#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''' 4:01 |
− | + | ## [https://en.wikipedia.org/wiki/Mathematical_proof Proof] | |
− | + | ## [https://en.wikipedia.org/wiki/Euclid%27s_theorem Euclid's theorem] 4:42 | |
− | + | ## [https://en.wikipedia.org/wiki/Twin_prime Are there infinitely many twin primes?] 5:05 | |
− | + | ## [https://en.wikipedia.org/wiki/Paul_Erd%C5%91s#Erd.C5.91s.27_problems Erdős' problems] 5:33 | |
− | + | ## [https://en.wikipedia.org/wiki/Goldbach%27s_conjecture Goldbach's conjecture] 6:17 | |
− | + | ## [https://en.wikipedia.org/wiki/Mertens_conjecture Mertens conjecture] 6:45 | |
− | + | ## [https://en.wikipedia.org/wiki/Euclid%27s_Elements Euclid's Elements] 7:25 | |
− | + | ## [https://en.wikipedia.org/wiki/Chinese_mathematics Chinese mathematics] 7:52 | |
− | + | ## [https://en.wikipedia.org/wiki/Egyptian_mathematics Egyptian mathematics] 8:12 | |
− | + | ## [https://en.wikipedia.org/wiki/Fermat%27s_Last_Theorem Fermat's Last Theorem] 9:40 | |
− | # '''The Language of Abstraction''' | + | # '''The Language of Abstraction''' 13:30 |
− | + | ## [https://en.wikipedia.org/wiki/Nicolas_Bourbaki Bourbaki Group] 13:34 | |
− | + | ## [https://en.wikipedia.org/wiki/Abstract_structure Abstract structure] 16:40 | |
− | + | ## [https://en.wikipedia.org/wiki/Euclidean_geometry Euclidean geometry] 17:22 | |
− | + | ## [https://en.wikipedia.org/wiki/Non-Euclidean_geometry Non-Euclidean geometry] 17:55 | |
− | + | ## [https://en.wikipedia.org/wiki/Hypercube Hypercube] 18:18 | |
− | + | ## [https://en.wikipedia.org/wiki/Klein_bottle Klein bottle] 19:18 | |
− | # '''Discovery or Invention''' | + | # '''Discovery or Invention''' 20:28 |
− | + | ## [https://en.wikipedia.org/wiki/History_of_mathematics History of mathematics] 20:30 | |
− | + | ## [https://en.wikipedia.org/wiki/Platonism Platonism] 21:25 | |
− | + | ## [https://en.wikipedia.org/wiki/Pythagorean_theorem Pythagorean theorem] 21:31 | |
− | + | ## [https://en.wikipedia.org/wiki/Golden_rectangle Golden rectangle] 21:45 | |
− | + | ## [https://en.wikipedia.org/wiki/Golden_ratio Golden ratio] | |
− | # '''Playing the Numbers''' | + | # '''Playing the Numbers''' 23:23 |
− | + | ## [https://en.wikipedia.org/wiki/Pi Pi] 23:28 | |
− | + | ## [https://en.wikipedia.org/wiki/Mersenne_prime Mersenne prime] 25:17 | |
− | # '''The Taming of the Infinite''' | + | # '''The Taming of the Infinite''' 26:47 |
− | + | ## [https://en.wikipedia.org/wiki/Infinity Infinity] 26:47 | |
− | + | ## [https://en.wikipedia.org/wiki/Countable_set Countable set] 27:18 | |
− | + | ## [https://en.wikipedia.org/wiki/Uncountable_set Uncountable set] 28:35 | |
− | + | ## [https://en.wikipedia.org/wiki/Aleph_number Aleph number] 29:27 | |
− | # '''Contradictions and Paradoxes''' | + | # '''Contradictions and Paradoxes''' 30:32 |
− | + | ## [https://en.wikipedia.org/wiki/Mathematical_logic Mathematical logic] 30:50 | |
− | + | ## [https://en.wikipedia.org/wiki/Russell%27s_paradox Russell's paradox] 32:33 | |
− | + | ## [https://en.wikipedia.org/wiki/Principia_Mathematica Principia Mathematica] 35:00 | |
− | + | ## [https://en.wikipedia.org/wiki/Hilbert%27s_program Hilbert's program] 36:50 | |
− | + | ## [https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems Gödel's incompleteness theorems] 40:13 | |
− | # '''Incomplete Future''' | + | # '''Incomplete Future''' 41:30 |
− | + | ## [https://en.wikipedia.org/wiki/Four_color_theorem Four color theorem] 45:10 | |
− | + | ## [https://en.wikipedia.org/wiki/Computer-assisted_proof Computer-assisted proof] 46:00 | |
=References= | =References= |
Revision as of 11:45, 28 November 2018
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?
- 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 37:55
- 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 4:01
- Proof
- Euclid's theorem 4:42
- Are there infinitely many twin primes? 5:05
- Erdős' problems 5:33
- Goldbach's conjecture 6:17
- Mertens conjecture 6:45
- Euclid's Elements 7:25
- Chinese mathematics 7:52
- Egyptian mathematics 8:12
- Fermat's Last Theorem 9:40
- The Language of Abstraction 13:30
- Bourbaki Group 13:34
- Abstract structure 16:40
- Euclidean geometry 17:22
- Non-Euclidean geometry 17:55
- Hypercube 18:18
- Klein bottle 19:18
- Discovery or Invention 20:28
- History of mathematics 20:30
- Platonism 21:25
- Pythagorean theorem 21:31
- Golden rectangle 21:45
- Golden ratio
- Playing the Numbers 23:23
- Pi 23:28
- Mersenne prime 25:17
- The Taming of the Infinite 26:47
- Infinity 26:47
- Countable set 27:18
- Uncountable set 28:35
- Aleph number 29:27
- Contradictions and Paradoxes 30:32
- Mathematical logic 30:50
- Russell's paradox 32:33
- Principia Mathematica 35:00
- Hilbert's program 36:50
- Gödel's incompleteness theorems 40:13
- Incomplete Future 41:30
- Four color theorem 45:10
- Computer-assisted proof 46:00
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