Prof Hor n , Mathematum ^Pbilosophiä