En 1971 fue el principal impulsor de la creación de la Comisión Internacional de la Historia de las Matemáticas.