Matemático neerlandés. Profesor en la Universidad de Amsterdam, se especializó en lógica matemática. Estableció, junto con L.E.J. Brouwer, la teoría institucionalista, que rechaza el método axiomático y se orienta hacia las demostraciones de tipo intuicionista
(Hertfordshire, c. 1497-¿Malinas?, c. 1580) Poeta y dramaturgo inglés. Convencido católico y amigo de Tomás Moro, entre sus libros sobresale Interludios (1533), obra de tradición medieval