Raymond Merrill Smullyan (geboren am 25. Mai 1919) ist ein amerikanischer Mathematiker, Konzertpianist, Logiker, Philosoph von Taoist und Zauberer.

Geboren in Weitem Rockaway, New York, war seine erste Karriere (wie Persi Diaconis eine Generation später) Bühne-Magie. Er hat dann einen BSc von der Universität Chicagos 1955 und seines Dr. von der Universität von Princeton 1959 verdient. Er ist einer von vielen Logikern, um unter der Kirche von Alonzo studiert zu haben.

Leben

Geboren in Weitem Rockaway, New York, hat er Musiktalent gezeigt, eine Goldmedaille in einer Klavier-Konkurrenz gewinnend, als er im Alter von 12 war. Im nächsten Jahr hat sich seine Familie nach Manhattan bewegt, und er hat Höherer Schule von Theodore Roosevelt im Bronx als diese Schule angebotene seinen Musiktalenten angepasste Kurse aufgewartet, aber er ist abgereist, um selbstständig zu studieren, weil die Schule ähnliche Kurse in der Mathematik nicht angeboten hat.

Er hat mehreren Universitäten aufgewartet, Mathematik und Musik studierend.

Während ein Doktorstudent, Smullyan eine Zeitung in der 1957-Zeitschrift der Symbolischen Logik veröffentlicht hat zeigend, dass Unvollständigkeit von Gödelian für formelle Systeme beträchtlich elementarer gehalten hat als dieses von 1931-Grenzstein-Papier von Gödel. Das zeitgenössische Verstehen der Lehrsatz-Daten von Gödel von diesem Papier. Smullyan hat später zwingende Argumente vorgebracht so viel von der Faszination mit dem Lehrsatz von Gödel sollte am Lehrsatz von Tarski geleitet werden, der viel leichter ist, sich zu erweisen und ebenso philosophisch störend. Der Höhepunkt des lebenslänglichen Nachdenkens von Smullyan über die klassischen begrenzenden Lehrsätze der mathematischen Logik ist ziemlich lesbar:

• Smullyan, R M (2001) "die Unvollständigkeitslehrsätze von Gödel" in Goble, Lou, Hrsg., Dem Handbuch von Blackwell zur Philosophischen Logik. Blackwell (internationale Standardbuchnummer 0-631-20693-0).

Smullyan ist der Autor von vielen Büchern auf der Erholungsmathematik, Erholungslogik usw. Am meisten namentlich wird einer betitelt.

Er war ein Professor der Philosophie an der Stadthochschule in New York.

Er ist auch ein Amateurastronom mit sechs Zoll, die Fernrohr widerspiegeln, für das er den Spiegel niederlegt.

Logikprobleme

Viele seiner Logikprobleme sind Erweiterungen von klassischen Rätseln. Ritter und Buben beziehen Ritter ein (die immer die Wahrheit sagen) und Buben (die immer lügen). Das basiert auf einer Geschichte von zwei Türen und zwei Wächtern, derjenige, der lügt und derjenige, der nicht tut. Eine Tür führt zu Himmel und ein zum Teufel, und das Rätsel soll herausfinden, welche Tür zu Himmel durch das Stellen von einem der Wächter eine Frage führt. Eine Weise zu tun ist das zu fragen "Welche Tür würde der andere Wächter sagen, zum Teufel zu führen?". Diese Idee wurde im 1986-Film Irrgarten berühmt verwendet.

In komplizierteren Rätseln führt er Charaktere ein, wer lügen oder (verwiesen auf als "normals"), und außerdem die Wahrheit sagen kann, anstatt auf "ja" oder "nein" zu antworten, Wörter zu verwenden, die "ja" oder "nein" bedeuten, aber der Leser weiß der Wortmittel der nicht. Das Rätsel, das als "das härteste Logikrätsel jemals" bekannt ist, basiert auf diesen Charakteren und Themen. In seinen Rätseln von Transylvania ist die Hälfte der Einwohner wahnsinnig, und glaubt nur falsche Dinge, wohingegen die andere Hälfte geistig gesund ist und nur wahre Dinge glaubt. Außerdem sagen Menschen immer die Wahrheit, und Vampire lügen immer. Zum Beispiel wird ein wahnsinniger Vampir glauben ein falsches Ding (2 + 2 ist nicht 4), aber wird dann darüber liegen und sagen, dass es ist. Ein geistig gesunder Vampir weiß 2 + 2 ist 4, aber wird liegen und sagen, dass es nicht ist. Und mutatis mutandis für Menschen. So ist alles Gesagtes durch einen geistig gesunden Menschen oder einen wahnsinnigen Vampir wahr, während alles Gesagtes durch einen wahnsinnigen Menschen oder einen geistig gesunden Vampir falsch ist.

