ריימונד סמוליאן

ריימונד מריל סמוליאן (25.5.1919, 6.2.2017) היה מתמטיקאי, לוגיקן, חוקר לוגיקה והוכחות, ופילוסוף יהודי אמריקאי. נולד בפאר רוקאוויי, קווינס, ניו יורק. בצעירותו פעל כקוסם.

קיבל תואר ראשון מאוניברסיטת שיקגו ב-1955 ודוקטור מאוניברסיטת פרינסטון ב-1959. למד אצל אלונזו צ'רץ', אחד הלוגיקנים הבולטים של המאה ה-20.

בתקופת עבודתו המחקרית הראה כי משפטי האי-שלמות של גדל, טענות שמציינות שלמרות הכוח של המתמטיקה יש גבולות להוכחה, מתקיימים גם במערכות פשוטות יותר מאלה שגדל חקר. כמו כן הצביע על כך שרבים מהמסקנות של גדל נובעות ממשפט טרסקי, תוצאה מתמטית הקשורה להגדרת "אמת" במערכת, שהוא קל יחסית להוכיח אך בעל משמעות פילוסופית עמוקה.

בשנים 1961, 1968 לימד בישיבה יוניברסיטי בניו יורק, ובהמשך שימש כפרופסור באוניברסיטת אינדיאנה.

סמוליאן כתב ספרים רבים על שעשועי מתמטיקה ולוגיקה. הספר המפורסם ביותר שלו, ?What Is the Name of This Book, תורגם לעברית בשם "מה שמו של ספר זה?". רבות מחידותיו הן וריאציות על חידות קלאסיות, ובין הנושאים החוזרים שלו חידות על שבט שבו יש דוברים שאומרים תמיד אמת, דוברים שמשקרים תמיד, ואנשים שלעיתים משקרים ולפעמים אומרים אמת.

מאיר גולדברג הדגיש את יכולתו להציג נושאים מתקדמים בצורה חווייתית, כך שקוראים לומדים רעיונות לוגיים דרך חידות ועלילה.

בשנת 2002 יצאה האוטוביוגרפיה שלו Some Interesting Memories: A Paradoxical Life. ב-2006 יצא בעברית מהדורה של "מה שמו של ספר זה? תעלומת דרקולה וחידות היגיון אחרות", בתרגום עידו אמין.

ריימונד סמוליאן (1919, 2017) היה מתמטיקאי ולוגיקן. לוגיקן זה אדם שחוקר חשיבה והוכחות.

הוא נולד בניו יורק. כשהיה צעיר עשה קסמים.

למד באוניברסיטה ושימש פרופסור. הוא קיבל תארים בשנות החמישים.

סמוליאן חקר רעיונות על מה שאפשר להוכיח במתמטיקה. זו תופעה שנקראת "אי-שלמות". זה אומר שלא כל משפט מתמטי אפשר להוכיח.

כתב ספרים של חידות מתמטיות ומשחקי חשיבה. ספרו המפורסם ?What Is the Name of This Book תורגם לעברית כ"מה שמו של ספר זה?".

רבים מהחידות שלו הם על אי־שם אי־שהוא של אנשים שאומרים כל הזמן אמת, או כל הזמן משקרים, או לפעמים משקרים.

ב-2002 יצאה האוטוביוגרפיה שלו. ב-2006 יצא בעברית אחד מספריו, בתרגום עידו אמין.