what prominent Dutch mathematician and scientist did Jan Jansz de Jonge Stampioen tutor?