HEYTING, AREND (1898-1980)

Nac. en Amsterdam, fue profesor de matemá­tica y de filosofía de la matemática en la Uni­versidad de la misma ciudad. Junto con Brouwer, Heyting es uno de los principa­les representantes de la dirección intuicionista (véase Intuicionismo) en la matemática y en su fundamentación. Heyting trabajó en la fundamentación de la matemática intuicio­nista y en la aclaración de la noción de cons­trucción (una noción que sirve no sólo para dilucidar el status de las «entidades matemá­ticas», sino también para efectuar pruebas). La teoría de la prueba en sentido intuicionista ha sido objeto de especial