פרנסיס גאת'רי

פרנסיס גאת'רי היה בוטניקאי בריטי שחי במאה ה־19, אבל דווקא שאלה פשוטה ששאל בתחום שונה לגמרי – מתמטיקה – הפכה אותו לדמות מפתח בהיסטוריה של המדע.

בשנת 1852, כשניסה לצבוע מפה של מחוזות אנגליה, הוא שאל:

האם תמיד מספיקים ארבעה צבעים כדי לצבוע כל מפה, כך ששתי מדינות צמודות לא יקבלו את אותו צבע?

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

רק ב־1976, כ־120 שנה אחר כך, הצליחו להוכיח את המשפט בעזרת מחשב – מה שהפך את ההוכחה הזו לאחת הראשונות בהיסטוריה שנעזרה בעיבוד ממוחשב מסיבי.