Raymond Smullyan

Raymond Smullyan est un logicien, mathématicien, philosophe et magicien américain né le à Far Rockaway et mort le à Hudson dans l'État de New York. Raymond Smullyan développe tôt un double intérêt pour la musique et la science. A douze ans, il gagne une médaille d'or à l'occasion d'un concours de piano, et semble se destiner à une carrière musicale. Il s'inscrit à la Theodore Roosevelt High School, mais cette solution ne le satisfait pas entièrement : il lui manque les mathématiques. Smullyan navigue donc entre études musicales et scientifiques pendant des années, avant de se voir octroyer un poste de professeur au Dartmouth College de Hanover. Il est connu pour avoir écrit des livres d'énigmes logiques et mathématiques qui permettent de montrer au grand public des concepts avancés en logique comme les théorèmes d'incomplétude de Gödel. Son livre d'échecs, The Chess Mysteries of Sherlock Holmes, mettant en scène Sherlock Holmes et le Docteur Watson et écrit dans le style d'Arthur Conan Doyle, est une introduction à l'analyse rétrograde. En théorie de la calculabilité, on lui doit le théorème de récursion double. Raymond Smullyan n'a jamais abandonné la musique et a enregistré un récital de pièces de Bach, Scarlatti et Schubert. Godel's Incompleteness Theorems, 1992 Les théorèmes d'incomplétude de Gödel, Dunod, 2000 First-Order Logic, 1995 Forever Undecided:a puzzle guide to Gödel, Oxford University Press, 1997 The Tao is Silent, 1977 What is the Name of This Book?, 1978 Quel est le titre de ce livre ?, Dunod, 1981 The Chess Mysteries of Sherlock Holmes, 1979 Sherlock Holmes en échecs, Flammarion, 2001 The Chess Mysteries of the Arabian Knights, 1981 The Lady or the Tiger?, 1982 Le livre qui rend fou, Dunod, 1984 This Book Needs No Title, 1986 To Mock a Mockingbird, 1985 Alice in Puzzle-land, 1986 Satan, Cantor and Infinity and other mind-boggling puzzles, 1992 Ça y est, je suis fou !!, Dunod, 1993 The Riddle of Scheherazade, 1997 Les énigmes de Shéhérazade, Flammarion, 1998 The Magic Garden of George B. And Other

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (2)

Cours associés (2)

Séances de cours associées (1)

Théorèmes d'incomplétude de Gödel

Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »). Ils ont marqué un tournant dans l'histoire de la logique en apportant une réponse négative à la question de la démonstration de la cohérence des mathématiques posée plus de 20 ans auparavant par le programme de Hilbert.

Logic puzzle

A logic puzzle is a puzzle deriving from the mathematical field of deduction. The logic puzzle was first produced by Charles Lutwidge Dodgson, who is better known under his pen name Lewis Carroll, the author of Alice's Adventures in Wonderland. In his book The Game of Logic he introduced a game to solve problems such as confirming the conclusion "Some greyhounds are not fat" from the statements "No fat creatures run well" and "Some greyhounds run well".

MATH-483: Gödel and recursivity

Gödel incompleteness theorems and mathematical foundations of computer science

MATH-381: Mathematical logic

Branche des mathématiques en lien avec le fondement des mathématiques et l'informatique théorique. Le cours est centré sur la logique du 1er ordre et l'articulation entre syntaxe et sémantique.

Analyse de différentiabilité

Explore la différentiabilité, les dérivées partielles, le théorème de Schwarz et la continuité des fonctions dans l'analyse mathématique.