<p>Matematico e logico (Amsterdam 1898 - Lugano 1980), prof. all'univ. di Amsterdam. Insieme con L. E. J. Brouwer è uno dei creatori dell'intuizionismo. Tra le sue opere: <i>Die formalen Regeln der intuitionistischen Logik</i> (1930), <i>Die intuitionistische Grundlegung der Mathematik</i> (1931), <i>Intuitionism</i> (1956).
</p>
<table class="sinottico" style="" summary="Tabella sinottica che riassume i principali dati del soggetto"></table>

Heyting Arend (Amsterdam 1898 - Lugano 1980) logico e matematico olandese. Studiò all’università di Amsterdam, dove poi insegnò fino al suo ritiro nel 1968 e fu allievo di L.E.J. Brouwer. Insieme a lui è uno dei principali esponenti dell’→ intuizionismo matematico. Si è occupato dell’assiomatica della ...

Heyting

Matematico e logico olandese (Amsterdam 1898 - Lugano 1980). Insegnò nella univ. di Amsterdam e fu tra i più brillanti allievi di Brouwer, il fondatore dell’intuizionismo. Distanziandosi dal suo maestro – che, attribuendo a meccanismi prelinguistici ampia parte del ragionamento matematico, e considerando ...

Heyting, Arend

Enciclopedia on line