Arend Heyting
(Amsterdam, 1898 Lugano, 1980) Matematico neerlandes. Profesor en la Universidad de Amsterdam, se especializo en logica matematica. Establecio, junto con L.E.J. Brouwer, la teoria institucionalista, que rechaza el metodo axiomatico y se orienta hacia las demostraciones de tipo intuicionista.
![Arcipreste de Talavera [Alfonso Martinez de Toledo]](http://www.personajes.org/wp-content/themes/blogsParking-HTML5-2/scripts/timthumb.php?src=/images/default.jpg&w=50&h=50&zc=1&q=100)