1926 – 2015
Hartley Rogers Jr. (1926–2015) was an American mathematician at MIT known for foundational contributions to recursion theory and computability. His textbook 'Theory of Recursive Functions and Effective Computability' became a standard reference, and he is remembered for Rogers' equivalence theorem on acceptable programming systems.
Authored 'Theory of Recursive Functions and Effective Computability' (1967), a landmark textbook
Proved Rogers' equivalence theorem characterizing acceptable programming systems
Advanced the study of Turing degrees and the arithmetical hierarchy
Long-time professor of mathematics at MIT, mentoring generations of logicians
Contributed to the philosophical understanding of effective computability