Raymond Smullyan - Raymond Smullyan

Raymond Smullyan
Smullyan-01.png
Raymond M. Smullyan, 2008.
Doğum
Raymond Merrill Smullyan

(1919-05-25)25 Mayıs 1919
Uzak Rockaway, New York, ABD
ÖldüŞubat 6, 2017(2017-02-06) (97 yaş)
Hudson, New York, ABD
MilliyetAmerikan
gidilen okulChicago Üniversitesi
Princeton Üniversitesi (Doktora)
Eş (ler)Blanche
Bilimsel kariyer
AlanlarMantık
KurumlarYeshiva Üniversitesi, New York Şehir Üniversitesi, Indiana Üniversitesi
TezBiçimsel Sistemler Teorisi (1959)
Doktora danışmanıAlonzo Kilisesi

Raymond Merrill Smullyan (/ˈsmʌlbenən/; 25 Mayıs 1919 - 6 Şubat 2017)[1][2][3] Amerikalı bir matematikçi, sihirbaz, konser piyanisti, mantıkçı, Taocu ve filozof.

Doğmak Uzak Rockaway New York, ilk kariyeri sahne büyüsüydü. O bir BSc -den Chicago Üniversitesi 1955 ve onun Doktora itibaren Princeton Üniversitesi 1959'da. Birlikte çalıştığı birçok mantıkçıdan biridir. Alonzo Kilisesi.[1]

Hayat

Far Rockaway, New York'ta Doğu Avrupalı ​​Yahudi bir ailenin çocuğu olarak dünyaya gelen Smullyan, genç yaşlardan itibaren müzikal yetenek gösterdi ve 12 yaşındayken bir piyano yarışmasında altın madalya kazandı.[1] Ertesi yıl ailesi taşındı Manhattan ve o katıldı Theodore Roosevelt Lisesi içinde Bronx müzikal yeteneklerine uygun dersler sunan. Okul matematikte benzer dersler vermediği için kendi başına çalışmaya gitti.[1] Birkaç kolejde matematik ve müzik okudu ( Pasifik Üniversitesi ve Reed Koleji ) lisans derecesi almadan önce Chicago Üniversitesi 1955 ve a Doktora matematikte Princeton Üniversitesi 1959'da.[1] Doktora tezini "Biçimsel Sistemler Teorisi" konulu doktora tezini, Alonzo Kilisesi.[4]

Doktora sırasında Smullyan 1957'de bir makale yayınladı. Journal of Symbolic Logic[5] Gödeliyen eksikliğinin, resmi sistemler çok daha basit Kurt Gödel 1931'in dönüm noktası kağıdı. Çağdaş anlayış Gödel'in teoremi 1931 tarihli bu makaleden alınmıştır. Smullyan daha sonra, Gödel'in teoremine duyulan hayranlığın çoğunun yönlendirilmesi gerektiği konusunda ikna edici bir vaka yaptı. Tarski teoremi Bu, kanıtlaması çok daha kolay ve felsefi açıdan da aynı derecede rahatsız edici.[6]

Smullyan hakkında birçok kitap yazdı eğlence matematiği ve eğlence mantığı.[7] En önemlisi, birinin başlığı Bu Kitabın Adı Nedir? ISBN  0139550623. Onun Yeni Başlayanlar İçin Daha Fazla Matematiksel Mantık Kılavuzu ISBN  978-981-4730-99-02017'de yayınlanan son kitabı oldu.

O bir matematik ve felsefe profesörüydü Lehman Koleji, CUNY Lisansüstü Merkezi ve Indiana Üniversitesi. Aynı zamanda, aynayı toprakladığı altı inçlik yansıtıcı bir teleskop kullanan amatör bir astronomdu.[1] Martin Gardner yakın bir arkadaştı.

Mantık sorunları

Mantık problemlerinin çoğu klasik bulmacaların uzantılarıdır. Şövalyeler ve Knaves şövalyeleri (her zaman doğruyu söyleyen) ve ustaları (her zaman yalan söyleyen) içerir. Bu hikaye, biri yalan söyleyen diğeri doğruyu söyleyen iki kapı ve iki korumanın hikayesine dayanıyor. Bir kapı cennete, diğeri cehenneme açılır ve bilmece, gardiyanlardan birine bir soru sorarak hangi kapının cennete açıldığını bulmaktır. Bunu yapmanın bir yolu, "Diğer muhafız hangi kapının cehenneme götürdüğünü söyler?" Diye sormaktır. Bu fikir ünlü olarak 1986 filminde kullanıldı Labirent.

