Arend Heyting (1898-1980)

Country :Pays-Bas
Language :néerlandais; flamand
Gender :masculin
Birth :Amsterdam (Pays-Bas), 1898
Death :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

Occupations

Auteur du texte6 documents

  • Axiomatic projective geometry

    Material description : In-8° (24 cm), [VIII]-148 p., fig. [Acq. 5523-65]
    Note : Note : Bibliotheca mathematica. 5. - La préface est datée 1963
    Edition : 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

    Note : Note : Collection de logique mathématique. Série A. 9
    Edition : 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.
    Material description : VIII-145 p.
    Note : Note : Bibliogr. p. 127-141. Index
    Edition : Amsterdam ; New York ; Oxford : North-Holland , [1980]

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

    Note : Note : Studies in logic and the foundations of mathematics
    Edition : 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,...

    Edition : 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,...

    Material description : In-8°, 297 p.
    Note : 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
    Edition : Amsterdam : North-Holland Publishing Company , 1959

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

    Edition : Amsterdam : North-Holland publishing C°

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

Contributeur1 document

Documents about this author

Documents about the author Arend Heyting (1898-1980)

Pages in data.bnf.fr

Related authors

This page in data.bnf.fr lab

Sources and references

Sources

  • Documents by this author : 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

Wikipedia Biography

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

Closely matched pages