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”.
Zobacz też
- algebra Heytinga
- arytmetyka Heytinga
Przypisy
Linki zewnętrzne
John J. O'Connor; Edmund F. Robertson: Arend Heyting w MacTutor History of Mathematics archive (ang.)
- 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
This article uses material from the Wikipedia Polski article Arend Heyting, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Treść udostępniana na licencji CC BY-SA 4.0, jeśli nie podano inaczej. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Polski (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.