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”Walter P. van Stigt (1990). Brouwer's Intuitionism. Amsterdam: North Holland.. Był członkiem Królewskiej Holenderskiej Akademii Sztuk i Nauk.
Zobacz też algebra Heytinga arytmetyka Heytinga
Przypisy
Linki zewnętrzne
Kategoria:Absolwenci i studenci Uniwersytetu Amsterdamskiego Kategoria:Członkowie Królewskiej Holenderskiej Akademii Sztuk i Nauk Kategoria:Holenderscy matematycy XX wieku Kategoria:Filozofowie matematyki Kategoria:Urodzeni w 1898 Kategoria:Zmarli w 1980