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

  1. ↑ Walter P. van Stigt (1990). Brouwer's Intuitionism. Amsterdam: North Holland.

Linki zewnętrzne

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
  • Britannica: biography/Arend-Heyting
  • Treccani: arend-heyting
  • NE.se: arend-heyting
  • identyfikator w Hrvatska enciklopedija: 25334
Identyfikatory zewnętrzne:
  • MacTutor: Heyting