Реймонд Меррілл Смалліан | |
---|---|
англ. Raymond Smullyan | |
Реймонд Смалліан | |
Ім'я при народженні | англ. Raymond Merrill Smullyan[1] |
Народився | 25 травня 1919 Квінз, Нью-Йорк |
Помер | 6 лютого 2017 (97 років) Гадсон, Нью-Йорк, США |
Поховання | d[2] |
Країна | США |
Діяльність | математик, піаніст, філософ, викладач університету, інформатик, фокусник, шаховий композитор |
Alma mater | Принстонський університет (1959)[1] Чиказький університет (1944)[1] d[1] d[1] d[1] Університет Вісконсин-Медісон (1944)[1] Чиказький університет (1954)[1] |
Галузь | логіка, математика, філософія |
Заклад | Принстонський університет[1] Міський університет Нью-Йорка[1] Університет Індіани[1] d[1] d[1] Дартмутський коледж[1] |
Науковий керівник | Алонзо Черч |
Аспіранти, докторанти | d[3] d[3] d[3] d[3] d[3] d[3] d[3] d[3] d[3] |
Особ. сторінка | raymondsmullyan.com |
Реймонд Смалліан у Вікісховищі |
Ця стаття містить правописні, лексичні, граматичні, стилістичні або інші мовні помилки, які треба виправити. |
Реймонд Меррілл Смалліан (англ. Raymond Merrill Smullyan; 25 травня 1919, Квінз, Нью-Йорк — 6 лютого 2017, Гадсон, штат Нью-Йорк) — американський математик, піаніст, логік, даоський філософ і фокусник-престидижитатор.
Смалліан — автор численних науково-популярних книг з логіки та математики: про логічні загадки та парадокси, передові концепції логіки, наприклад, про теорему Геделя про неповноту. У книзі про шахи «Шахові пригоди Шерлока Холмса» (англ. The Chess Mysteries of Sherlock Holmes; 1979), у стилі творів Артура Конан Дойля про Шерлока Холмса і доктора Ватсона, описано вступ до ретроспективного аналізу.
Крім того, Смалліан написав кілька книг про даоську філософію, в яких зроблена спроба розв'язання більшості філософських проблем та інтеграції математики, логіки й філософії.
Життя
Смалліан народився в місті Фар-Роквей, штат Нью-Йорк, мав музичний талант, виграв золоту медаль у конкурсі піаністів, коли йому було 12 років. У наступному році його сім'я переїхала на Манхеттен, і він навчався в Теодор Рузвельтській середній школі в Бронксі, ця школа запропонувала йому курси, які підходили для його музичних талантів, але він вирішив вчитися самостійно, бо в школі не пропонували подібні курси з математики. Він відвідував декілька коледжів, які вивчали математику і музику.
У 1957 Смалліан опублікував статтю в Журналі символічної логіки, в якій показав, що теореми Геделя набагато простіше формулюється для формальних систем, ніж в оригінальній роботі Геделя. Точкою відліку сучасного розуміння Геделевої неповноти є саме ця стаття. Пізніше Смалліан навів переконливі аргументи на користь того, що більша частина ажіотажу з теоремою Геделя повинна бути спрямована на теорему Тарського, яку довести простіше, й яка не менш загадкова з філософської точки зору.
Смалліан є автором багатьох книг із рекреаційної математики та рекреаційної логіки.
Він був професором філософії в Сіті-коледжі в Нью-Йорку і в університеті Індіани. Він також астроном-любитель, використовував шестидюймовий телескоп-рефлектор.
У 2001 році документальний кінорежисер [en] створив фільм про Смалліана «Цей фільм потребує ніякого назви: портрет Раймонда Смалліан».
Книга Смалліана «Передражнювати пересмішника» (англ. To Mock a Mockingbird, 1985) — рекреаційне введення до теми комбінаторної логіки.
Крім написання та викладання логіки, Смалліан випустив запис своєї улюбленої барокової клавіатури та класичних фортепіано таких композиторів, як Бах, Скарлатті та Шуберт. Деякі записи доступні на вебсайті товариства гравців на піаніно разом із відеороликом «Рамблз, зображення, музика та читання». Він також написав автобіографію під назвою «Деякі цікаві спогади: парадоксальне життя».
Проблеми логіки
Багато з його логічних завдань є розширеннями класичних загадок. Лицарів (які завжди кажуть правду) і шахраї (які завжди брешуть). Це ґрунтується на історії двох дверей і двох вартових, хто бреше, і той, хто говорить правду. Одні двері ведуть до небес і до пекла, і загадка полягає в тому, щоб дізнатись, яка двері веде до небес, питаючи одного з охоронців питання. Один зі способів зробити це — запитати: "Які двері приведуть до пекла?". Ця ідея була чудово використана у фільмі "Лабіринт 1986".
У більш складних загадках він вводить персонажів, які можуть брехати або казати правду, і, крім того, відповідаючи "так" чи "ні", використовують слова, що означають "так" або "ні", але читач не знає, яке слово що означає. Загадка, яка називається "найскладніша логічна задача", заснована на цих персонажах та темах. У своїх загадках у Трансільванії половина мешканців божевільна і вірять лише фальшивим речам, тоді як інша половина здорова і вірить лише в справжні речі. Крім того, люди завжди кажуть правду, і вампіри завжди брешуть. Наприклад, божевільний вампір вірить у фальшиві речі (2 + 2 не 4), але потім про це брешуть і кажуть, що це неправда. Розумний вампір знає 2 + 2 = 4, але буде брехати та говорити, що це не так. Таким чином, все, що розповідає здорова людина або божевільний вампір є істинним, тоді як все, що каже божевільна людина або здоровий вампір є помилковим.
Список творів англійською мовою
Логічні головоломки
- (1978) What Is the Name of This Book?
- (1979) The Chess Mysteries of Sherlock Holmes
- (1981) The Chess Mysteries of the Arabian Knights
- (1982) The Lady or the Tiger?
- (1982) Alice in Puzzle-Land
- (1985) To Mock a Mockingbird
- (1987) Forever Undecided
- (1992) Satan, Cantor and Infinity
- (1997) The Riddle of Scheherazade
- (2007) The Magic Garden of George B. And Other Logic Puzzles, Polimetrica (Monza / Italy)
- (2009) Logical Labyrinths, A K Peters
- (2010) King Arthur in Search of His Dog and Other Curious Puzzles, Dover
Філософія
- (1977) The Tao is Silent
- (1980) This Book Needs No Title
- (1983) 5000 B.C. and other philosophical fantasies
- (2002) Some Interesting Memories: A Paradoxical Life
- (2003) Who Knows ?: A Study of Religious Consciousness
- (2009) Rambles Through My Library, Praxis International
Наукові праці
- (1961) Theory of Formal Systems
- (1968) First-Order Logic
- (1992) Gödel's Incompleteness Theorems
- (1993) Recursion Theory for Metamathematics
- (1994) Diagonalization and Self-Reference
- (1996) Set Theory and the Continuum Problem
Список творів російською мовою
- Яку назву має ця книга? Пер. з англійської та предмова. Ю. А. Данилова. М .: Мир, 1981. - 238 с.
- Принцеса або тигр? Пер. з англійської І. Е. Зіно. М .: ИД Мещерякова, 2009.- 352 с. (перше видання - М .: Мир, 1985.- 221 с.)
- Мовчазний Дао. Пер. з англійської В. В. Целищева. - М .: «Канон +», РООИ «Реабілітація», 2012. - 224 с.
- Шахові таємниці. 100 найважчих завдань, пов'язаних з розслідуваннями в області шахів. Пер. з англійської П. Бистров. М .: «Канон +», -2012 240 с.
- Загадка Шахерезади та інші дивовижні стародавні та сучасні головоломки. Пер. з англійської П. Бистров. М .: «Лорі», 2012.- 260 с.
- Пригоди Аліси в Країні Головоломок. Пер. з англійської Є. А. Трофімової., іл. Н. М. Крашина. М .: «Просвіта», 2008. - 176 с.
- Довіку невирішене. Шлях до Геделем через цікаві загадки. Пер. з англійської В. В. Целищева. - М .: «Канон +» РООИ «Реабілітація», 2012. - 303 с.
- Довіку невирішене. Головоломне керівництво по Геделю. Пер. з англійської П. Бистрова. - М .: "Лорі", 2013. - 316 с.
Примітки
- Архів історії математики Мактьютор — 1994.
- Find a Grave — 1996.
- Математичний генеалогічний проєкт — 1997.
Посилання
- Raymond Smullyan [ 17 червня 2007 у Wayback Machine.] нa сайті Mathematics Genealogy Project (англ.)
Це незавершена стаття про особу. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Batko Posada Diti Druzhina Mati Cholovik Rejmond Merrill Smallianangl Raymond SmullyanRejmond SmallianIm ya pri narodzhenniangl Raymond Merrill Smullyan 1 Narodivsya25 travnya 1919 1919 05 25 Kvinz Nyu JorkPomer6 lyutogo 2017 2017 02 06 97 rokiv Gadson Nyu Jork SShAPohovannyad 2 Krayina SShADiyalnistmatematik pianist filosof vikladach universitetu informatik fokusnik shahovij kompozitorAlma materPrinstonskij universitet 1959 1 Chikazkij universitet 1944 1 d 1 d 1 d 1 Universitet Viskonsin Medison 1944 1 Chikazkij universitet 1954 1 Galuzlogika matematika filosofiyaZakladPrinstonskij universitet 1 Miskij universitet Nyu Jorka 1 Universitet Indiani 1 d 1 d 1 Dartmutskij koledzh 1 Naukovij kerivnikAlonzo CherchAspiranti doktorantid 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 Osob storinkaraymondsmullyan com Rejmond Smallian u Vikishovishi Cya stattya mistit pravopisni leksichni gramatichni stilistichni abo inshi movni pomilki yaki treba vipraviti Vi mozhete dopomogti vdoskonaliti cyu stattyu pogodivshi yiyi iz chinnimi movnimi standartami Rejmond Merrill Smallian angl Raymond Merrill Smullyan 25 travnya 1919 Kvinz Nyu Jork 6 lyutogo 2017 Gadson shtat Nyu Jork amerikanskij matematik pianist logik daoskij filosof i fokusnik prestidizhitator Smallian avtor chislennih naukovo populyarnih knig z logiki ta matematiki pro logichni zagadki ta paradoksi peredovi koncepciyi logiki napriklad pro teoremu Gedelya pro nepovnotu U knizi pro shahi Shahovi prigodi Sherloka Holmsa angl The Chess Mysteries of Sherlock Holmes 1979 u stili tvoriv Artura Konan Dojlya pro Sherloka Holmsa i doktora Vatsona opisano vstup do retrospektivnogo analizu Krim togo Smallian napisav kilka knig pro daosku filosofiyu v yakih zroblena sproba rozv yazannya bilshosti filosofskih problem ta integraciyi matematiki logiki j filosofiyi ZhittyaSmallian narodivsya v misti Far Rokvej shtat Nyu Jork mav muzichnij talant vigrav zolotu medal u konkursi pianistiv koli jomu bulo 12 rokiv U nastupnomu roci jogo sim ya pereyihala na Manhetten i vin navchavsya v Teodor Ruzveltskij serednij shkoli v Bronksi cya shkola zaproponuvala jomu kursi yaki pidhodili dlya jogo muzichnih talantiv ale vin virishiv vchitisya samostijno bo v shkoli ne proponuvali podibni kursi z matematiki Vin vidviduvav dekilka koledzhiv yaki vivchali matematiku i muziku U 1957 Smallian opublikuvav stattyu v Zhurnali simvolichnoyi logiki v yakij pokazav sho teoremi Gedelya nabagato prostishe formulyuyetsya dlya formalnih sistem nizh v originalnij roboti Gedelya Tochkoyu vidliku suchasnogo rozuminnya Gedelevoyi nepovnoti ye same cya stattya Piznishe Smallian naviv perekonlivi argumenti na korist togo sho bilsha chastina azhiotazhu z teoremoyu Gedelya povinna buti spryamovana na teoremu Tarskogo yaku dovesti prostishe j yaka ne mensh zagadkova z filosofskoyi tochki zoru Smallian ye avtorom bagatoh knig iz rekreacijnoyi matematiki ta rekreacijnoyi logiki Vin buv profesorom filosofiyi v Siti koledzhi v Nyu Jorku i v universiteti Indiani Vin takozh astronom lyubitel vikoristovuvav shestidyujmovij teleskop reflektor U 2001 roci dokumentalnij kinorezhiser en stvoriv film pro Smalliana Cej film potrebuye niyakogo nazvi portret Rajmonda Smallian Kniga Smalliana Peredrazhnyuvati peresmishnika angl To Mock a Mockingbird 1985 rekreacijne vvedennya do temi kombinatornoyi logiki Krim napisannya ta vikladannya logiki Smallian vipustiv zapis svoyeyi ulyublenoyi barokovoyi klaviaturi ta klasichnih fortepiano takih kompozitoriv yak Bah Skarlatti ta Shubert Deyaki zapisi dostupni na vebsajti tovaristva gravciv na pianino razom iz videorolikom Ramblz zobrazhennya muzika ta chitannya Vin takozh napisav avtobiografiyu pid nazvoyu Deyaki cikavi spogadi paradoksalne zhittya Problemi logikiBagato z jogo logichnih zavdan ye rozshirennyami klasichnih zagadok Licariv yaki zavzhdi kazhut pravdu i shahrayi yaki zavzhdi breshut Ce gruntuyetsya na istoriyi dvoh dverej i dvoh vartovih hto breshe i toj hto govorit pravdu Odni dveri vedut do nebes i do pekla i zagadka polyagaye v tomu shob diznatis yaka dveri vede do nebes pitayuchi odnogo z ohoronciv pitannya Odin zi sposobiv zrobiti ce zapitati Yaki dveri privedut do pekla Cya ideya bula chudovo vikoristana u filmi Labirint 1986 U bilsh skladnih zagadkah vin vvodit personazhiv yaki mozhut brehati abo kazati pravdu i krim togo vidpovidayuchi tak chi ni vikoristovuyut slova sho oznachayut tak abo ni ale chitach ne znaye yake slovo sho oznachaye Zagadka yaka nazivayetsya najskladnisha logichna zadacha zasnovana na cih personazhah ta temah U svoyih zagadkah u Transilvaniyi polovina meshkanciv bozhevilna i viryat lishe falshivim recham todi yak insha polovina zdorova i virit lishe v spravzhni rechi Krim togo lyudi zavzhdi kazhut pravdu i vampiri zavzhdi breshut Napriklad bozhevilnij vampir virit u falshivi rechi 2 2 ne 4 ale potim pro ce breshut i kazhut sho ce nepravda Rozumnij vampir znaye 2 2 4 ale bude brehati ta govoriti sho ce ne tak Takim chinom vse sho rozpovidaye zdorova lyudina abo bozhevilnij vampir ye istinnim todi yak vse sho kazhe bozhevilna lyudina abo zdorovij vampir ye pomilkovim Spisok tvoriv anglijskoyu movoyuLogichni golovolomki 1978 What Is the Name of This Book 1979 The Chess Mysteries of Sherlock Holmes 1981 The Chess Mysteries of the Arabian Knights 1982 The Lady or the Tiger 1982 Alice in Puzzle Land 1985 To Mock a Mockingbird 1987 Forever Undecided 1992 Satan Cantor and Infinity 1997 The Riddle of Scheherazade 2007 The Magic Garden of George B And Other Logic Puzzles Polimetrica Monza Italy 2009 Logical Labyrinths A K Peters 2010 King Arthur in Search of His Dog and Other Curious Puzzles Dover Filosofiya 1977 The Tao is Silent 1980 This Book Needs No Title 1983 5000 B C and other philosophical fantasies 2002 Some Interesting Memories A Paradoxical Life 2003 Who Knows A Study of Religious Consciousness 2009 Rambles Through My Library Praxis International Naukovi praci 1961 Theory of Formal Systems 1968 First Order Logic 1992 Godel s Incompleteness Theorems 1993 Recursion Theory for Metamathematics 1994 Diagonalization and Self Reference 1996 Set Theory and the Continuum ProblemSpisok tvoriv rosijskoyu movoyuYaku nazvu maye cya kniga Per z anglijskoyi ta predmova Yu A Danilova M Mir 1981 238 s Princesa abo tigr Per z anglijskoyi I E Zino M ID Mesheryakova 2009 352 s pershe vidannya M Mir 1985 221 s Movchaznij Dao Per z anglijskoyi V V Celisheva M Kanon ROOI Reabilitaciya 2012 224 s Shahovi tayemnici 100 najvazhchih zavdan pov yazanih z rozsliduvannyami v oblasti shahiv Per z anglijskoyi P Bistrov M Kanon 2012 240 s Zagadka Shaherezadi ta inshi divovizhni starodavni ta suchasni golovolomki Per z anglijskoyi P Bistrov M Lori 2012 260 s Prigodi Alisi v Krayini Golovolomok Per z anglijskoyi Ye A Trofimovoyi il N M Krashina M Prosvita 2008 176 s Doviku nevirishene Shlyah do Gedelem cherez cikavi zagadki Per z anglijskoyi V V Celisheva M Kanon ROOI Reabilitaciya 2012 303 s Doviku nevirishene Golovolomne kerivnictvo po Gedelyu Per z anglijskoyi P Bistrova M Lori 2013 316 s PrimitkiArhiv istoriyi matematiki Maktyutor 1994 d Track Q547473 Find a Grave 1996 d Track Q63056 Matematichnij genealogichnij proyekt 1997 d Track Q829984PosilannyaRaymond Smullyan 17 chervnya 2007 u Wayback Machine na sajti Mathematics Genealogy Project angl Ce nezavershena stattya pro osobu Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi