paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 027663426Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Heyting, Arend (1898-1980)

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : néerlandais; flamand,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, https://mathshistory.st-andrews.ac.uk/Biographies/Heyting/, 2023-07-19

Information trouvée : Arend Heyting (Né le 9 Mai 1898 à Amsterdam, Pays-Bas, Mort le 9 Juillet 1980 à Lugano, Suisse). Logicien, professeur à l'université d'Amsterdam, qui a conçu la logique intuitionniste

Intuitionism / A. Heyting, 1980

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

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/17289656
Identifiant Wikidata : Q641771
Identifiant ZBMath : heyting.arend
Identifiant ISNI : 0000000108555789

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

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