b. 1940
Soare refers to Robert I. Soare, an American mathematical logician known for his foundational contributions to computability theory and recursion theory. He is the Paul Snowden Russell Distinguished Service Professor Emeritus at the University of Chicago and authored influential texts reshaping terminology and methodology in the field.
Authored 'Recursively Enumerable Sets and Degrees' (1987), a standard reference in computability theory
Advocated renaming 'recursive function theory' to 'computability theory' to align with Turing's conceptual framework
Made significant contributions to the study of the structure of c.e. degrees
Published 'Turing Computability: Theory and Applications' (2016)
Founded and led influential research programs in computability at the University of Chicago