Arend Heyting (1898-1980)

Pays :Pays-Bas
Langue :néerlandais; flamand
Sexe :masculin
Naissance :Amsterdam (Pays-Bas), 1898
Mort :Lugano (Suisse), 1980
Note :
Ecrit aussi en anglais
Mathématicien. - Professeur de mathématiques à l'Université d'Amsterdam, Pays-bas (à partir de 1948)
ISNI :ISNI 0000 0001 0855 5789

Ses activités

Auteur du texte7 documents

  • Axiomatic projective geometry

    Description matérielle : In-8° (24 cm), [VIII]-148 p., fig. [Acq. 5523-65]
    Description : Note : Bibliotheca mathematica. 5. - La préface est datée 1963
    Édition : Groningen : P. Noordhoff ; Amsterdam : North-Holland publishing C° , [1963]

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb33041946n]
  • Les Fondements des mathématiques, intuitionnisme, théorie de la démonstration

    Description : Note : Collection de logique mathématique. Série A. 9
    Édition : Paris, Gauthier-Villars ; Louvain, E. Nauwelaerts ; (Paris, impr. de J. et R. Sennac) , 1955. Gr. in-8°, 92 p. 1 100 fr. [D. L. 11820-55] -IIIa-IVa-
    Traducteur : Paulette Destouches-Février

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb322457019]
  • Intuitionism

    an introduction

    3rd ed.
    Description matérielle : VIII-145 p.
    Description : Note : Bibliogr. p. 127-141. Index
    Édition : Amsterdam ; New York ; Oxford : North-Holland , [1980]

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37358726f]
  • Intuitionism, an introduction. A. Heyting...

    Description : Note : Studies in logic and the foundations of mathematics
    Édition : Amsterdam, North-Holland publishing C° , 1956. In-8°, VIII-133 p. [Acq. 1371-56] -IVa-

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb32245702n]
  • Intuitionistische Axiomatiek der projectieve meetkunde... door Arend Heyting,...

    Édition : Groningen, P. Noordhoff , 1925. In-8°, VII-95-II p.

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb322457030]

Éditeur scientifique2 documents

  • Constructivity in mathematics, proceedings of the colloquium held at Amsterdam, 1957. Edited by A. Heyting,...

    Description matérielle : In-8°, 297 p.
    Description : Note : Colloquium organized by the Nerderlandse Vereniging voor logica en wijsbegeerte der exacte wetenschappen, and sponsored by the International union for history and philosophy of science. Studies in logic and the foundations of mathematics
    Édition : Amsterdam : North-Holland Publishing Company , 1959

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb339204078]
  • Studies in logic and the foundations of mathematics

    Édition : Amsterdam : North-Holland publishing C°

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb33615152r]

Contributeur1 document

Documents à propos de cet auteur

Documents à propos de l'auteur Arend Heyting (1898-1980)

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Documents de cet auteur : Intuitionism / A. Heyting, 1980
  • Ouvrages de reference : Des mathématiciens de A à Z / Bertrand Hauchecorne, Daniel Suratteau, 2008
  • Catalogues de la BnF : BN Cat. gén. suppl. : A. Heyting

Biographie Wikipedia

  • 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.

Pages équivalentes