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