Henry Gordon Rice
logik
Henry Gordon Rice (18. července 1920 – 14. 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 mater | Syracuská univerzita |
| Povolání | matematik |
| Některá data mohou pocházet z datové položky. Chybí svobodný obrázek. | |
Reference
editovatV tomto článku byl použit překlad textu z článku Henry Gordon Rice na anglické Wikipedii.
