Arend Heyting (Dutch: [ˈaːrənt ˈɦɛitɪŋ]; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician. == Biography == Heyting was a student of Luitzen Egbertus Jan Brouwer at the University of Amsterdam, and did much to put intuitionistic logic on a footing where it could become part of mathematical logic.
Arend Heyting (Dutch: [ˈaːrənt ˈɦɛitɪŋ]; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician. == Biography == Heyting was a student of Luitzen Egbertus Jan Brouwer at the University of Amsterdam, and did much to put intuitionistic logic on a footing where it could become part of mathematical logic.
Source: Wikipedia "Arend Heyting" · CC BY-SA 4.0
Share this article: X · Bluesky