İbn Tufeyl'in talebesi, Endülüslü büyük astronom Nûreddîn el-Bitrûcî'nin (v. 601/1204 civarı) Kitâbü'l-Hey'e şaheseri; Batlamyus'un dışmerkezli (eksantrik) ve episikl (ilmek) modellerini reddederek Aristotelesçi fizikle gök mekaniğini eşmerkezli küreler (homosentrik) teorisiyle yeniden kurması ve Kopernik astronomisine ilham veren matematiksel cüreti.