Arend Heyting

Biografie

[Hejting], *9.5.1898 – †9.7.1980, nizozemský matematik a logik, profesor univerzity v Amsterdamu. Jeden z čelných představitelů intuicionismu, pokusil se o axiomatizaci intuicionistické logiky. Hlavní dílo: Intuicionism. An Introduction (Úvod do intuicionismu).

Vytvořeno: 14. 3. 2000
Aktualizováno: 17. 7. 2007
Autor: -red-

Odkazující hesla: neklasické logiky.