Se hizo una buena reputación en círculos filosóficos y en 1645 fue elegido con Descartes, Gilles de Roberval y otros para arbitrar la controversia entre John Pell y Longomontanus sobre el problema de cuadrar el círculo.