Siya ay din ng isang maagang tagasulong ng ang konsepto na ang isang ipotesis ( hypothesis ) ay dapat na pinatunayan ng eksperimento batay sa nakukumpirmang pamamaraan o katibayan sa matematika  @-@  @-@  kaya nauunawaan ang pang @-@ agham na pamamaraan limang siglo bago ang mga siyentista ng Renaissance.