Daha karmaşık bulmacalarda, yalan söyleyebilen veya doğruyu söyleyebilen ("normal" olarak anılan) karakterleri tanıtır ve ayrıca "evet" veya "hayır" yerine "evet" veya "hayır" anlamına gelen kelimeleri kullanır, ancak okuyucu hangi kelimenin ne anlama geldiğini bilmiyor. "Olarak bilinen bulmaca"şimdiye kadarki en zor mantık bulmacası "bu karakterlere ve temalara dayanıyor. Onun Transilvanya bulmacalarında, bölge sakinlerinin yarısı delidir ve yalnızca yanlış şeylere inanırken, diğer yarısı aklı başında ve yalnızca gerçek şeylere inanır. Ek olarak, insanlar her zaman doğruyu söyler ve vampirler her zaman yalan söyle. Örneğin, deli bir vampir yanlış bir şeye inanacak (2 + 2, 4 değildir) ama sonra onun hakkında yalan söyleyecek ve yanlış olduğunu söyleyecektir. Aklı başında bir vampir 2 + 2'nin 4 olduğunu bilir, ancak yalan söyler ve öyle olmadığını söyler. Ve gerekli değişiklikler yapılarak insanlar için. Böylece, aklı başında bir insan veya deli bir vampir tarafından söylenen her şey doğrudur, oysa deli bir insan veya aklı başında bir vampir tarafından söylenen her şey yanlıştır.

Onun kitabı Sonsuza Kadar Kararsız popüler hale getirir Gödel eksiklik teoremleri onları resmi sistemler ve bunlarda ispatlanabilecek şeyler yerine akıl yürütenler ve inançları açısından ifade ederek. Örneğin, bir şövalye / şövalye adasının yerlisi, yeterince bilinçli bir mantığa "Benim bir şövalye olduğuma asla inanmayacaksınız" derse, akıl yürüten kişinin şövalye olduğuna veya onun bir usta olduğuna inanamaz. tutarsızlaşmadan (yani, iki çelişkili inanca sahip olmak). Eşdeğer teorem, herhangi bir biçimsel sistem S için, "Bu ifade biçimsel sistem S'de ispatlanamaz" olarak yorumlanabilecek matematiksel bir ifade vardır. S sistemi tutarlıysa, ne ifade ne de tersi kanıtlanamaz. Ayrıca bakınız Doxastic mantık.

Müfettiş Craig, Smullyan'ın "bulmaca-romanları" nda sıkça rastlanan bir karakterdir. Genellikle doğası gereği matematiksel bir çözümü olan bir suç mahalline çağrılır. Daha sonra, giderek zorlaşan bir dizi zorlukla, o (ve okuyucu) söz konusu ilkeleri anlamaya başlar. Sonunda kısa roman, Müfettiş Craig'in (ve okuyucunun) öğrenilen matematiksel ve mantıksal ilkeleri kullanarak suçu çözmesiyle sonuçlanır. Müfettiş Craig genellikle söz konusu biçimsel teoriyi öğrenmez ve Smullyan, okuyucu için analojiyi aydınlatmak için Müfettiş Craig macerasından sonra genellikle birkaç bölüm ayırır. Müfettiş Craig adını William Craig.[kaynak belirtilmeli ]

Onun kitabı Mockingbird Alay Etmek İçin (1985), konuya eğlence amaçlı bir giriştir. birleştirme mantığı.

Smullyan, mantık hakkında yazmanın ve öğretmenin yanı sıra, en sevdiği barok klavye ve klasik piyano parçalarının bir kaydını yayınladı. Bach, Scarlatti, ve Schubert. Bazı kayıtlar Piano Society web sitesinde "Rambles, Reflections, Music and Readings" videosu ile birlikte mevcuttur. Ayrıca bir otobiyografi başlıklı Bazı İlginç Anılar: Paradoksal Bir Yaşam (ISBN  1-888710-10-1).

2001'de belgesel film yapımcısı Tao Ruspoli Smullyan hakkında bir film yaptı Bu Filmin Başlığa İhtiyacı Yok: Raymond Smullyan'ın Portresi.

Felsefe

