Математиците

Час линия Снимки Пари Марки Скица Търся

Raymond M Smullyan

Дата на раждане:

Родно място:

Дата на смъртта:

Място на смърт:

1919

Far Rockaway, Long Island, New York City, USA

Представяне
ВНИМАНИЕ - Автоматичен превод от английски език

Реймънд Smullyan, известен като Рей, подаден в Далечния Rockaway в Ню Йорк. Ричард Файнман, също е бил роден в Далечния Rockaway просто месеца преди Smullyan. В той recounts му въвеждането на логически пъзели, когато той е бил шест години:

На 1-ви април 1925, аз бях болен на легло ... На сутринта ми брат Emile (десет години си старши) влезе в моята спалня и каза: "Ами, Реймънд, днес е Ден на шегата и аз ще ви глупак, колкото никога не са били заблуждавайте преди!" I чакаха цял ден за него да ме глупак, но той не.

Емил имаше заблуждавайте му не fooling го! Smullyan пише:

I изземване лежи в леглото след дълги светлини бяха превърна в чудо или не бях наистина е заблуждавайте.

Като млад момче Smullyan обичани едновременно музика и науката и той е изключително талантливи музикално. Когато той е на възраст дванайсет години той спечели златен медал по пиано на конкуренцията и е изглеждала като, ако той ще направи музиката си кариера.

Когато Smullyan е тринадесет години на възраст семейството му преместени в Манхатън. Там той присъства на Теодор Рузвелт гимназия в Бронкс, това училище е избрано, тъй като предлагат специални курсове за музиката, която ще бъде в състояние да си музикални цели. Въпреки това, училището не е в крайна сметка даде Smullyan това, което той иска. Да, той е страстен интерес към музиката, но той имаше друга страст, и че е математиката. Той искаше да научат повече за групи, пръстени и полета, основите на математиката и математическата логика. Това на Теодор Рузвелт гимназия, не му дава това той напуска училище да учат по негова собствена.

А няколко години на проучване със сигурност го поставя в добра позиция да седят на Военната академия съвет изпити, които той не влезе и Тихоокеанския колеж в Орегон. Скоро Smullyan преместени Рийд колеж, а след това той заминава за Сан Франциско, където учи пиано. Тя изглежда така, както ако той е напълно объркана, на този етап от живота си, дали да учи математика, или музика и дори, ако той трябваше сортиране на този проблем в съзнанието му, той не изглежда да е установено, че конвенционалните методи на преподаване в колежи и университети са да си обич.

Завръщайки се в Ню Йорк от Сан Франциско, Smullyan учи математика и по своя собствена логика и тя е в този момент, че той започва да състави шахмат пъзели. Ами всъщност той е съставен първият му шахмат пъзел от шестнадесет години и това е конвенционален тип шахмат пъзел "белите да играе и в продължение на два хода":

... той е бил конвенционални две предложението. I показа, че до няколко по-големи от моите приятели. Един от тях каза ... "Ако аз да съставите шахмат проблем ... би било да deduce какво се случи рано в играта". Това ме порази като очарователни идея, и аз straightway настроена да работи и съставен проблем в retrograde анализ.

Въпреки че Smullyan не е изслушан на retrograde анализ в този момент, подобно областта на шахмата проблеми не съществуват. Те бяха пъзели, когато едно е да работи в обратната посока. Така например една шахмат позиция ще бъде дадена и въпросът ще бъде на един от площадите. Проблемът ще бъде да намерите това, което липсва парче бе, че трябва да е на този площад. Той звучи така, както ако това е проблем не може да бъде решен, и това е точно типа на проблема, че Smullyan хареса. Проблеми, които са имали уникален решение, все още изглеждаше съвсем невъзможно. През този на правописа в Ню Йорк, Smullyan състои много по шахмат проблеми в retrograde анализ и по-късно те са били използвани в неговото две книги по темата и.

Обучение математика и проблеми в състава на шаха, не са единствените неща, той не в Ню Йорк по това време, той също да уча за да направи магия трикове, като става един много добър Магьосникът. През 1943 г. Завръща се в формалното образование, влизащи в Университета на Уисконсин. След като учи там за една година заминава за Чикаго, където той започва да вземат курсове в университета, но след като отстъпи само един семестър. Той продължава да учи по негова собствена и завършва обучението си, живеещи в музиката Рузвелт колеж в Чикаго.

