- published: 28 May 2016
- views: 1588
Raymond Merrill Smullyan (/ˈsmʌli.ən/; born May 25, 1919) is an American mathematician, concert pianist, logician, Taoist philosopher, and magician.
Born in Far Rockaway, New York, his first career was stage magic. He then earned a BSc from the University of Chicago in 1955 and his Ph.D. from Princeton University in 1959. He is one of many logicians to have studied under Alonzo Church.
Born in Far Rockaway, New York, he showed musical talent, winning a gold medal in a piano competition when he was aged 12. The following year, his family moved to Manhattan and he attended Theodore Roosevelt High School in The Bronx as this school offered courses suited to his musical talents, but he left to study on his own as the school did not offer similar courses in mathematics. He attended several colleges, studying mathematics and music.
While a Ph.D. student, Smullyan published a paper in the 1957 Journal of Symbolic Logic showing that Gödelian incompleteness held for formal systems considerably more elementary than that of Gödel's 1931 landmark paper. The contemporary understanding of Gödel's theorem dates from this paper. Smullyan later made a compelling case that much of the fascination with Gödel's theorem should be directed at Tarski's theorem, which is much easier to prove and equally disturbing philosophically.
Computational Logic: A 70th Birthday Celebration Honoring Melvin Fitting
View full lesson: http://ed.ted.com/lessons/can-you-solve-the-three-gods-riddle-alex-gendler You and your team have crash-landed on an ancient planet. Can you appease the three alien overlords who rule it and get your team safely home? Created by logician Raymond Smullyan, and popularized by his colleague George Boolos, this riddle has been called the hardest logic puzzle ever. Alex Gendler shows how to solve it. Lesson by Alex Gendler, animation by Artrake Studio.
Johnny Carson 1982 08 04 Raymond Smullyan
http://demonstrations.wolfram.com/KnightsAndKnavesPuzzleGenerator/ For another quick puzzle in which there is a spy too: http://www.mathsisfun.com/puzzles/knights-and-knaves.html Here's a link to Raymond Smullyan's books [his non-puzzle books are listed too, so you'll need to go through them to find the ones about logic]: http://www.amazon.com/s/ref=nb_sb_noss?url=search-alias%3Daps&field-keywords;=raymond+smullyan&x;=12&y;=23
Celebration of the memory of Raymond Smullyan, mathematician, musician, magician, teacher, author, showman, and dear friend. There are two speakers, Melvin Fitting and Graham Priest, followed by an open mic session. The memorial was held April 28, 2017, at the Graduate Center of the City University of New York.
This is part 1 of a video I made in which I tell the funny story line of my book "King Arthur in Search of His Dog"---a story book with logic puzzles for both children and adults, especially those adults who are children at heart. The book is published by Dover Publications, Inc., 2010.
Vote for Vsauce in the WEBBYS! https://pv.webbyawards.com/2016/online-film-video/video-channels-and-networks/science-education Sources and links to learn more below! I’m very grateful to mathematician Hugh Woodin, Professor of Philosophy and Mathematics at Harvard, for taking the time on multiple occasions to discuss this topic with me and help me wrap my (finite) head around it. I’m also grateful to David Eisenbud, the Director of the Mathematical Sciences Research Institute (MSRI) and professor of mathematics at the University of California, Berkeley, for his help and for connecting me with Hugh Woodin. And of course, big thanks to Brady Haran who created the “mile of pi” seen in this video and connected me with all these mathematicians in the first place. His channel, Numberphile, i...
Computational Logic: A 70th Birthday Celebration Honoring Melvin Fitting
View full lesson: http://ed.ted.com/lessons/can-you-solve-the-three-gods-riddle-alex-gendler You and your team have crash-landed on an ancient planet. Can you appease the three alien overlords who rule it and get your team safely home? Created by logician Raymond Smullyan, and popularized by his colleague George Boolos, this riddle has been called the hardest logic puzzle ever. Alex Gendler shows how to solve it. Lesson by Alex Gendler, animation by Artrake Studio.
Johnny Carson 1982 08 04 Raymond Smullyan
http://demonstrations.wolfram.com/KnightsAndKnavesPuzzleGenerator/ For another quick puzzle in which there is a spy too: http://www.mathsisfun.com/puzzles/knights-and-knaves.html Here's a link to Raymond Smullyan's books [his non-puzzle books are listed too, so you'll need to go through them to find the ones about logic]: http://www.amazon.com/s/ref=nb_sb_noss?url=search-alias%3Daps&field-keywords;=raymond+smullyan&x;=12&y;=23
Celebration of the memory of Raymond Smullyan, mathematician, musician, magician, teacher, author, showman, and dear friend. There are two speakers, Melvin Fitting and Graham Priest, followed by an open mic session. The memorial was held April 28, 2017, at the Graduate Center of the City University of New York.
This is part 1 of a video I made in which I tell the funny story line of my book "King Arthur in Search of His Dog"---a story book with logic puzzles for both children and adults, especially those adults who are children at heart. The book is published by Dover Publications, Inc., 2010.
Vote for Vsauce in the WEBBYS! https://pv.webbyawards.com/2016/online-film-video/video-channels-and-networks/science-education Sources and links to learn more below! I’m very grateful to mathematician Hugh Woodin, Professor of Philosophy and Mathematics at Harvard, for taking the time on multiple occasions to discuss this topic with me and help me wrap my (finite) head around it. I’m also grateful to David Eisenbud, the Director of the Mathematical Sciences Research Institute (MSRI) and professor of mathematics at the University of California, Berkeley, for his help and for connecting me with Hugh Woodin. And of course, big thanks to Brady Haran who created the “mile of pi” seen in this video and connected me with all these mathematicians in the first place. His channel, Numberphile, i...
Computational Logic: A 70th Birthday Celebration Honoring Melvin Fitting
Johnny Carson 1982 08 04 Raymond Smullyan
Celebration of the memory of Raymond Smullyan, mathematician, musician, magician, teacher, author, showman, and dear friend. There are two speakers, Melvin Fitting and Graham Priest, followed by an open mic session. The memorial was held April 28, 2017, at the Graduate Center of the City University of New York.
Johnny Carson 1982 08 04 Raymond Smullyan.
Raymond Smullyan giving a logic and magic talk in Bucharest, Romania, in 2008.
Johnny Carson 1982 08 04 Raymond Smullyan
On May 5, 2016 Dana Scott gave a talk honoring Raymond Smullyan, at the Graduate Center of the City University of New York. The title was Stochastic Lambda-Calculus. Here is the abstract: It is shown how the operators in the “graph model” for Lambda-Calculus (which can function as a programming language for Recursive Function Theory) can be expanded to allow for “random combinators”. The result then is a semantics for a new language for random algorithms. The author wants to make a plea for finding applications.
Vote for Vsauce in the WEBBYS! https://pv.webbyawards.com/2016/online-film-video/video-channels-and-networks/science-education Sources and links to learn more below! I’m very grateful to mathematician Hugh Woodin, Professor of Philosophy and Mathematics at Harvard, for taking the time on multiple occasions to discuss this topic with me and help me wrap my (finite) head around it. I’m also grateful to David Eisenbud, the Director of the Mathematical Sciences Research Institute (MSRI) and professor of mathematics at the University of California, Berkeley, for his help and for connecting me with Hugh Woodin. And of course, big thanks to Brady Haran who created the “mile of pi” seen in this video and connected me with all these mathematicians in the first place. His channel, Numberphile, i...
Can logic be revised? If so, can it be revised rationally? If so, how? Graham Priest addresses these and related philosophical questions in this talk regarding the nature of logic and valid reasoning. This talk was given at the MCMP conference on Paradox and Logical Revision (July 23-25, 2012). I don't own it.