Sein Für immer Unbestimmtes Buch verbreitet die Unvollständigkeitslehrsätze von Gödel durch die Phrasierung von ihnen in Bezug auf logische Geiste und ihren Glauben, aber nicht formelle Systeme, und was in ihnen bewiesen werden kann. Zum Beispiel, wenn ein Eingeborener einer Insel des Ritters/Buben einem genug ich-bewussten logischen Geist sagt, "Werden Sie nie glauben, dass ich ein Ritter bin" kann der logische Geist nicht glauben, entweder dass der Eingeborene ein Ritter ist, oder dass er ein Bube ist, ohne inkonsequent zu werden (d. h., zwei widersprechenden Glauben haltend). Der gleichwertige Lehrsatz ist, dass für jedes formelle System S, dort eine mathematische Behauptung besteht, die interpretiert werden kann, weil "Diese Behauptung im formellen System S nicht nachweisbar ist". Wenn das System S entspricht, werden weder die Behauptung noch sein Gegenteil darin nachweisbar sein.

Inspektor Craig ist ein häufiger Charakter in "den Rätsel-Novellen" von Smullyan. Er wird allgemein in eine Szene eines Verbrechens genannt, das eine Lösung hat, die in der Natur mathematisch ist. Dann, durch eine Reihe zunehmend härterer Herausforderungen, beginnt er (und der Leser), die fraglichen Grundsätze zu verstehen. Schließlich kulminiert die Novelle in Inspektor Craig (und der Leser) das Lösen des Verbrechens, die mathematischen und logischen erfahrenen Grundsätze verwertend. Inspektor Craig erfährt allgemein die formelle fragliche Theorie nicht, und Smullyan bestellt gewöhnlich einige Kapitel nach dem Abenteuer von Inspektor Craig vor, um die Analogie für den Leser zu illuminieren.

Sein Buch, um eine Spottdrossel (1985) Zu verspotten, ist eine Erholungseinführung ins Thema der combinatory Logik.

Abgesondert vom Schreiben über und der lehrenden Logik hat Smullyan kürzlich eine Aufnahme seiner klassischen Lieblingsklavier-Stücke durch Komponisten wie Junggeselle, Scarlatti, und Schubert veröffentlicht. Einige Aufnahmen sind auf der Klavier-Gesellschaftswebsite, zusammen mit den "Videowanderungen, dem Nachdenken, der Musik und den Lesungen" verfügbar. Er hat auch geschrieben, dass eine Autobiografie Einige Interessante Erinnerungen betitelt hat: Ein Paradoxes Leben (internationale Standardbuchnummer 1-888710-10-1).

2001 hat dokumentarischer Filmemacher Tao Ruspoli einen Film über Smullyan genannt gemacht.

Philosophie

Smullyan hat mehrere Bücher über die Philosophie von Taoist geschrieben, die er glaubt, ordentlich löst am meisten oder alle traditionellen philosophischen Probleme sowie Integrierungsmathematik, Logik und Philosophie in einen zusammenhaltenden Ganzen.

Siehe auch

• Eine Spottdrossel zu verspotten
• Logik
• Paradox
• Die Dame oder der Tiger
• Die Abenteuer von Alice im Märchenland

Ausgewählte Veröffentlichungen

Logikrätsel

• (1978) - Ritter, Buben und andere Logik verwirrt
• (1979) - das Einführen rückläufiger Analyse im Spiel des Schachs.
• (1981) - das zweite Buch auf rückläufigen Analyse-Schachproblemen.
• (1982) - Damen, Tiger und mehr Logik verwirrt
• (1982)
• (1985) - Rätsel, die auf der combinatory Logik gestützt sind
• (1987) - Rätsel, die auf der Unentscheidbarkeit in formellen Systemen gestützt sind
• (1992)
• (1997)
• (2007) Polimetrica (Monza/Italy)
• (2009) ein K Peters

Philosophie/Biografie

• (1977)
• (1980)
• (1983)
• (2002)
• (2003)
• (2009) Praxis internationaler

Akademisch

• (1961)
• (1968)
• (1992)
• (1993)
• (1994)
• (1996)

Bibliografie

• Ist Gott Taoist? durch Raymond Smullyan, 1977.
• Planet Ohne Gelächter durch Raymond Smullyan, 1980.
• Ein Erkenntnistheoretischer Albtraum durch Raymond Smullyan, 1982.
• 5000 B.C. und Andere Philosophische Fantasien durch Raymond Smullyan, 1984

Presse von St. Martins

INTERNATIONALE STANDARDBUCHNUMMER 0-312-29517-0

Links

• Die Website von Raymond Smullyan an der Indiana Universität.
• Raymond Smullyan an der Geschichte von MacTutor des Mathematik-Archivs.
• Raymond Smullyan am Mathematik-Genealogie-Projekt.
• Raymond Smullyan an der Klavier-Gesellschaft