John Barkley Rosser

Biografie

[Rosr], *6.12.1907 – †1989, americký logik, pracuje v oblasti metalogiky, kombinatorické a vícehodnotové logiky. V roce 1936 zobecnil Gödelův teorém o nerozhodnutelnosti predikátového kalkulu prvního stupně a Churchův teorém o neexistenci efektivní rozhodovací procedury pro tento kalkul.

Vytvořeno: 14. 3. 2000
Aktualizováno: 1. 11. 2006
Autor: -red-