Documentation Documentation
Identifiant IdRef : 027663426
Notice de type Personne

Point d'accès autorisé

Heyting, Arend (1898-1980)

Information

Langue d'expression : Neerlandais,Allemand,Anglais
Pays : Pays-Bas
Date de naissance : 09 -  05 -  1898
Date de mort : 09 -  07 -  1980
Genre : Masculin

Notes

Note publique d'information : 
Logicien, professeur à l'université d'Amsterdam, qui a conçu la logique intuitionniste

Note publique d'information : 
Mathématicien

Source

GLU

Internet, http://www-groups.dcs.st-and.ac.uk/history/Mathematicians, 27-01-2005

Information trouvée : Arend Heyting (Né le 9 Mai 1898 à Amsterdam, Pays-Bas, Mort le 9 Juillet 1980 à Lugano, Suisse)

Intuitionism / A. Heyting, 1980

Mathematische Grundlagenforschung : Intuitionismus, Beweistheorie / A. Heyting, 1934

Autres identifiants

Identifiant de notice Sudoc fusionnée : 031968120
Identifiant BNF : FRBNF123086778
Identifiant ISNI : 0000000108555789

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet

... Références liées : ...