Arend Heyting
Arend Heyting (ur. 9 maja 1898 w Amsterdamie, zm. 9 lipca 1980 w Lugano w Szwajcarii) – holenderski matematyk i logik. Przyczynił się do powstania podstaw logiki intuicjonistycznej, czyniąc z tej ostatniej dział logiki matematycznej.
Student L.E.J. Brouwera na Uniwersytecie w Amsterdamie. Jego pomysły były jednak do tego stopnia niezgodne z pierwotnymi zamierzeniami Brouwera, że nazwał on prace Heytinga „jałowymi ćwiczeniami”[1].
Zobacz też
- algebra Heytinga
- arytmetyka Heytinga
Przypisy
- ↑ Walter P. van Stigt (1990). Brouwer's Intuitionism. Amsterdam: North Holland.
Linki zewnętrzne
John J. O’Connor; Edmund F. Robertson: Arend Heyting w MacTutor History of Mathematics archive (ang.)
Kontrola autorytatywna (osoba):
- Britannica: biography/Arend-Heyting
- Treccani: arend-heyting
- NE.se: arend-heyting
- Hrvatska enciklopedija: 25334
Identyfikatory zewnętrzne:
- MacTutor: Heyting