turing
A propos de l'Espace-Turing | Partenaires | Nous contacter
twitterfacebookrssyoutube
Accueil > Historique > Historique > Naissance de « Arend Heyting », mathématicien et logicien néerlandais

Naissance de « Arend Heyting », mathématicien et logicien néerlandais

9 mai 1898

Voir en ligne : http://en.wikipedia.org/wiki/Arend_...

Arend Heyting (Amsterdam, 9 mai 1898 - Lugano, 9 juillet 1980) était un mathématicien et logicien néerlandais. Il était un élève de Luitzen Egbertus Jan Brouwer à l’Université d’Amsterdam, et a beaucoup contribué à ce que la logique intuitionniste fasse partie de la logique mathématique.



Suivre la vie du site RSS 2.0 | Plan du site | Espace privé | SPIP | squelette | Contact site : marc.monticelli [at] unice [point] fr