Той след това върнати в Ню Йорк, където прекарали две години. По време на тези години, той получи парите извършване на магически действия в нощни клубове в Greenwich Village. През 1949 Завръща се в Чикаго, бяха различни курсове в университета и изпълняват неговия магически акт, около града да спечелят си на живот. В действителност си магически акт, е било много разпространено и Smullyan, макар че по същество един срамежлив човек, дал прекрасен забавен и развлекателен действа като Пет Ace Мерил, с hilariously смешна Елизабет. Въпреки това:

... моята магия бизнеса се забави, за кратък период от време и трябваше да допълни моя доход някак. Реших да опитате получаване на работа като продавач. I прилага за прахосмукачки компания ...

До 1954 г. е все още в Чикаго, предприятие, минете нивото изследвания, но все още не е правото amassed броят на кредитите за възлагане на първа степен.

Един от Smullyan на преподавателите в университета в Чикаго са били Рудолф Carnap, известният logician и философ на логически Positivism. Той сега се препоръчва Smullyan за математика пост в колежа Dartmouth, свободните изкуства в колежа Хановер, Ню Хемпшир. Smullyan не е имал професионална квалификация в този момент, но бе вече работи върху математически изследвания за бъдещи издания. Той преподава в колежа Dartmouth от 1954 до 1956 г., да бъдат възложени му бакалавърска степен от университета в Чикаго през 1955 г.. Той никога не са достатъчни, завършени курсове за заслуги наградата, но за изработка на броя Чикаго го кредитират с смятане курс, който той никога не са взети, но беше преподаване.

Smullyan публикувани езиците, на които самостоятелно позоваването е възможно във вестник "на символична логика през 1957 г.. През следващата година Undecidability и recursive inseparability появиха два резултата, който се окаже по undecidability в смятането, един от които бяха предложени от Bernays. По време на второто от тези предмети, изглежда, е най-Smullyan Принстънския университет работят по Alonzo църква за неговата докторска степен. Той влезе през 1957 г. и е отличен докторската си дисертация през 1959 г.. Назначени на длъжност в Принстън през 1958 г., той е работил там до 1961.

Той публикува редица статии, математически през този период. Точното разделяне на recursively enumerable определя в рамките на теории, написани съвместно с Хилари Путнъм бе публикуван през 1960 г., докато Smullyan също публикува Теории с ефективно неразделни ядрата през тази година и след това през 1961 г. тримата кредитополучатели документи Жорданова системи; елементарното формални системи; и Monadic елементарен формални системи.

През 1961 г. той публикува монографията Теория на формални системи, публикувани от университета в Принстън Прес. Kreisel, преглеждане на книгата се казва, че тя дава:

... най-дома експозиция на теорията на recursively enumerable (ре) привежда в съществуването. ... Всички добре известни резултатите от повторно апарата са дадени, включително и варианти и уточнения ... [и] поразително подобрение през предходната експозиции ...

През 1957 г., когато Smullyan е завършил студент в Принстън той показа някои от неговите шахмат пъзели на приятел, завършил студент които:

... предвидени множество полезни предложения.

В действителност това се дипломира изпратен един от пъзели с баща си в Англия, които на свой ред я изпраща на Манчестър Guardian и вестници публикуват нея. Гардиан не е известно, които авторът е и, когато Smullyan контакт с тях, те са доволни да признае своето авторство и да се публикува повече на неговия шахмат проблеми.

През 1961 г. е назначен за Smullyan еврейския Yeshiva университет в Ню Йорк, където преподава до 1968, когато заминава за Lehman колеж, бивш Хънтър Колидж на Бронкс колежа, които се присъединиха на Сити Юнивърсити в Ню Йорк през тази година. От 1982 г. става професор заслужилия на Сити Юнивърсити в Ню Йорк - Lehman колеж и да минете център. Той бе назначен Оскар Ewing професор по философия в Университета Индиана.

Smullyan публикации са доста забележителна с две изключителни книги, посветени на retrograde анализ на проблемите по шахмат, и една цяла серия от Удивителна пъзел популярни книги, както и такива, както и няколко книги, посветени на основите на математиката и математическата логика, които са в много отношения в клас тяхната собствена.

