Henry Gordon Rice

logik

Henry Gordon Rice (18. července 192014. dubna 2003) byl americký logik a matematik, známý zejména jako autor tří Riceových vět, klíčových vět teorie vyčíslitelnosti, poskytujících silný nástroj pro dokazování nerozhodnutelnosti problémů. Rice tyto věty dokázal v rámci své dizertační práce v roce 1951. Rice působil jako profesor matematiky na University of New Hampshire a od roku 1960 byl zaměstnán v Computer Sciences Corporation.

Henry Gordon Rice
Narození18. července 1920
Úmrtí14. dubna 2003 (ve věku 82 let)
Alma materSyracuská univerzita
Povolánímatematik
Některá data mohou pocházet z datové položky.
Chybí svobodný obrázek.

Reference

editovat

V tomto článku byl použit překlad textu z článku Henry Gordon Rice na anglické Wikipedii.