Arend Heyting
holenderski matematyk
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ż edytuj
Przypisy edytuj
- ↑ Walter P. van Stigt (1990). Brouwer's Intuitionism. Amsterdam: North Holland.
Linki zewnętrzne edytuj
- John J. O'Connor; Edmund F. Robertson: Arend Heyting w MacTutor History of Mathematics archive (ang.)
Kontrola autorytatywna (osoba):
- ISNI: 0000000108555789
- VIAF: 17289656
- LCCN: n80006204
- GND: 1027693091
- BnF: 123086774
- SUDOC: 027663426
- NKC: mzk2015869227
- DBNL: heyt004
- NTA: 068357044
- BIBSYS: 90226654
- CiNii: DA00234624
- PLWABN: 9810673595405606
- NUKAT: n01046091
- J9U: 987007279140305171
- CANTIC: a10100404
- LNB: 000086689
- CONOR: 146305635
- WorldCat: lccn-n80006204