Raymond Smullyan - Raymond Smullyan

Raymond Smullyan
Smullyan-01.png
Raymond M. Smullyan v roce 2008.
narozený
Raymond Merrill Smullyan

(1919-05-25)25. května 1919
Daleko Rockaway, New York, USA
Zemřel6. února 2017(2017-02-06) (ve věku 97)
Hudson, New York, USA
Národnostamerický
Alma materUniversity of Chicago
Univerzita Princeton (Ph.D.)
Manžel (y)Blanche
Vědecká kariéra
PoleLogika
InstituceYeshiva University, City University of New York, Indiana University
TezeTeorie formálních systémů (1959)
Doktorský poradceAlonzo Church

Raymond Merrill Smullyan (/ˈsmʌliən/; 25. května 1919 - 6. února 2017)[1][2][3] byl americký matematik, kouzelník, koncertní pianista, logik, Taoista a filozof.

Narozen v Daleko Rockaway V New Yorku byla jeho první kariéra divadelní magie. Získal a BSc z University of Chicago v roce 1955 a jeho Ph.D. z Univerzita Princeton v roce 1959. Je jedním z mnoha logiků, se kterými studoval Alonzo Church.[1]

Život

Smullyan, který se narodil ve Far Rockaway v New Yorku východoevropským židovským rodičům (původně se jmenovali Schmulian), projevoval hudební talent od mladého věku a ve věku 12 let získal zlatou medaili v klavírní soutěži.[1] Následující rok se jeho rodina přestěhovala do Manhattan a zúčastnil se Střední škola Theodora Roosevelta v Bronx, který nabízel kurzy přizpůsobené jeho hudebním talentům. Odešel studovat sám, protože škola podobné kurzy matematiky nenabízela.[1] Vystudoval matematiku a hudbu na několika vysokých školách (včetně Pacifická univerzita a Reed College ) před obdržením vysokoškolského titulu z University of Chicago v roce 1955 a Ph.D. v matematice od Univerzita Princeton v roce 1959.[1] Doktorskou disertační práci s názvem "Teorie formálních systémů" ukončil pod vedením Alonzo Church.[4]

Zatímco Ph.D. Smullyan publikoval článek v roce 1957 Journal of Symbolic Logic[5] což ukazuje, že Gödelianova neúplnost platila formální systémy podstatně elementárnější než u Kurt Gödel orientační papír z roku 1931. Současné chápání Gödelova věta data z tohoto článku z roku 1931. Smullyan později učinil přesvědčivý případ, že velká část fascinace Gödelovou teorémou by měla směřovat k Tarskiho věta, což je mnohem snazší dokázat a stejně filozoficky znepokojivé.[6]

Smullyan napsal mnoho knih o rekreační matematika a rekreační logika.[7] Nejpozoruhodnější je, že jeden má název Jak se tato kniha jmenuje? ISBN  0139550623. Jeho Další průvodce pro začátečníky k matematické logice ISBN  978-981-4730-99-0, vydané v roce 2017, byla jeho poslední knihou.

Byl profesorem matematiky a filozofie na Lehman College, CUNY Graduate Center a Indiana University. Byl také amatérským astronomem a používal šestipalcový odrážející dalekohled, pro který uzemnil zrcadlo.[1] Martin Gardner byl blízký přítel.

Logické problémy

Mnoho z jeho logických problémů jsou rozšíření klasických hádanek. Rytíři a rytíři zahrnuje rytíře (kteří vždy říkají pravdu) a rytíře (kteří vždy lžou). Toto je založeno na příběhu dvou dveří a dvou strážců, jednoho, který lže a jednoho, který říká pravdu. Jedny dveře vedou do nebe a jedny do pekla. Hádankou je zjistit, které dveře vedou do nebe, položením otázky jednomu ze strážců. Jedním ze způsobů, jak toho dosáhnout, je zeptat se: „Které dveře by podle druhého strážného vedly do pekla?“. Tato myšlenka byla skvěle použita ve filmu z roku 1986 Labyrint.

Ve složitějších hádankách představuje postavy, které mohou lhát nebo říkat pravdu (označované jako „normály“), a místo odpovědí „ano“ nebo „ne“ použít slova, která znamenají „ano“ nebo „ne“, ale čtenář neví, které slovo znamená které. Hádanka známá jako „nejtěžší logická hádanka vůbec „je založen na těchto postavách a tématech. V jeho hádankách v Transylvánii je polovina obyvatel šílená a věří jen falešným věcem, zatímco druhá polovina je zdravá a věří jen skutečným věcem. Kromě toho lidé vždy říkají pravdu a upíři vždy lež. Například šílený upír uvěří falešné věci (2 + 2 není 4), ale pak o tom bude lhát a říkat, že je to falešné. Příčetný upír ví, že 2 + 2 jsou 4, ale bude lhát a říkat, že tomu tak není. A mutatis mutandis pro lidi. Všechno, co říká šílený člověk nebo šílený upír, je tedy pravdivé, zatímco vše, co říká šílený člověk nebo duševně zdravý upír, je nepravdivé.

Jeho kniha Navždy nerozhodnuto popularizuje Gödel's věty o neúplnosti tím, že je formuluje ve smyslu uvažujících a jejich přesvědčení, spíše než formálních systémů a toho, co v nich lze dokázat. Například, když rodák z rytířského / knavského ostrova řekne dostatečně sebevědomému uvažovateli: „Nikdy neuvěříš, že jsem rytíř“, uvažovatel nemůže uvěřit, že rodák je rytíř nebo že je rytíř aniž by se stal nekonzistentním (tj. držel dvě protichůdné víry). Ekvivalentní věta je, že pro jakýkoli formální systém S existuje matematický výrok, který lze interpretovat jako „Tento výrok není ve formálním systému S dokázatelný“. Pokud je systém S konzistentní, nebude v něm prokazatelné ani tvrzení, ani jeho opak. Viz také Doxastická logika.

