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 |
| Distinções | 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 |
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.
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.
Referências
- ↑ Woodrow Wilson Bledsoe (em inglês) no Mathematics Genealogy Project
Ligações externas
[editar | editar código-fonte]- «Woody Bledsoe: His Life and Legacy» (em inglês)
