Arend Heyting
(Amsterdam, 1898-Lugano, 1980) 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.