Heyting, Arend (1898-1980)

Heyting, Arend (1898-1980)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 027663426

URI de l'entité : http://www.idref.fr/027663426/id

Notice de type Personne

Point d'accès autorisé

Heyting, Arend (1898-1980)

Sur le web

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

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/17289656

Identifiant Wikidata : Q641771

Identifiant ZBMath : heyting.arend

Identifiant Wikipédia : https://fr.wikipedia.org/wiki/Arend_Heyting

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb123086774

Identifiant ISNI : 0000000108555789

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

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