Рэймонд Смаллиан: Математик, логик и многогранная личность.

Введение

Американский математик и логик Рэймонд Меррилл Смуллиан (англ. Raymond Merrill Smullyan; 25 мая 1919 – 6 февраля 2017) – американский математик, иллюзионист, концертный пианист, логик, даос и философ. Родился в Фар Рокавей, штат Нью-Йорк. Его первой профессией было сценическое искусство иллюзии. Он получил степень бакалавра наук Чикагского университета в 1955 году и степень доктора философии Принстонского университета в 1959 году. Он один из многих логиков, учившихся у Алонзо Черча.

Жизнь

Он родился 25 мая 1919 года в Фар-Рокквей, Квинс, Нью-Йорк, в семье ашкеназских евреев. Его отцом был Исидор Смульян, российский бизнесмен, который в юности эмигрировал в Бельгию и окончил Антверпенский университет, его родным языком был французский. Его матерью была Розина Смуллиан (урождённая Фриман), художница и актриса, родившаяся и выросшая в Лондоне. Оба родителя были музыкальны: отец играл на скрипке, а мать — на фортепиано. Он был младшим из трёх детей. Его старший брат, Эмиль Бенуа Смульян, впоследствии стал экономистом под именем Эмиль Бенуа. Его сестрой была Гладис Смуллиан, позже Гладис Гвинн. Его кузеном был философ Артур Фрэнсис Смуллиан (1912–1998). В Фар-Рокквей он учился в начальной школе вместе с Ричардом Фейнманом. Смульян проявил музыкальный талант с раннего возраста, играя на скрипке и фортепиано. Он занимался у пианистки Грейс Хофхаймер в Нью-Йорке. У него был абсолютный слух. В 1931 году он выиграл золотую медаль на фортепианном конкурсе Нью-Йоркской музыкальной недели в возрасте 12 лет (в предыдущем году он получил серебряную медаль). Позже он поступил в Чикагский университет, где изучал математику. После перерыва, в течение которого он работал фокусником в Нью-Йорке и встретил свою первую жену, он вернулся в Чикагский университет, где также работал фокусником по ночам и преподавал фортепиано на факультете Университета Рузвельта. В Чикаго он посещал три курса у философа Рудольфа Карнапа и написал три курсовые работы. Карнап рекомендовал ему отправить первую курсовую работу Уилларду Ван Орман Куайну, что он и сделал. Куайн ответил, что ему следует поработать над своей идеей о том, что лежит в основе теории квантификации. Из двух других курсовых работ одна, под названием «Языки, в которых возможна самореференция» (которую Карнап показал Курту Гёделю), была опубликована позже в 1957 году. Другая была опубликована в его книге 1961 года «Теория формальных систем». Будучи ещё студентом Чикагского университета, по рекомендации Карнапа он был принят на работу Джоном Г. Кемени, заведующим кафедрой математики в Дартмутском колледже. Он преподавал в Дартмуте два года. В это время он расстался со своей первой женой, с которой позже развелся. Он также навещал своих друзей Глорию и Марвина Мински (Глория Мински была его кузиной) в Кембридже, штат Массачусетс. В 1959 году он получил докторскую степень по математике в Принстонском университете. Он завершил докторскую диссертацию под названием «Теория формальных систем» под руководством Алонзо Черча, которая была опубликована в 1961 году. Будучи аспирантом в Принстоне, он встретил свою вторую жену, Бланш, пианистку и преподавателя, родившуюся в Бельгии, с которой он был женат 48 лет, пока она не умерла в 2006 году. Во время учебы в аспирантуре его курсовая работа для Карнапа «Языки, в которых возможна самореференция» была опубликована в 1957 году в «Журнале символической логики», показав, что неполнота Гёделя применима к формальным системам, значительно более элементарным, чем в основополагающей работе Курта Гёделя 1931 года. Современное понимание теоремы Гёделя восходит к этой статье. Позже Смульян убедительно утверждал, что большая часть очарования теоремой Гёделя должна быть направлена на теорему Тарского, которую гораздо легче доказать и которая в философском отношении столь же тревожна. После получения докторской степени в Принстоне он преподавал там в течение двух лет. Впоследствии он преподавал в Нью-Йоркском университете, в Государственном университете Нью-Йорка в Нью-Пальце, в Колледже Смита и в Высшей школе науки Белфера при Университете Йешива, прежде чем стать профессором математики и информатики в Колледже Лемана в Бронксе, где он преподавал студентам с 1968 по 1984 год. Он также был профессором философии в Высшем центре CUNY с 1976 по 1984 год, где преподавал аспирантам. Впоследствии он был профессором философии в Университете Индианы, где преподавал студентам и аспирантам. Он также был астрономом-любителем, использовавшим шестидюймовый рефлекторный телескоп, зеркало для которого он самостоятельно шлифовал.

