Han ble cand. real i 1995 med hovedoppgave i matematikk ved Universitetet i Oslo og tok en prisbelønt doktorgrad (Ph.D.) i filosofi ved Harvard University i USA i 2002. Han har skrevet flere artikler og bøker om matematikkens historie, om metafysiske og erkjennelsesteoretiske temaer og om filosofiens historie..