Matematikçiler işin kolayına kaçıp çözümün olmadığını varsaysalardı, matematik ve bilim bugünkü seviyesinden fersah fersah uzakta olurdu.
Matematikçiler işte bu yüzden ısrarla kanıt isterler.
Bugün Halley kuyrukluyıldızı olarak bildiğimiz şey (Onun adı 1759'da verildi) güneşin etrafında yörüngede dolandığı gösterilen gezegenler dışındaki ilk cisimdir. Antik kayıtları, onun geçmişteki yörüngelerinin modern hesaplamalarıyla karşılaştırırsak, Halley kuyrukluyıldızı Çin'de ilk kez görüldüğü MÖ 240 yılına kadar takip edilebilir. Sonraki ortaya çıkışı MÖ 164 yılında Babillilerin kil tabletlerine not edilmiştir. Çinliler tekrardan MÖ 87, MÖ 12, MS 66, MS 141 ve sonrasında tekrar görmüşlerdir. Halley'in kuyrukluyıldızın en sonunda geri geleceğine dair tahmini, gök dinamiğinin matematiksel kuramına dayalı, tamamen yeni, gökbilimin en erken öngörülerinden biriydi.
Matematik, çok uzun geçmişi boyunca şu iki kaynaktan beslenmiştir : gerçek dünya ve insanın hayal gücü. Hangisi daha önemli? İkisi de değil. Önemli olan ikisinin birlikteliği.