Arend Heyting

matematico e logico olandese

Arend Heyting (Amsterdam, 9 maggio 1898Lugano, 9 luglio 1980) è stato un matematico e logico olandese.

Arend Heyting

Allievo di Luitzen Brouwer all'Università di Amsterdam, insieme a lui è uno dei principali esponenti dell'intuizionismo matematico.

Si è occupato dell'assiomatica della geometria proiettiva e dell'algebra intuizioniste, ottenendo anche importanti risultati nella teoria intuizionista degli spazi di Hilbert.

Fondamentali sono state le sue formalizzazioni della logica e della matematica intuizioniste (1930). Per la logica, Heyting si fonda sull'interpretazione delle formule logiche come "intenzioni di costruzioni": 'non A', per es., indica l'intenzione di una contraddizione connessa con l'intenzione originale A. Successivamente Heyting interpretò le formule logiche come asserzioni su costruzioni, per cui la logica intuizionista viene caratterizzata come una logica del conoscere, a differenza di quella classica, che è una logica dell'essere. Queste formalizzazioni di Heyting furono da alcuni considerate come una completa descrizione dell'intuizionismo; si ritenne quindi che esse fossero in contraddizione con la tesi brouweriana della non essenzialità del linguaggio per la matematica intuizionista. Ma già nel 1930 Heyting aveva sostenuto l'impossibilità di una sua completa formalizzazione, poiché "le possibilità di pensare non possono essere ridotte a un numero definito di regole costruite anticipatamente". La formalizzazione (come l'assiomatizzazione) è solo un ausilio per la comunicazione: se è vero che l'intuizionista non cerca il rigore del linguaggio, ma nel pensiero matematico stesso, questo però non implica una separazione assoluta fra linguaggio e matematica. "Nella effettiva ricerca matematica il linguaggio è coinvolto in modo essenziale fin dall'inizio".

Bibliografia

modifica
  • AA. VV., Enciclopedia di Filosofia, Garzanti, 2004.

Voci correlate

modifica

Altri progetti

modifica

Collegamenti esterni

modifica
Controllo di autoritàVIAF (EN17289656 · ISNI (EN0000 0001 0855 5789 · LCCN (ENn80006204 · GND (DE1027693091 · BNF (FRcb123086774 (data) · J9U (ENHE987007279140305171 · CONOR.SI (SL146305635
  NODES
Project 1