Thanks to gerbert of aurillac (later pope sylvester ii) what greek philosopher came to dominate the curriculum at the universities?