Associating Great Ancient Philosophers to Current Mathematical Practice