В момента пъзел книги за масовия потребител, една приятна въвеждането на някои от най-дълбокото си идеи в основите на математиката. Например книгата е описана на покрива, както следва:

Започвайки с шега напълнени маймуни трикове и класически мозъка-закачки с devilish нови обрати, професор Smullyan игри логически лабиринта на още по-сложни и предизвикателни проблеми, както той Сериалът в някои от най-дълбокото си парадокси на логика и теория на множествата, включително Gödel "и революционер теорема на undecidability.

Мартин Gardner, описани на тази книга в научно-Американска като:

Най-оригиналните, най-дълбоката и най-хумористично събиране на любителски логика и математика проблеми, написани някога.

В своето Smullyan пъзел книга пише, че той дава:

... на един обиколка ръководи Infinity, обясняват инициатор откритията на великия математик Георг Cantor, които беше първият да поставите този въпрос на логически здрава основа. ... тя трябва да бъде вашата най-очарователни, че целият обект на Infinity е толкова малко познат на широката публика! Защо не го преподава в средните училища? Не е трудно да се разбере от алгебра и геометрия, и ако е така, възнаграждаване!

Ние имаме една от посочените му книги, посветени на математическата логика-горе. Той публикува друг текст Първата цел логика през 1968 г.:

Тази книга се занимава основно с доказателства, както и взаимовръзките между различни формулировки на теоремата за пълнотата "първи ред логика. ... Тази книга съчетава елегантност с ясни, подробни експозиция; добър студент трябва да може да я прочетете почти без учител.

През 1992 г. той публикува Gödel на непълнотите теореми. Smullyan обяснява в предговора, че той е написал книгата:

... за широката математик, философ, учен, компютърни и всякакви други любопитни четец на които има най-малко един nodding Запознаване с символиката на първи ред на логиката, и които могат да разпознаят логическата валидност на няколко основни формули. A стандарт, един семестър обучение по математическа логика е повече от достатъчно за разбирането на този обем.

Тази книга е първата от поредица текстове, които се появяват по-бързо наследяване. През 1993 г. той публикува Рекурсия теория за metamathematics, която е sequel на неговия текст, 1992, описани по-горе. Третият том в поредицата Diagonalization и самостоятелно позоваването е публикуван през 1994 г. и представлява много трудна тема, по такъв начин, че да направи така разбираем и приятна.

През 1996 г. Автор Smullyan съвместно с Melvin Оборудване теория на множествата и континуум проблем. Plotkin, преглеждане на тази книга пише:

Последователност и независимостта доказателствата са от самото си естество picky, формално, и много технически. Авторите пишат с admirable lucidity. Има някои наистина разположен в стаята фигури на countability и uncountability и математическа индукция по ... Сборникът може да почувствате authorial ще се борим за елегантност на представянето и пълнота.

Melvin монтаж, Smullyan на съавтор на този текст, е описано в начина, по който работи Smullyan:

Някои хора го неща едновременно. [Smullyan] не. Рей винаги са били епизодични в неговата работа. Той ще се интересуват от нещо повече или по-малко изоставят всичко останало. Той пише есе по една точка и след това, през следващите няколко години, не е този огромен поток от есета. ... След есе етап е започнал този пъзели. За следващите две или три години всичко беше пъзели. Те бяха намиране на път в цялата си работа. Сега той е отишло обратно към математиката, но пъзел елемент е все още там.

Като учител Smullyan на стила е различен от повечето преподаватели. Mothner пише:

В класната стая, Smullyan е нещо, но соларни и тихо. ... Гледах го преподават завършил курс ниво логика, тъй като той lurched на черната дъска (където той пише в обслужваем страна и в цели изречения) и крачка около бюрото му, fidgeting и chuckling. Той ще пауза в sibilant се смее най-малките проблеми, които като че ли да напусне неговите ученици повече объркан, отколкото amused. Преди клас започна, той се опитал да топли до групата, tossing някои прости пъзели ...

Накрая ни позволете да се спомене, че той е един допълнителен хоби, а именно astronony. Той обича наблюдение през телескопа си, и той терена шест инча огледалото себе си.

Source:School of Mathematics and Statistics University of St Andrews, Scotland