Woodrow Wilson Bledsoe
Woodrow Wilson "Woody" Bledsoe (Maysville, Oklahoma, 12 de novembro de 1921 — Austin, 4 de outubro de 1995) foi um matemático e cientista da computação estadunidense.
| Woodrow Wilson Bledsoe | |
|---|---|
 Woodrow Wilson Bledsoe | |
| Nascimento | 12 de novembro de 1921 Maysville (Oklahoma) |
| Morte | 4 de outubro de 1995 (73 anos) Austin |
| Cidadania | Estados Unidos |
| Alma mater | |
| Ocupação | matemático, sacerdote, cientista de computação, engenheiro, pesquisador de inteligência artificial |
| Prêmios | Prêmio Herbrand (1994) |
| Empregador(a) | Universidade do Texas em Austin |
| Orientador(a)(es/s) | Anthony Morse |
| Orientado(a)(s) | Robert Stephen Boyer |
| Campo(s) | matemática, ciência da computação |
| Tese | 1953: Separative Measures for Topological Spaces |
| Causa da morte | esclerose lateral amiotrófica |
Obteve um doutorado na Universidade da Califórnia em Berkeley em 1953, orientado por Anthony Morse, com a tese Separative Measures for Topological Spaces.[1]
Foi um dos pioneiros da inteligência artificial, reconhecimento de padrões e prova automática de teoremas.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.