Robert Soare
contemporaryMathematical Logic / Computability Theoryb. 1940
Robert I. Soare is an American mathematician and logician at the University of Chicago, renowned for his foundational contributions to computability theory (formerly recursion theory). He is best known for his definitive textbook on recursively enumerable sets and degrees, and for leading the movement to rename the field from 'recursion theory' to 'computability theory' to better reflect its conceptual foundations.
Notable Achievements
1
Authored the definitive monograph 'Recursively Enumerable Sets and Degrees' (1987), the standard reference in the field
2
Pioneered research on the structure of the recursively enumerable degrees and their algebraic properties
3
Led the successful campaign to rename 'recursion theory' as 'computability theory' to align terminology with the field's actual subject matter
4
Made significant contributions to the theory of computably enumerable sets, automorphisms, and definability
5
Published influential revised textbook 'Turing Computability: Theory and Applications' (2016) reframing the field