Lawrence T. Wos fue un matemático estadounidense , investigador de la División de Matemáticas y Ciencias de la Computación del Laboratorio Nacional Argonne . [1]
Larry Wos | |
---|---|
Nació | Lawrence T. Wos 1930 Chicago |
Fallecido | 21 de agosto de 2020 |
Conocido por | demostración del teorema , |
Premios | Premio Herbrand (1992) |
Carrera científica | |
Tesis | Sobre los subgrupos conmutativos de potencia prima de la norma (1957) |
Biografía
Wos estudió en la Universidad de Chicago , recibió una licenciatura en 1950 y una maestría en matemáticas en 1954, y realizó estudios de doctorado en la Universidad de Illinois en Urbana-Champaign, donde recibió su doctorado en 1957 bajo la supervisión de Reinhold Baer . [2] Se unió a Argonne en 1957 y comenzó a usar computadoras para demostrar teoremas matemáticos en 1963. [3] [4]
Wos era congénitamente ciego . Era un ávido jugador de bolos , el mejor jugador de bolos ciego de los Estados Unidos. [5] [6] [7]
Premios y honores
En 1982, Wos y su colega Steve Winker fueron los primeros en ganar el premio de prueba de teoremas automatizados, otorgado por la American Mathematical Society . [5] En 1992, Wos fue el primero en ganar el premio Herbrand por sus contribuciones al campo de la deducción automática . [8] Un festschrift en su honor, Razonamiento automatizado y sus aplicaciones: ensayos en honor a Larry Wos (Robert Veroff, ed.) Fue publicado por MIT Press en 1997 ( ISBN 0-262-22055-5 ).
Libros
Wos y Gail W. Pieper son los coautores de los libros A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning (World Scientific, 1999, ISBN 978-981-02-3910-7 ) y Razonamiento automatizado y el descubrimiento de pruebas elegantes y faltantes (Rinton Press, 2003, ISBN 1-58949-023-1 ). Las obras completas de Wos fueron publicadas por World Scientific en 2000, en dos volúmenes ( ISBN 978-981-02-4001-1 ).
Referencias
- ↑ Página de inicio de Larry Wos en Argonne, consultado el 3 de octubre de 2010.
- ^ Larry Wos en el Proyecto de genealogía matemática
- ^ Obermiller, Tim Andrew (abril de 1997), "Top of his game" , Revista de la Universidad de Chicago.
- ^ Dick, Stephanie (septiembre de 2011). "AfterMath: el trabajo de prueba en la era de la colaboración humano-máquina". Isis . Prensa de la Universidad de Chicago. 102 (3): 494–505. doi : 10.1086 / 661623 . JSTOR 10.1086 / 661623 . PMID 22073773 . S2CID 24778586 .
- ↑ a b Chicago Tribune , 18 de noviembre de 1982.
- ^ Van, Jon (24 de enero de 1982), "La ceguera quedó en segundo plano en el camino hacia el éxito", Chicago Tribune.
- ^ Montgomery, Paul L. (27 de mayo de 1977), "El matemático ciego aplica el método analítico a los bolos", New York Times.
- ^ Deepak Kapur (1992), Deducción automatizada, CADE-11: XI Conferencia Internacional sobre Deducción automatizada
enlaces externos
- Obras de o sobre Larry Wos en bibliotecas ( catálogo de WorldCat )
- Lista de publicaciones en DBLP
- Maria Paola Bonacina (con Franz Baader, Alan Bundy, Ulrich Furbach, Frank Pfenning, John Slaney y Christoph Weidenbach), "In Memoriam: Larry Wos"