Peter van woerden biography definition