Arend Heyting



[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).

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 17. 7. 2007
Autor: -red-

Odkazující hesla: neklasické logiky.

Sdílet: Facebook Twitter

Reklama: