Larry Wos

Larry Wos
Urodzić się	Lawrence T. Wos 1930 Chicago
Zmarł	( 2020-08-21 ) 21 sierpnia 2020 r
Znany z	Dowód twierdzenia
Nagrody	Nagroda Herbranda (1992)
Kariera naukowa
Praca dyplomowa	O przemiennych podgrupach mocy pierwszej normy (1957)

Lawrence T. Wos (1930–2020) był amerykańskim matematykiem , badaczem w Wydziale Matematyki i Informatyki Argonne National Laboratory .

Biografia

Wos studiował na Uniwersytecie w Chicago , uzyskując tytuł licencjata w 1950 r. i magistra matematyki w 1954 r., po czym kontynuował studia doktoranckie na Uniwersytecie Illinois w Urbana-Champaign, gdzie w 1957 r. uzyskał stopień doktora pod kierunkiem Reinholda Baera . Wstąpił do Argonne w 1957 i zaczął używać komputerów do udowodnienia twierdzeń matematycznych w 1963.

Wos był od urodzenia niewidomy . Był zapalonym melonikiem , najlepszym niewidomym melonikiem w USA.

Nagrody i wyróżnienia

  W 1982 roku Wos i jego kolega Steve Winker jako pierwsi zdobyli nagrodę Automated Theorem Proving Prize, przyznawaną przez Amerykańskie Towarzystwo Matematyczne . W 1992 Wos był pierwszym, który zdobył nagrodę Herbrand za wkład w dziedzinie zautomatyzowanej dedukcji . Festschrift na jego cześć, Automatyczne rozumowanie i jego zastosowania: eseje na cześć Larry'ego Wosa (red. Robert Veroff) zostało opublikowane przez MIT Press w 1997 r. ( ISBN 0-262-22055-5 ).

Książki

    Wos i Gail W. Pieper są współautorami książek A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning (World Scientific, 1999, ISBN 978-981-02-3910-7 ) oraz Automated Reasoning and the Discovery of Brakujące i eleganckie dowody (Rinton Press, 2003, ISBN 1-58949-023-1 ). Prace zebrane Wosa zostały opublikowane przez World Scientific w 2000 roku w dwóch tomach ( ISBN 978-981-02-4001-1 ).

Linki zewnętrzne

• Prace Larry'ego Wosa lub o nim w bibliotekach ( katalog WorldCat )
• Lista publikacji w DBLP
• Maria Paola Bonacina (z Franzem Baaderem, Alanem Bundy, Ulrichem Furbachem, Frankiem Pfenningiem, Johnem Slaneyem i Christophem Weidenbachem), „In Memoriam: Larry Wos”