Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
Arend Heyting
Wikipédia en français - L'encyclopédie libre
Download this dictionary
Arend Heyting
Arend Heyting
(
Amsterdam
aux
Pays-Bas
,
9 mai
1898
-
Lugano
en
Suisse
,
9 juillet
1980
) est 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
.
Pour la suite, voir Wikipédia.org…
© Cet article se sert du contenu de
Wikipédia
®
et est autorisé sous les termes de la
Licence de Documentation libre GNU
et est distribué sous les termes de la
licence Creative Commons Paternité-Partage des Conditions Initiales à l'Identique 3.0 non transposé
.