Hartley Rogers Jr.

Hartley Rogers Jr. (6 juli 1926 – 17 juli 2015) var en matematiker som arbetade med beräkningsbarhetsteori och var professor vid Mathematics Department vid Massachusetts Institute of Technology .

Biografi

Född 1926 i Buffalo, New York , studerade han under Alonzo Church i Princeton och fick sin doktorsexamen. där 1952. Han tjänstgjorde vid MIT-fakulteten från 1956 till sin död, 17 juli 2015. Han efterlämnar sin fru, Dr. Adrianne E. Rogers, av sina tre barn, Hartley R. Rogers, Campbell DK Rogers, och Caroline R. Broderick, och av hans 10 barnbarn.

På MIT hade han varit involverad i många vetenskapliga aktiviteter utanför läroplanen, inklusive att driva SPUR (Summer Program in Undergraduate Research) för MIT-studenter, övervaka matematiksektionen i RSI (Research Science Institute ) för avancerade gymnasieelever och coacha MIT Putnam- examensteamet i nästan två decennier med start 1990, inklusive åren 2003 och 2004 då MIT vann för första gången sedan 1979. Han drev också ett seminarium kallat 18.S34: Mathematical Problem Solving for MIT freshmen.

Rogers är känd inom MIT grundutbildning också för att ha utvecklat en multivariabel kalkylkurs (18.022: Multivariable Calculus with Theory) med det uttryckliga målet att tillhandahålla en fast matematisk grund för studier av fysik. 2005 meddelade han att han inte längre själv skulle undervisa i kursen, men det är troligt att den kommer att fortsätta att undervisas på liknande sätt i framtiden. Han är ihågkommen för sina kvicka matematiska kommentarer under föreläsningar samt hans tradition att ge Leibniz Cookies och Fig Newtons till topppresterande i sin klass.

Han var en ivrig rodare och var senast medlem i Cambridge Boat Club vid Charles River, Cambridge, Massachusetts. På sin fritid tjänstgjorde han i många år som kapellan för världsmästerskapen i rodd inomhus som en del av CRASH-B. Sprints styrelse.

Matematiskt arbete

Rogers arbetade i matematisk logik , särskilt rekursionsteori , och skrev den klassiska texten Theory of Rekursiva funktioner och effektiv beräkningsbarhet . Rogers ekvivalenssats är uppkallad efter honom.

Hans doktorander inkluderade Patrick Fischer , Louis Hodes , Carl Jockusch , Andrew Kahr , David Luckham , Rohit Parikh , David Park och John Stillwell .

Rogers vann Lester R. Ford Award 1965 för sin expository artikel Information Theory .

Utvalda verk

•   Rogers, Hartley (1959). "Rekursiva funktioner över välordnade delordningar" . Proc. Amer. Matematik. Soc. 10 (6): 847–853. doi : 10.1090/s0002-9939-1959-0111685-8 . MR 0111685 .
•   Kreider, Donald L. ; Rogers, Hartley (1961). "Konstruktiva versioner av ordningstalsklasser" . Trans. Amer. Matematik. Soc. 100 (2): 325–369. doi : 10.1090/s0002-9947-1961-0151396-x . MR 0151396 .
•   Rogers, Hartley (1965). "Om universella funktioner" . Proc. Amer. Matematik. Soc . 16 :39–44. doi : 10.1090/s0002-9939-1965-0171705-4 . MR 0171705 .
•     Hartley Rogers Jr., Theory of Recursive Functions and Effective Computability , MIT Press, ISBN 0-262-68052-1 (pocket), ISBN 0-07-053522-1 (lärobok)

externa länkar

• Hartley Rogers Jr. vid Mathematics Genealogy Project