He was born on May 25, 1919, in Far Rockaway, Queens, New York, to an Ashkenazi Jewish family. His father was Isidore Smullyan, a Russian born businessman who emigrated to Belgium when young and graduated from the University of Antwerp, his native language being French. His mother was Rosina Smullyan (née Freeman), a painter and actress born and raised in London. Both parents were musical, his father playing the violin and his mother playing the piano. He was the youngest of three children. His eldest brother, Emile Benoit Smullyan, later became an economist under the name of Emile Benoit. His sister was Gladys Smullyan, later Gladys Gwynn. His cousin was the philosopher Arthur Francis Smullyan (1912–1998). In Far Rockaway he was a grade school classmate of Richard Feynman. Smullyan showed musical talent from a young age, playing both violin and piano. He studied with pianist Grace Hofheimer in New York. He had perfect pitch. In 1931 he won a gold medal in the piano competition of the New York Music Week Association when he was aged 12 (the previous year he had won the silver medal). He later transferred to the University of Chicago and majored in mathematics. After a break in which he worked as a magician in New York and met his first wife, he returned to the University of Chicago, where he also worked as a magician at night and taught piano on the faculty at Roosevelt University. While at Chicago he took three courses with the philosopher Rudolf Carnap, for which he wrote three term papers. Carnap recommended that he send the first term paper to Willard Van Orman Quine, which he did. Quine replied that he should tinker with his idea about what makes quantification theory tick. Of the other two term papers, one, entitled "Languages in which Self Reference is Possible" (which Carnap showed to Kurt Gödel), was later published in 1957. The other was later published in his 1961 book Theory of Formal Systems. While still a student at the University of Chicago, on the basis of a recommendation from Carnap, he was hired by John G. Kemeny, the chair of the mathematics department at Dartmouth College. He taught at Dartmouth for two years. During that time he separated from his first wife, from whom he later divorced. He also used to visit his friends Gloria and Marvin Minsky (Gloria Minsky was his cousin) in Cambridge, Massachusetts. He received a PhD in mathematics from Princeton University in 1959. He completed his doctoral dissertation, titled "Theory of formal systems", under the supervision of Alonzo Church, which was published in 1961. While a graduate student at Princeton he met his second wife, Blanche, a pianist and teacher, born in Belgium, to whom he was married for 48 years until she died in 2006. While a PhD student, his term paper for Carnap, "Languages in which Self Reference is Possible", was published in 1957 in the Journal of Symbolic Logic, showing that Gödelian incompleteness held for formal systems considerably more elementary than that of Kurt Gödel's 1931 landmark paper. The contemporary understanding of Gödel's theorem dates from this paper. Smullyan later made a compelling case that much of the fascination with Gödel's theorem should be directed at Tarski's theorem, which is much easier to prove and equally disturbing philosophically. After getting his PhD from Princeton, he taught at Princeton for two years. He subsequently taught at New York University, at the State University of New York at New Paltz, at Smith College, and at the Belfer Graduate School of Science at Yeshiva University, before becoming professor of mathematics and computer science at Lehman College in the Bronx, where he taught undergraduate students from 1968 to 1984. He was also a professor of philosophy at the CUNY Graduate Center from 1976 to 1984, where he taught graduate students. He was subsequently a professor of philosophy at Indiana University, where he taught both undergraduate and graduate students. He was also an amateur astronomer, using a six inch reflecting telescope for which he ground the mirror.

Философия

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

Статьи, колонки и прочие

Бог — даосист? Раймонд Смуллиан, 1977. Планета без смеха, Раймонд Смуллиан, 1980. Эпистемологический кошмар, Раймонд Смуллиан, 1982.