7 relazioni: Algebra, Algebra di Heyting, David Hilbert, Geometria proiettiva, Intuizionismo, Luitzen Brouwer, Università di Amsterdam.
Algebra
L'algebra è una branca della matematica che tratta lo studio di strutture algebriche, relazioni e quantità.
Nuovo!!: Arend Heyting e Algebra · Mostra di più »
Algebra di Heyting
Un'algebra di Heyting (dal matematico olandese Arend Heyting) è la struttura di verità (un'algebra, appunto) della logica intuizionista.
Nuovo!!: Arend Heyting e Algebra di Heyting · Mostra di più »
David Hilbert
È stato uno dei più eminenti ed influenti matematici del periodo a cavallo tra il XIX secolo e il XX secolo.
Nuovo!!: Arend Heyting e David Hilbert · Mostra di più »
Geometria proiettiva
La geometria proiettiva è la parte della geometria che modellizza i concetti intuitivi di prospettiva e orizzonte.
Nuovo!!: Arend Heyting e Geometria proiettiva · Mostra di più »
Intuizionismo
Nella filosofia della matematica, l'intuizionismo, o neointuizionismo (opposto al preintuizionismo), è un approccio alla matematica in cui ogni oggetto matematico è considerato un prodotto dell'attività costruttiva della mente umana.
Nuovo!!: Arend Heyting e Intuizionismo · Mostra di più »
Luitzen Brouwer
Fin da giovane mostrò attitudine alla ricerca matematica, e dimostrò una serie di importanti teoremi in topologia.
Nuovo!!: Arend Heyting e Luitzen Brouwer · Mostra di più »
Università di Amsterdam
Università di Amsterdam (in olandese Universiteit van Amsterdam), è una delle due università della città di Amsterdam.
Nuovo!!: Arend Heyting e Università di Amsterdam · Mostra di più »