Inspektor Craig je častou postavou Smullyanových „logických novinek“. Obecně je povolán na místo činu, které má řešení matematické povahy. Poté, prostřednictvím řady stále náročnějších výzev, začne on (i čtenář) chápat dané zásady. Nakonec novela vyvrcholí řešením zločinu inspektorem Craigem (a čtenářem) s využitím osvojených matematických a logických principů. Inspektor Craig se obecně nenaučí dotyčnou formální teorii a Smullyan si obvykle vyhrazuje několik kapitol po dobrodružství inspektora Craiga, aby osvětlil analogii čtenáře. Inspektor Craig má své jméno William Craig.[Citace je zapotřebí ]

Jeho kniha Vysmívat ptáčka (1985) je rekreační úvod do předmětu kombinační logika.

Kromě psaní a výuky logiky vydal Smullyan nahrávku své oblíbené barokní klávesy a klasických klavírních skladeb od skladatelů, jako jsou Bach, Scarlatti, a Schubert. Některé nahrávky jsou k dispozici na webových stránkách Piano Society spolu s videem „Rambles, Reflections, Music and Readings“. Napsal také autobiografie s názvem Některé zajímavé vzpomínky: Paradoxní život (ISBN  1-888710-10-1).

V roce 2001 dokumentarista Tao Ruspoli natočil film o Smullyanovi Tento film nepotřebuje žádný název: Portrét Raymonda Smullyana.

Filozofie

Smullyan napsal několik knih o Taoistická filozofie Filozofie, o které věřil, že úhledně vyřešila většinu nebo všechny tradiční filozofické problémy stejně jako integrace matematika, logika, a filozofie do soudržného celku. Jedna z Smullyanových diskusí o taoistické filozofii se soustředí na otázku svobodná vůle ve smyšleném rozhovoru mezi smrtelným člověkem a Bohem.[8]

Vybrané publikace

Logické hádanky

  • (1978) Jak se tato kniha jmenuje? Riddle of Dracula and Other Logical Puzzles ISBN  0139550623 - rytíři, rytíři a další logické hádanky
  • (1979) Šachové tajemství Sherlocka Holmese ISBN  0394737571 - představuji retrográdní analýza ve hře šachy.
  • (1981) Šachová tajemství arabských rytířů ISBN  0192861247 - druhá kniha o retrográdních analýzách šachových problémů.
  • (1982) Dáma nebo tygr? ISBN  0812921178 - dámy, tygři a další logické hádanky
  • (1982) Alice in Puzzle-Land ISBN  0688007481
  • (1985) Vysmívat ptáčka ISBN  0192801422 - hádanky založené na kombinační logice
  • (1987) Navždy nerozhodnuto ISBN  0192801414 - hádanky založené na nerozhodnutelnosti ve formálních systémech
  • (1992) Satan, kantor a nekonečno ISBN  0679406883
  • (1997) Riddle of Scheherazade ISBN  0156006065
  • (2007) The Magic Garden of George B. and Other Logic Puzzles ISBN  9788876990663, Polimetrica (Monza / Itálie)
  • (2009) Logické labyrinty ISBN  9781568814438, K Peters
  • (2010) Král Artuš při hledání svého psa ISBN  0486474356
  • (2013) Godelian Puzzle Book: Puzzle, Paradoxes and Proofs ISBN  0486497054
  • (2015) Magic Garden of George B a další logické hádanky ISBN  978-981-4675-05-5

Filozofie / monografie

Akademický

  • (1961) Teorie formálních systémů ISBN  069108047X
  • (1968) Logika prvního řádu ISBN  0486683702
  • (1992) Gödelovy věty o neúplnosti ISBN  0195046722
  • (1993) Teorie rekurze pro matematiku ISBN  019508232X
  • (1994) Diagonalizace a vlastní reference ISBN  0198534507
  • (1996) Teorie množin a problém kontinua ISBN  0198523955
  • (2014) Průvodce pro začátečníky k matematické logice ISBN  0486492370
  • (2016) Další průvodce pro začátečníky k matematické logice ISBN  978-981-4730-99-0

Bibliografie

Viz také

Reference

  1. ^ A b C d E F J. J. O'Connor a E. F. Robertson (duben 2002). "Smullyan biografie". School of Mathematical and Computational Sciences, University of St Andrews. Citováno 5. října 2010.
  2. ^ Osborne, Hannah (10.02.2017). „Matematik a tvůrce skládaček Raymond Smullyan zemřel ve věku 97 let“. International Business Times UK. Citováno 2017-02-10.
  3. ^ Sandomir, Richard (11.02.2017). „Raymond Smullyan, logik vytvářející logiku, umírá v 97 letech“. New York Times. Citováno 2017-02-13.
  4. ^ Smullyan, Raymond Merrill (1959). Teorie formálních systémů.
  5. ^ Msgstr "Jazyky, ve kterých je možná vlastní reference". The Journal of Symbolic Logic, sv. 22 č. 1 (1957), s. 55–67.
  6. ^ Smullyan, R M (2001) „Gödelovy věty o neúplnosti“ v Goble, Lou, ed., Blackwell Guide to Philosophical Logic. Blackwell (ISBN  0-631-20693-0).
  7. ^ Nový druh vědy [1]
  8. ^ Policar, David. „Je Bůh taoista?“. www.mit.edu. Citováno 8. ledna 2017.

externí odkazy