ריימונד סמוליאן – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ הוספת דפים לקטגוריה:ערכים בהם תבנית בריטניקה אינה מתאימה כדי שלא יטופלו, אם בראש הערך בבריטניקה קיים המשפט "Learn about this topic" (תג)
מ ←‏ביוגרפיה: ויקיזציה
שורה 13:
 
== ביוגרפיה ==
נולד בפארב[[פאר רוקאווירוקאוויי]], אחת מארבע [[שכונה|השכונות]] של [[קווינס]], [[ניו יורק]]. בצעירותו פעל כ[[קוסם]]. קיבל תואר ראשון מ[[אוניברסיטת שיקגו]] בשנת [[1955]], ותואר [[דוקטור]] מ[[אוניברסיטת פרינסטון]] בשנת [[1959]]. סמוליאן היה אחד מהלוגיקנים המצטיינים שלמדו אצל [[אלונזו צ'רץ']].
 
במהלך לימודיו פרסם מאמר בו הראה כי [[משפטי האי שלמות של גדל]] מתקיימים במערכת פשוטה במידה ניכרת מזו שגדל עסק בה. לאחר מכן הראה שחלק ניכר מהתוצאות של משפטי האי שלמות של גדל נובע מ[[משפט טרסקי]], שאותו קל יותר להוכיח, והוא מטריד לא פחות מבחינה פילוסופית.