wiskundige, mathematisch filosoof (promoveerde in 1935, RU Utrecht)