Andrzej Mostowski



*1.11.1913 – †22.8.1975, polský matematik a logik, profesor univerzity ve Varšavě. Od roku 1956 člen Polské akademie věd. Zabýval se zejména aplikací algebraických metod v logice a teorii rekurzívních funkcí. Dokázal nezávislost axiómu výběru na ostatních axiómech teorie množin.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 29. 5. 2006
Autor: -red-

Odkazující hesla: klasifikace predikátů.

Sdílet: Facebook Twitter

Reklama: