אאדוכסוס (מתמטיקאי יווני במאה ה-4 לספירה) הציע לראשונה מודל מתמטי שמסביר כיצד תנועות כוכבי הלכת הנראות לכאורה כחורגות מתנועה מעגלית רציפה למעשה כן מורכבות מתנועות מעגליות כאלה ובכך העניק מודל אסטרונומי גאומטרי ״המציל את התופעות״ ומראה שהטבע כן נשלט על-ידי עקרונות מושגיים טהורים הניתנים לניסוח מתמטי. בדרכו של מי הולך אאדוכסוס?