Heyting, Arend

Enciclopedia on line

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: Die formalen Regeln der intuitionistischen Logik (1930), Die intuitionistische Grundlegung der Mathematik (1931), Intuitionism (1956).

Vedi anche
intuizionismo Termine filosofico con cui si designano quelle concezioni che non solo riconoscono una funzione all'intuizione, ma rivendicano a essa un ruolo privilegiato. Di i. si è parlato a proposito della scuola scozzese del senso comune di T. Reid (1710-1766) e W. Hamilton (1788-1856) che, nel tentativo di superare ... logica Filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. La l. antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio e della conoscenza» nell’ambiente protostoico, pur conservando λογικός per tutta la grecità il valore ... Luitzen Egbertus Jan Brouwer Matematico e filosofo olandese (Overschie, Rotterdam, 1881 - Laren, Olanda Settentr., 1966); dal 1912 prof. all'univ. di Amsterdam. È stato uno dei fondatori della moderna topologia, e di vedute topologiche si è valso in indagini critiche in varî campi (teoria delle curve, gruppi continui, ecc.). Come ... matematica Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla m. applicata compete l’elaborazione di strumenti e modelli adatti agli scopi di altre scienze (fisica, ...
Categorie
Tag
Altri risultati per Heyting, Arend
  • Heyting
    Enciclopedia della Matematica (2017)
    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, Arend
    Dizionario di filosofia (2009)
    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 ...