✖


Jump to content

Раймонд Смалльян

(Перенаправлено с Рэймонда Меррила Смалляна )
Раймонд Смалльян
Раймонд М. Смалльян в 2008 году.
Рожденный
Рэймонд Меррилл Смалльян

( 1919-05-25 ) 25 мая 1919 г.
Фар-Рокавей , Нью-Йорк, США
Умер 6 февраля 2017 г. ) ( 2017-02-06 ) ( 97 лет
Хадсон, Нью-Йорк , США
Национальность Американский
Альма-матер Чикагский университет
Принстонский университет (доктор философии)
Супруг Бланш
Научная карьера
Поля Логика
Учреждения Дартмутский колледж , Принстонский университет , Университет Ешива , Колледж Леман , Городской университет Нью-Йорка , Университет Индианы
Диссертация Теория формальных систем   (1959)
Докторантура Церковь Алонсо

Рэймонд Меррилл Смаллян ( / ˈ s m ʌ l i ə n / ; 25 мая 1919 - 6 февраля 2017) [1] [2] [3] был американским математиком, фокусником, концертирующим пианистом, логиком , даосом и философом.

Он родился в Фар-Рокавей , штат Нью-Йорк, и его первой карьерой было сценическое волшебство. Он получил степень бакалавра наук в Чикагском университете в 1955 году и докторскую степень в Принстонском университете в 1959 году. Он один из многих логиков, обучавшихся у Алонзо Чёрча . [1]

Жизнь

[ редактировать ]

Он родился 25 мая 1919 года в Фар-Рокавей, Квинс, Нью-Йорк, в еврейской семье ашкенази . Его отцом был Исидор Смуллян, бизнесмен российского происхождения, который эмигрировал в Бельгию в молодости и окончил Антверпенский университет , его родным языком был французский. Его матерью была Розина Смалльян (урожденная Фриман), художница и актриса, родившаяся и выросшая в Лондоне. [4] Оба родителя были музыкальными: его отец играл на скрипке, а мать - на фортепиано. [5] Он был младшим из троих детей. Его старший брат, Эмиль Бенуа Смалльян, позже стал экономистом под именем Эмиль Бенуа. Его сестрой была Глэдис Смаллиан, позже Глэдис Гвинн. [6] Его двоюродным братом был философ Артур Фрэнсис Смалльян (1912–1998). [7] В Фар-Рокавей он был одноклассником Ричарда Фейнмана в начальной школе . [5]

Смаллян проявлял музыкальный талант с юных лет, играя на скрипке и фортепиано. Он учился у пианистки Грейс Хофхаймер в Нью-Йорке. [8] У него был абсолютный слух. [5] Он начал интересоваться логикой в ​​возрасте 5 лет. [9] В 1931 году он выиграл золотую медаль на конкурсе пианистов Ассоциации Нью-Йоркской музыкальной недели, когда ему было 12 лет (годом ранее он выиграл серебряную медаль). [5] После окончания начальной школы депрессия вынудила его семью переехать в Манхэттен , и он поступил в среднюю школу Теодора Рузвельта в Бронксе . Он играл на скрипке в школьном оркестре, но больше времени уделял игре на фортепиано. В старшей школе он влюбился в математику, когда посещал уроки геометрии. Однако, помимо занятий по геометрии, физике и химии, он был недоволен своей средней школой и бросил учебу. Он самостоятельно изучал математику, включая аналитическую геометрию, исчисление и современную высшую алгебру, в частности теорию групп и теорию Галуа. Он прослушал курс Эрнеста Нагеля в Колумбийском университете, который слушал его двоюродный брат Артур Смаллян, и независимо открыл булевы кольца. Он также провел год в Кембриджской Ринджской и Латинской школе . [5] Он не окончил среднюю школу, но сдал экзамены Совета колледжа, чтобы поступить в колледж. [5] Он изучал математику и музыку в Тихоокеанском университете в Орегоне в течение одного семестра и в Рид-колледже менее семестра, прежде чем последовать за пианистом Берхардом Абрамовичем в Сан-Франциско. [5] Он прослушал занятия в Калифорнийском университете в Беркли , прежде чем вернуться в Нью-Йорк, где продолжил независимое изучение современной абстрактной алгебры. В это время он составил ряд шахматных задач, которые были опубликованы много лет спустя; он также изучил магию.

В возрасте 24 лет он поступил на три семестра в Университет Висконсин-Мэдисон , потому что хотел изучать современную алгебру у профессора, книгу которого он читал. [10] Позже он перешел в Чикагский университет и специализировался на математике. После перерыва, в течение которого он работал фокусником в Нью-Йорке и встретил свою первую жену, он вернулся в Чикагский университет, где также работал по ночам фокусником и преподавал фортепиано на факультете Университета Рузвельта . Находясь в Чикаго, он прошел три курса у философа Рудольфа Карнапа , для которых написал три курсовых работы. Карнап рекомендовал ему отправить первую курсовую работу Уилларду Ван Орману Куайну , что он и сделал. Куайн ответил, что ему следует поработать над своей идеей о том, что делает теорию количественной оценки действенной. Из двух других курсовых работ одна, озаглавленная «Языки, на которых возможна самореференция» (которую Карнап показал Курту Гёделю ), была позже опубликована в 1957 году. Другая была позже опубликована в его книге 1961 года «Теория формальных систем ». Еще будучи студентом Чикагского университета, по рекомендации Карнапа он был принят на работу к Джону Г. Кемени , заведующему кафедрой математики в Дартмутский колледж . Он преподавал в Дартмуте два года. За это время он расстался со своей первой женой, с которой позже развелся. Он также навещал своих друзей Глорию и Марвина Мински (Глория Мински была его двоюродной сестрой) в Кембридже, штат Массачусетс. [5] Чикагский университет после борьбы между преподавателями и администрацией согласился присвоить Смалляну степень бакалавра наук по математике в 1955 году, частично на основе курсов, которые он преподавал в Дартмуте (хотя он не проходил их в Чикаго). И Карнап, и Кемени помогли ему поступить в аспирантуру по математике в Принстонском университете . [11] Он получил докторскую степень по математике в Принстонском университете в 1959 году. Он защитил докторскую диссертацию под названием «Теория формальных систем» под руководством Алонсо Чёрча , которая была опубликована в 1961 году. [12] Будучи аспирантом Принстона, он встретил свою вторую жену, Бланш, пианистку и учительницу, родившуюся в Бельгии, на которой он был женат 48 лет, пока она не умерла в 2006 году.

Будучи аспирантом, его курсовая работа для Карнапа «Языки, на которых возможна самореференция» была опубликована в 1957 году в « Журнале символической логики» . [13] показывая, что гёделевская неполнота справедлива для формальных систем, значительно более элементарных, чем в знаковой статье Курта Гёделя 1931 года. Современное понимание теоремы Гёделя восходит к этой статье. Позже Смалльян привел убедительные аргументы в пользу того, что большая часть увлечения теоремой Гёделя должна быть направлена ​​на теорему Тарского , которую гораздо легче доказать и которая не менее тревожна с философской точки зрения. [14]

Получив докторскую степень в Принстоне, он два года преподавал в Принстоне. Впоследствии он преподавал в Нью-Йоркском университете , в Государственном университете Нью-Йорка в Нью-Палтце , в Смит-колледже и в Высшей научной школе Белфера в Университете Йешива , прежде чем стать профессором математики и информатики в Леман-колледже в Бронксе. где он преподавал студентам бакалавриата с 1968 по 1984 год. [15] Он также был профессором философии в Центре аспирантуры CUNY с 1976 по 1984 год, где преподавал аспирантам. [16] Впоследствии он был профессором философии в Университете Индианы , где преподавал как студентам, так и аспирантам. Он также был астрономом-любителем и использовал шестидюймовый телескоп-рефлектор, для которого заземлил зеркало. [1] коллега-математик Мартин Гарднер Его близким другом был .

Смалльян написал много книг по развлекательной математике и развлекательной логике. В частности, одна из них называется « Как называется эта книга?» ISBN   0139550623 . Его дальнейшее руководство по математической логике для начинающих. ISBN   978-981-4730-99-0 , опубликованный в 2017 году, стал его последней книгой.

Логические проблемы

[ редактировать ]

Многие из его логических задач являются продолжением классических головоломок. В «Рыцарях и лжецах» участвуют рыцари (которые всегда говорят правду) и лжецы (которые всегда лгут). Это основано на истории о двух дверях и двух охранниках, один из которых лжет, а другой говорит правду. Одна дверь ведет в рай, а другая в ад, и загадка состоит в том, чтобы узнать, какая дверь ведет в рай, задав вопрос одному из охранников. Один из способов сделать это — спросить: «Какая дверь, по словам другого охранника, ведет в ад?». К сожалению, это не удается, поскольку лжец может ответить: «Он сказал бы, что дверь в рай ведет в ад», а говорящий правду ответит: «Он сказал бы, что дверь в рай ведет в ад». Вы должны указать на одну из дверей, а также просто задать вопрос. Например, как объяснил философ Ричард Тернбулл, вы можете указать на любую дверь и спросить: «Скажет ли другой охранник, что это дверь в рай?» Говорящий правду скажет «Нет», если это действительно дверь в рай, как и лжец. Итак, вы выбираете эту дверь. Говорящий правду ответит «Да», если это дверь в ад, как и лжец, поэтому вы выбираете другую дверь. Обратите также внимание, что нам ничего не говорят о целях ни одного из охранников: насколько мы знаем, лжец может хотеть помочь нам, а говорящий правду - не помочь нам, или оба они безразличны, поэтому нет оснований думать, что кто-то из них захочет помочь нам. фразовые ответы, которые обеспечивают нам наиболее оптимально доступный вид понимания. В этом кроется решающая роль указания прямо на дверь, когда задается вопрос. Эта идея была широко использована в фильме 1986 года. Лабиринт .

В более сложных головоломках он представляет персонажей, которые могут лгать или говорить правду (называемых «нормальными»), и, кроме того, вместо ответа «да» или «нет» использует слова, означающие «да» или «нет», но читатель не знает, какое слово что означает. Головоломка, известная как « самая сложная логическая головоломка на свете », основана на этих персонажах и темах. В его головоломках о Трансильвании половина жителей безумны и верят только в ложь, тогда как другая половина в здравом уме и верит только в правду. Кроме того, люди всегда говорят правду, а вампиры всегда лгут. Например, безумный вампир поверит в ложь (2 + 2 — это не 4), но затем солжет об этом и скажет, что это ложь. Здравомыслящий вампир знает, что 2 + 2 равно 4, но солжет и скажет, что это не так. И с соответствующими изменениями для людей. Таким образом, все, что сказано здравомыслящим человеком или безумным вампиром, является правдой, тогда как все, что сказано безумным человеком или здравомыслящим вампиром, является ложью.

Его книга Forever Undecided популяризирует Гёделя теоремы о неполноте , формулируя их с точки зрения мыслителей и их убеждений, а не с точки зрения формальных систем и того, что в них можно доказать. Например, если уроженец острова рыцарей/логов говорит достаточно сознающему себя мыслителю: «Ты никогда не поверишь, что я рыцарь», рассуждающий не может поверить ни в то, что туземец — рыцарь, ни в то, что он лжец. не становясь непоследовательным (т. е. придерживаясь двух противоречивых убеждений). Эквивалентная теорема состоит в том, что для любой формальной системы S существует математическое утверждение, которое можно интерпретировать как «Это утверждение недоказуемо в формальной системе S». Если система S непротиворечива, то ни это утверждение, ни его противоположность не будут в ней доказуемы. См. также Доксастическую логику .

Инспектор Крейг — частый персонаж «новелл-головоломок» Смалляна. Обычно его вызывают на место преступления, решение которого имеет математический характер. Затем, преодолев ряд все более сложных задач, он (и читатель) начинают понимать рассматриваемые принципы. Наконец, кульминацией новеллы является то, что инспектор Крейг (и читатель) раскрывают преступление, используя изученные математические и логические принципы. Инспектор Крейг обычно не изучает рассматриваемую формальную теорию, и Смалльян обычно оставляет несколько глав после приключений инспектора Крейга, чтобы прояснить аналогию для читателя. Инспектор Крейг получил свое имя от Уильяма Крейга . [ нужна ссылка ]

Его книга «Издеваться над пересмешником» (1985) представляет собой развлекательное введение в предмет комбинаторной логики .

Помимо написания и преподавания логики, Смуллян выпустил запись своих любимых клавирных и классических фортепианных пьес таких композиторов, как Бах , Скарлатти и Шуберт . Некоторые записи доступны на сайте Фортепианного общества вместе с видео «Прогулки, размышления, музыка и чтения». Он также написал две автобиографические работы, одна из которых озаглавлена ​​« Некоторые интересные воспоминания: парадоксальная жизнь » (англ. ISBN   1-888710-10-1 ) и более позднюю книгу под названием «Размышления: магия, музыка и математика Рэймонда Смалляна» ( ISBN   978-981-4644-58-7 ).

В 2001 году режиссер-документалист Тао Русполи снял фильм о Смалльяне под названием «Этот фильм не нуждается в названии: портрет Рэймонда Смалляна». [17]

Философия

[ редактировать ]

Смуллян написал несколько книг о даосской философии , философии, которая, по его мнению, аккуратно решила большинство или все традиционные философские проблемы , а также интегрировала математику , логику и философию в единое целое. Одно из обсуждений Смалльяном даосской философии сосредоточено на вопросе свободы воли в воображаемом разговоре между смертным человеком и Богом. [18]

Библиография

[ редактировать ]

Книги

[ редактировать ]

Статьи, рубрики и разное

[ редактировать ]

См. также

[ редактировать ]

Ссылки

[ редактировать ]
  1. ^ Перейти обратно: а б с Джей Джей О'Коннор и Э. Ф. Робертсон (апрель 2002 г.). «Смаллянская биография» . Школа математических и вычислительных наук Сент-Эндрюсского университета . Проверено 5 октября 2010 г.
  2. ^ Осборн, Ханна (10 февраля 2017 г.). «Математик и создатель головоломок Рэймонд Смалльян умер в возрасте 97 лет» . Интернэшнл Бизнес Таймс, Великобритания . Проверено 10 февраля 2017 г.
  3. ^ Сандомир, Ричард (11 февраля 2017 г.). «Рэймонд Смалльян, логик, создающий головоломки, умер в возрасте 97 лет» . Нью-Йорк Таймс . Проверено 13 февраля 2017 г.
  4. ^ Смуллян, Раймонд М. (2015). Размышления: Магия, музыка и математика Раймонда Смалляна . [Хакенсак], Нью-Джерси. ISBN  978-981-4644-58-7 . {{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )
  5. ^ Перейти обратно: а б с д и ж г час Смалльян, Раймонд (2002). Несколько интересных воспоминаний: парадоксальная жизнь . Давенпорт, Айова: Thinkers' Press. ISBN  1-888710-10-1 .
  6. ^ Смуллян, Раймонд М. (2015). Размышления: Магия, музыка и математика Раймонда Смалляна . [Хакенсак], Нью-Джерси. ISBN  978-981-4644-58-7 . {{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )
  7. ^ «Оксфордский справочник» . Ссылка на Оксфорд . Издательство Оксфордского университета . Проверено 12 марта 2022 г.
  8. ^ «Вспоминая Рэймонда Смалляна» . Дуврская математика и естествознание . Проверено 5 октября 2022 г.
  9. ^ «Вспоминая Рэймонда: некролог Рэймонда Смалляна» . 20 февраля 2017 г.
  10. ^ Смуллян, Раймонд М. (2015). Размышления: Магия, музыка и математика Раймонда Смалляна . [Хакенсак], Нью-Джерси. ISBN  978-981-4644-58-7 . {{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )
  11. ^ Смуллян, Раймонд М. (2015). Размышления: Магия, музыка и математика Раймонда Смалляна . [Хакенсак], Нью-Джерси. ISBN  978-981-4644-58-7 . {{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )
  12. ^ Смуллян, Раймонд Меррилл (1959). Теория формальных систем .
  13. ^ «Языки, на которых возможна самоссылка» . Журнал символической логики , том. 22 нет. 1 (1957), стр. 55–67.
  14. ^ Смуллян, Р.М. (2001) «Теоремы Гёделя о неполноте» в Гобл, Лу, изд., « Руководство Блэквелла по философской логике» . Блэквелл ( ISBN   0-631-20693-0 ).
  15. ^ Смуллян, Раймонд М. (2015). Размышления: Магия, музыка и математика Раймонда Смалляна . [Хакенсак], Нью-Джерси. ISBN  978-981-4644-58-7 . {{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )
  16. ^ Смуллян, Раймонд М. (2015). Размышления: Магия, музыка и математика Раймонда Смалляна . [Хакенсак], Нью-Джерси. ISBN  978-981-4644-58-7 . {{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )
  17. ^ «Этому фильму не нужно название: Портрет Рэймонда Смалляна» . Ютуб . 9 октября 2020 г. Проверено 5 марта 2022 г.
  18. ^ Поликар, Дэвид. «Бог — даос?» . www.mit.edu . Проверено 8 января 2017 г.
[ редактировать ]
Викискладе есть медиафайлы, связанные с Рэймондом Смалляном .
В Wikiquote есть цитаты, связанные с Рэймондом Смалльяном .
Retrieved from "https://en.wikipedia.org/w/index.php?title=Raymond_Smullyan&oldid=1225342034"
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: dbb2f3065e8738a85e01322c03fd876f__1716485700
URL1:https://arc.ask3.ru/arc/aa/db/6f/dbb2f3065e8738a85e01322c03fd876f.html
Заголовок, (Title) документа по адресу, URL1:
Raymond Smullyan - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)