Arend Heyting

Arend Heyting
	; Arend Heyting (1967)
Data i miejsce urodzenia	9 maja 1898 ; Amsterdam
Data i miejsce śmierci	9 lipca 1980 ; Lugano
	Specjalność: matematyka
Alma Mater	Uniwersytet Amsterdamski
Uczelnia	Uniwersytet Amsterdamski
	Multimedia w Wikimedia Commons

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]. Był członkiem Królewskiej Holenderskiej Akademii Sztuk i Nauk^[2].

Zobacz też

↑ Walter P. van Stigt (1990). Brouwer's Intuitionism. Amsterdam: North Holland.
↑ Arend Heyting (1898 - 1980). knaw.nl. [dostęp 2025-02-04]. (ang.).