Раймонд Смаллян | |
---|---|
Раймонд М. Смоллян в 2008 году. | |
Родился | Раймонд Меррил Смуллян. (1919-05-25) 25 мая 1919. Фар-Рокавей, Нью-Йорк, США |
Умер | 6 февраля 2017 (2017-02 -06) (97 лет). Хадсон, Нью-Йорк, США |
Национальность | Американец |
Alma mater | Чикагский университет. Принстонский университет ( Доктор философии) |
Супруг (ы) | Бланш |
Научная карьера | |
Поля | Логика |
Учреждения | Университет Йешива, Городской университет Нью-Йорка, Университета Индианы |
Диссертация | Теория формальных систем (1959) |
Докторант | Алонзо Черч |
Раймонд Меррил Смаллиан (; 25 мая 1919 г. - 6 февраля 2017 г.) был американским математиком, фокусником, пианистом, логиком, даосом и философом.
Родился в Фар-Рокавей, Нью-Йорк, его первая карьера была сценической магией. Он получил степень бакалавра в Чикагском университете в 1955 году и свою докторскую степень в Принстонском университете в 1959 году. многих логиков, которых учили у Алонзо Черча.
Родился в Фар-Рокавей, Нью-Йорк, в семье евреев из Восточной Европы. (первоначально их имя было написано как Шмулиан), Смуллян проявил музыкальный талант с юных лет, выиграв золотую медаль на конкурсе пианистов, когда ему было 12 лет. В следующем году его семья переехала в Манхэттен, и он присутствовал Средняя школа Теодора Рузвельта в Бронксе, в которой предлагались классы, соответствующие его музыкальным талантам. Он уехал учиться самостоятельно, так как в школе не было подобных курсов по математике. Он изучал математику и музыку в нескольких колледжах (включая Тихоокеанский университет и Рид-колледж ), прежде чем получил степень бакалавра в Чикагском университете в 1955 году и Доктор философии по математике, полученный в Принстонском университете в 1959 году. Он завершил докторскую диссертацию на тему «Теория формальных систем» под руководством Алонзо Черча.
В то время как Кандидат наук. Студент, Смоллян опубликовал статью в Journal of Symbolic Logic 1957 года, показывающую, что гёделевская неполнота для формальных систем значительно более элементарна, чем в знаменательной статье Курта Гёделя 1931 года. Современное понимание теоремы Гёделя восходит к этой статье 1931 года. Позже Смуллян привел убедительные доводы в пользу того, что большая часть восхищения теоремой Гёделя должна быть направлена на теорему Тарского, которую намного легче доказать и которая не менее тревожна с философской точки зрения.
Смуллян написал много книг о развлекательная математика и развлекательная логика. В частности, одна из них называется «Как называется эта книга?» ISBN 0139550623. Его последней книгой стало его «Дальнейшее руководство по математической логике для начинающих» ISBN 978-981-4730-99-0, опубликованное в 2017 году.
Он был профессором математики и философии в Lehman College, CUNY Graduate Center и Университете Индианы. Он также был астрономом-любителем, пользовавшимся шестидюймовым телескопом-рефлектором, для которого заземлил зеркало. Мартин Гарднер был близким другом.
Многие из его логических задач являются расширениями классических головоломок. Knights and Knaves включает рыцарей (которые всегда говорят правду) и лжецов (которые всегда лгут). Это основано на истории о двух дверях и двух охранниках, один из которых лжет, а другой говорит правду. Одна дверь ведет в рай, а другая - в ад, и загадка состоит в том, чтобы выяснить, какая дверь ведет в рай, задав вопрос одному из стражников. Один из способов сделать это - спросить: «Какая дверь, по словам другого охранника, ведет в ад?». Эта идея была широко использована в фильме 1986 года Лабиринт.
. В более сложных головоломках он вводит персонажей, которые могут лгать или говорить правду (называемые «нормальными»), и, кроме того, вместо того, чтобы отвечать «да» или « нет », используйте слова, которые означают« да »или« нет », но читатель не знает, какое слово означает какое. Головоломка, известная как «самая сложная логическая головоломка когда-либо » основана на этих персонажах и темах. В его загадках о Трансильвании половина жителей безумны и верят только в ложные вещи, в то время как другая половина в здравом уме и верит только в истину. Кроме того, люди всегда говорят правду, а вампиры всегда лгут. Например, безумный вампир поверит в ложь (2 + 2 не 4), но затем солгает об этом и скажет, что это ложь. Здравомыслящий вампир знает, что 2 + 2 равно 4, но солгает и скажет, что это не так. И mutatis mutandis для людей. Таким образом, все, что говорит здравомыслящий человек или безумный вампир, верно, тогда как все, что говорит безумный человек или здравомыслящий вампир, ложно.
Его книга Forever Undecided популяризирует теоремы Гёделя о неполноте, формулируя их в терминах аргументов и их убеждений, а не формальных систем и того, что можно с их помощью доказать. Например, если уроженец острова рыцарей / лжецов говорит достаточно самосознательному рассуждающему: «Ты никогда не поверишь, что я рыцарь», рассуждающий не может поверить ни в то, что туземец - рыцарь, ни в то, что он лжец. не становясь непоследовательными (т. е. придерживаясь двух противоположных убеждений). Эквивалентная теорема состоит в том, что для любой формальной системы S существует математическое утверждение, которое можно интерпретировать как «Это утверждение недоказуемо в формальной системе S». Если система S непротиворечива, в ней не будет доказуемо ни утверждение, ни его противоположность. См. Также Доксастическая логика..
Инспектор Крейг - частый персонаж в «новеллах-головоломках» Смолляна. Его обычно вызывают на место преступления, решение которого носит математический характер. Затем, преодолевая ряд все более сложных испытаний, он (и читатель) начинают понимать рассматриваемые принципы. Наконец, повесть завершается раскрытием инспектором Крейгом (и читателем) преступления, используя изученные математические и логические принципы. Инспектор Крейг обычно не изучает рассматриваемую формальную теорию, и Смуллян обычно резервирует несколько глав после приключений с инспектором Крейгом, чтобы прояснить аналогию для читателя. Инспектор Крейг получил свое имя от Уильяма Крейга.
Его книга Издевается над пересмешником (1985) представляет собой развлекательное введение в предмет комбинаторной логики.
Помимо описания и Обучая логике, Смоллян выпустил запись своих любимых пьес в стиле барокко для клавишных и классических фортепианных пьес таких композиторов, как Бах, Скарлатти и Шуберт. Некоторые записи доступны на веб-сайте Piano Society вместе с видео "Rambles, Reflections, Music and Readings". Он также написал автобиографию под названием «Некоторые интересные воспоминания: парадоксальная жизнь» (ISBN 1-888710-10-1 ).
В 2001 году режиссер-документалист Тао Русполи снял фильм о названном Смулляне.
Смоллян написал несколько книг о даосской философии, философии, которая, по его мнению, аккуратно решает большинство или все традиционные философские проблемы, а также объединяет математика, логика и философия в единое целое. Одно из рассуждений Смулляна о даосской философии сосредоточено на вопросе свободы воли в воображаемом разговоре между смертным человеком и Богом.
Викицитатник содержит цитаты, связанные с: Раймонд Смуллиан |