Smullyan hakkında birkaç kitap yazdı Taocu felsefe geleneksel yöntemlerin çoğunu veya tamamını düzgün bir şekilde çözdüğüne inandığı bir felsefe felsefi sorunlar ve entegre etmenin yanı sıra matematik, mantık, ve Felsefe uyumlu bir bütün halinde. Smullyan'ın Taocu felsefe tartışmalarından biri şu soruna odaklanır: Özgür irade ölümlü bir insan ile Tanrı arasındaki hayali bir konuşmada.[8]

Seçilmiş Yayınlar

Mantık bulmacaları

  • (1978) Bu Kitabın Adı Nedir? Drakula Bilmecesi ve Diğer Mantıksal Bulmacalar ISBN  0139550623 - şövalyeler, şövalyeler ve diğer mantık bulmacaları
  • (1979) Sherlock Holmes'un Satranç Gizemleri ISBN  0394737571 - tanıtım retrograd analizi oyununda satranç.
  • (1981) Arap Şövalyelerinin Satranç Gizemleri ISBN  0192861247 - satranç problemlerinin geriye dönük analizi üzerine ikinci kitap.
  • (1982) Leydi mi Kaplan mı? ISBN  0812921178 - bayanlar, kaplanlar ve daha fazla mantık bulmacası
  • (1982) Alice Bulmaca Ülkesinde ISBN  0688007481
  • (1985) Mockingbird Alay Etmek İçin ISBN  0192801422 - kombinasyon mantığına dayalı bulmacalar
  • (1987) Sonsuza Kadar Kararsız ISBN  0192801414 - resmi sistemlerde karar verilemezliğe dayalı bulmacalar
  • (1992) Şeytan, Cantor ve Sonsuzluk ISBN  0679406883
  • (1997) Şehazade Bilmecesi ISBN  0156006065
  • (2007) George B.'nin Büyülü Bahçesi ve Diğer Mantık Bulmacaları ISBN  9788876990663, Polimetrica (Monza / İtalya)
  • (2009) Mantıksal Labirentler ISBN  9781568814438, Bir K Peters
  • (2010) Kral Arthur Köpeğini Arıyor ISBN  0486474356
  • (2013) Gödel Bulmaca Kitabı: Bulmacalar, Paradokslar ve Kanıtlar ISBN  0486497054
  • (2015) George B'nin Büyülü Bahçesi ve Diğer Mantık Bulmacaları ISBN  978-981-4675-05-5

Felsefe / anı

Akademik

  • (1961) Biçimsel Sistemler Teorisi ISBN  069108047X
  • (1968) Birinci Derece Mantık ISBN  0486683702
  • (1992) Gödel'in Eksiklik Teoremleri ISBN  0195046722
  • (1993) Metamatematik için Özyineleme Teorisi ISBN  019508232X
  • (1994) Köşegenleştirme ve Kendi Kendine Referans ISBN  0198534507
  • (1996) Küme Teorisi ve Süreklilik Problemi ISBN  0198523955
  • (2014) Yeni Başlayanlar İçin Matematiksel Mantık Rehberi ISBN  0486492370
  • (2016) Yeni Başlayanlar İçin Daha Fazla Matematiksel Mantık Kılavuzu ISBN  978-981-4730-99-0

Kaynakça

Ayrıca bakınız

Referanslar

  1. ^ a b c d e f J J O'Connor ve E F Robertson (Nisan 2002). "Smullyan biyografisi". Matematiksel ve Hesaplamalı Bilimler Okulu, St Andrews Üniversitesi. Alındı 5 Ekim 2010.
  2. ^ Osborne, Hannah (2017-02-10). "Matematikçi ve bulmaca yapımcısı Raymond Smullyan 97 yaşında öldü". International Business Times UK. Alındı 2017-02-10.
  3. ^ Sandomir Richard (2017/02/11). "Raymond Smullyan, Bulmaca Oluşturan Mantıkçı, 97 Yaşında Öldü". New York Times. Alındı 2017-02-13.
  4. ^ Smullyan, Raymond Merrill (1959). Biçimsel sistemler teorisi.
  5. ^ "Kendi kendine referansın mümkün olduğu diller". Sembolik Mantık Dergisi, cilt. 22 hayır. 1 (1957), s. 55–67.
  6. ^ Smullyan, RM (2001) "Gödel'in Eksiklik Teoremleri", Goble, Lou, ed., Blackwell Felsefi Mantık Rehberi. Blackwell (ISBN  0-631-20693-0).
  7. ^ Yeni Bir Bilim Türü [1]
  8. ^ Polis, David. "Tanrı Taoist mi?". www.mit.edu. Alındı 8 Ocak 2017.

Dış bağlantılar