Paul Schupp
Paul Schupp | |
---|---|
Född |
|
12 mars 1937
dog |
|
24 januari 2022
Nationalitet | amerikansk |
Alma mater | Michigans universitet |
Känd för | Muller-Schupps teorem |
Utmärkelser | Guggenheim Fellowship |
Vetenskaplig karriär | |
Fält | Matematik |
institutioner | University of Illinois |
Doktorand rådgivare | Roger Lyndon |
Paul Eugene Schupp (född 12 mars 1937, död 24 januari 2022) var en professor emeritus i matematik vid University of Illinois i Urbana Champaign . Han är känd för sina bidrag till geometrisk gruppteori , beräkningskomplexitet och teorin om beräkningsbarhet .
Han fick sin Ph.D. från University of Michigan 1966 under ledning av Roger Lyndon .
Tillsammans med Roger Lyndon är han medförfattare till boken "Combinatorial Group Theory" som gav en omfattande redogörelse för ämnet Combinatorial Group Theory, som började med Dehns arbete på 1910-talet och till slutet av 1970-talet och är fortfarande en modern standard för ämnet. av liten avbokningsteori . Från 1980-talet arbetade han med problem som utforskade kopplingarna mellan gruppteori och datavetenskap och komplexitetsteori . Tillsammans med David Muller bevisade han att en ändligt genererad grupp G har ett kontextfritt ordproblem om och endast om G är praktiskt taget fri , vilket nu är känt som Muller–Schupps teorem .
1977 fick Schupp ett Guggenheim-stipendium . 2012 utsågs han till invigningsstipendiat i American Mathematical Society . Under 2017 anordnades konferensen "Groups and Computation" vid Stevens Institute of Technology för att fira Paul Schupps matematiska bidrag.