ריימונד סמוליאן – הבדלי גרסאות
מאין תקציר עריכה |
מ מיותר |
||
| שורה 1: | שורה 1: | ||
{{פירוש נוסף|נוכחי=מתמטיקאי אמריקאי|אחר=עיר בבולגריה|ראו=[[סמוליאן]]}} |
|||
{{מדען |
{{מדען |
||
|שם=ריימונד סמוליאן |
|שם=ריימונד סמוליאן |
||
גרסה מ־21:33, 19 בפברואר 2011
שגיאות פרמטריות בתבנית:מדען
פרמטרים ריקים [ פרסים והנצחה, שנת פטירה ] לא מופיעים בהגדרת התבנית
פרמטרים [ ארצות מגורים, שנת לידה ] לא מופיעים בהגדרת התבנית
 | |
| לידה |
25 במאי 1919 פאר רוקאוויי, ארצות הברית  |
|---|---|
| פטירה |
6 בפברואר 2017 (בגיל 97) Hudson, ארצות הברית |
| שם לידה |
Raymond Merrill Smullyan |
| ענף מדעי | לוגיקה |
| מקום קבורה |
Evergreen Cemetery |
| מקום לימודים |
|
| מנחה לדוקטורט |
אלונזו צ'רץ' |
| מוסדות |
|
| תלמידי דוקטורט |
Melvin Fitting, Carroll Aubrey Webber, Jr., Robert H. Cowen, Sue Walker Toledo, Frederick Halpern, Bruce M. Horowitz, Malgorzata Askanas, Henry Pogorzelski, Theodore A. Linden |
|
raymondsmullyan | |
| תרומות עיקריות | |
| מחקרים בתחום הלוגיקה | |
  | |
ריימונד מריל סמוליאן (באנגלית: Raymond Merrill Smullyan; נולד ב-1919) הוא מתמטיקאי, לוגיקן ופילוסוף אמריקאי.
נולד ב-Far Rockaway, אחת מארבע השכונות של קווינס, ניו יורק, ארצות הברית. בצעירותו פעל כקוסם. קיבל תואר ראשון שלו מאוניברסיטת שיקגו בשנת 1955, ואת הדוקטור מאוניברסיטת פרינסטון בשנת 1959. הוא אחד מהלוגיקנים המצטיינים שלמדו אצל אלונזו צ'רץ'.
במהלך לימודיו פרסם מאמר שבו הראה כי משפטי האי שלמות של גדל מתקיימים במערכת פשוטה במידה ניכרת מזו שגדל עסק בה. לאחר מכן הראה שחלק ניכר מהתוצאות של משפטי האי שלמות של גדל נובע ממשפט טרסקי, שאותו קל יותר להוכיח, והוא מטריד לא פחות מבחינה פילוסופית.
בשנים 1961- 1968 לימד בישיבה יוניברסיטי בניו יורק. הוא מכהן עתה כפרופסור באוניברסיטת אינדיאנה.
סמוליאן חיבר ספרים רבים העוסקים בשעשועי מתמטיקה. הנודע שבהם, ?What Is the Name of This Book תורגם לעברית (פורסם בשם "מה שמו של ספר זה?"). רבות מהחידות המופיעות בספריו הן הרחבות של חידות קלאסיות. שלל חידות שלו עוסק באי שבו שבט של דוברי אמת, שבט של שקרנים ושבט של נורמלים (לעתים משקרים ולעתים אומרים אמת).
באחרית דבר למהדורה העברית של ספרו של סמוליאן, "מה שמו של ספר זה?" עמד מאיר גולדברג על ייחודו של סמוליאן:
- "סמוליאן מתרגל את קוראיו בנושאים מתקדמים הנלמדים באוניברסיטה. הוא מתחיל בגרעין מצומצם של נושאים שנחרו בקפידה, רוקם סביבם עלילה פנטסטית, ומתוך העלילה וחוקי המרחב הפנטסטי שיצר, הוא שואב שפע של חידות ובעיות לוגיות, שעשועים ותגליות בזעיר אנפין. מתוך התמודדות עם החידות הללו, הקוראים לומדים פרקים שלמים בלוגיקה מבלי להזדקק לטרמינולוגיה המקובלת בתחום".
בשנת 2002 יצאה לאור האוטוביוגרפיה שלו, Some Interesting Memories: A Paradoxical Life.
מספריו
פופולריים
- (1977) The Tao is Silent
- (1978) What Is the Name of This Book?. תורגם לעברית: "מה שמו של ספר זה?", 2006
- (1979) The Chess Mysteries of Sherlock Holmes
- (1980) This Book Needs No Title
- (1981) The Chess Mysteries of the Arabian Knights
- (1982) The Lady or the Tiger?
- (1982) Alice in Puzzle-Land
- (1983) 5000 B.C.
- (1985) To Mock a Mockingbird
- (1987) Forever Undecided
- (1992) Satan, Cantor and Infinity
- (1997) The Riddle of Scheherazade
- (2002) Some Interesting Memories: A Paradoxical Life
- (2003) Who Knows?: A Study of Religious Consciousness
- (2007) The Magic Garden of George B. And Other Logic Puzzles
אקדמיים
- (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
לקריאה נוספת
- Raymond Smullyan, Some Interesting Memories: A Paradoxical Life, Thinkers' Press, 2002
- Raymond Smullyan, interviewed by Ira Mothner, in Donald J. Albers and G. L. Alexanderson (eds.), Mathematical People, 1985.
- Raymond Smullyan, "Gödel's Incompleteness Theorems" in Goble, Lou, ed., The Blackwell Guide to Philosophical Logic. Blackwell (2001)
קישורים חיצוניים
- האתר של ריימונד סמוליאן
- ביוגרפיה של ריימונד סמוליאן, באתר MacTutor (באנגלית)
- מה שמו של ספר זה ?, תעלומת דרקולה וחידות היגיון אחרות, באתר "טקסט"
