Raymond Smullyan

Le Raymond Merrill Smullyan ( soutenu 1919 ) est un mathématicien , le logicien , le philosophe , et le magicien .

Soutenu dans le Rockaway lointain , New York , sa première carrière (comme Persi Diaconis une génération plus tard) était magie d'étape. Il a alors obtenu BSC de Chicago en 1955 et un Ph. de Princeton en 1959. Il est l'un de beaucoup de logiciens exceptionnels avoir étudié sous l'église d'Alonzo de .

La vie

Tandis qu'un étudiant de Ph., Smullyan éditait un article dans le journal 1957 de de l'apparence de la logique symbolique que l'imperfection de Gödelian a jugé pour les systèmes formels considérablement plus élémentaire que celui du papier 1931 de la borne limite de Gödel. L'arrangement contemporain du théorème de Gödel de date de ce document. Smullyan plus tard a fait un cas irrésistible qu'une grande partie de la fascination avec le théorème de Gödel devrait être dirigée au théorème de Tarski de , il est beaucoup plus facile s'avérer qu'et également dérangeant philosophiquement. Le point culminant de la réflexion perpétuelle de Smullyan sur les théorèmes limitatifs classiques de la logique mathématique est son tout à fait lisible :

Smullyan, R de " de M (2001) ; " de théorèmes de l'imperfection de Gödel ; dans Goble, Lou, ed., le guide de Blackwell de la logique philosophique . Blackwell (ISBN 0-631-20693-0).

Smullyan est l'auteur de beaucoup de livres sur les mathématiques récréationnelles , la logique récréationnelle, etc. spécialement, un est intitulé ce qu'est le nom de ce livre ? .

Plusieurs de ses problèmes de logique sont des prolongements des puzzles classiques. Le adoube et les valets fait participer des chevaliers (qui indiquent toujours la vérité) et des valets (qui toujours mensonge) sont basés sur l'histoire des deux portes et de deux gardes, un qui se trouve et une qui ne fait pas. Une porte mène au ciel et à un à l'enfer, et le puzzle est de découvrir que la porte mène au ciel en posant à une des gardes une question. L'one-way pour faire ceci est de demander le " ; Quelle porte l'autre garde dirait-il mène-t-il à l'enfer ? " ;. Cette idée a été célèbre employée dans le labyrinthe de 1986 films.

Dans des puzzles plus complexes, il présente les caractères qui peuvent se trouver ou indiquent la vérité (désignée sous le nom du " ; normals" ;), et en outre au lieu du " de réponse ; yes" ; ou " ; no" ; , mots d'utilisation qui " moyen ; yes" ; ou " ; no" ; , mais le lecteur ne sait pas que le mot signifie quel. Le puzzle connu comme " ; le " du puzzle jamais de logique le plus dur ; est basé au loin de ces caractères et thèmes. Dans ses puzzles de Transylvanie, la moitié des habitants sont aliénée, et croient seulement des choses fausses, tandis que l'autre moitié sont raisonnable et croient seulement des choses vraies. En outre, les humains disent toujours la vérité, et le mensonge des vampires toujours. Par exemple, un vampire aliéné croire une chose fausse (2 + 2 n'est pas 4) mais puis se trouvera à son sujet, et indique qu'il est. Un vampire raisonnable connaît 2 + 2 a 4 ans, mais se trouvera et le dire n'est pas. Et mutatis mutandis pour des humains. Ainsi tout dit par un vampire humain ou aliéné raisonnable est vrai, alors que tout dit par un vampire humain ou raisonnable aliéné est faux.

Son pour toujours irrésolu de livre popularise les théorèmes d'imperfection de du de Gödel de en les exprimant en termes de reasoners et leur croyance, plutôt que les systèmes formels et ce qui peut être prouvé dans eux. Par exemple, si un indigène d'une île de chevalier/valet dit à un " suffisamment individu-averti de reasoner ; Vous ne croire jamais que je suis un knight" ; , le reasoner ne peut pas croire non plus que l'indigène est un chevalier ou qu'il est un valet sans devenir contradictoire (c. croyance contradictoire de possession deux). Le théorème équivalent est celui pour n'importe quel système formel S, existe là un rapport mathématique qui peut être interprété comme " ; Ce rapport n'est pas prouvable dans le système formel S" ;. Si le système S n'est conformé, ni le rapport ni son opposé sera prouvable dans lui.

L'inspecteur Craig est un caractère fréquent dans le " de Smullyan ; puzzle-novellas." ; Il s'appelle généralement dans une scène d'un crime, qui a une solution qui est mathématique en nature. Puis, par une série des défis de plus en plus plus durs, lui (et le lecteur) commencent à comprendre les principes en question. Enfin la nouvelle aboutit à l'inspecteur Craig (et au lecteur) résolvant le crime, utilisant les principes mathématiques et logiques appris. L'inspecteur Craig généralement n'apprend pas la théorie formelle en question, et Smullyan réserve habituellement quelques chapitres après l'aventure de Craig d'inspecteur pour illuminer l'analogie pour le lecteur.

Son de livre pour railler un moqueur (1985) est une introduction récréationnelle au sujet de la logique combinatoire .

Indépendamment de l'inscription environ et de la logique de enseignement, Smullyan a récemment libéré un enregistrement de ses morceaux classiques préférés de piano par des compositeurs tels que le Bach , le Scarlatti , et le Schubert . Quelques enregistrements sont disponibles sur le site Web de société de piano, avec le " visuel ; Promenades, réflexions, musique et Readings" ;. Il a également écrit une autobiographie intitulée le quelques mémoires intéressantes : Une vie paradoxale (ISBN 1-888710-10-1).

En 2001, le documentaire Tao Ruspoli de réalisateur de film a fait à un film au sujet de appelé par Smullyan de Raymond les besoins de ce film aucun titre .

Publications choisies

Populaire

( 1977 ) le le Tao est silencieux
( 1978 ) ce qui est le nom de ce livre ?
( 1979 ) les mystères d'échecs de Sherlock Holmes
( 1980) le ce livre n'a besoin d'aucun titre
( 1981 ) le les mystères d'échecs de l'Arabe adoube
( 1982 ) Madame ou le tigre ?
( 1982 ) Alice de dans la Puzzle-Terre
( 1983 ) 5000 AVANT JÉSUS CHRIST de
( 1985 ) pour railler un moqueur
( 1987 ) pour toujours irrésolu de
( 1992 ) Satan de , chantre et infini
( 1997 ) l'énigme de Scheherazade
( 2002 ) quelques mémoires intéressantes : Une vie paradoxale
( 2003 ) qui sait ? : Une étude de la conscience religieuse

Universitaire

( 1961 ) théorie de des systèmes formels
( 1968 ) logique de premier ordre de
( 1992 ) théorèmes de l'imperfection de Gödel de
( 1993 ) théorie de récursion de pour Metamathematics
( 1994 ) Diagonalization et autoréférence de
( 1996 ) théorie des ensembles et le problème de de continuum

Citations

Le I présentent maintenant professeur Smullyan, qui prouvera à vous qu'ou il n'existe pas ou vous n'existez pas, mais vous ne saurez pas quel. --Ajustage de précision de Melvin

Voir également

pour railler un moqueur

Références externes

Le est Dieu par Taoist ? par Raymond Smullyan, 1977. * planète de sans rire par Raymond Smullyan, 1980. * un cauchemar épistémologique par Raymond Smullyan, 1982.

Random links: