Robert I. Soare

Robert I. Soare

male
low basis theorem, computability theory, mathematical logic, recursiontheory, American, mathematician
Robert Irving Soare is an American mathematician. Since 1975 he has been a professor at the University of Chicago. He proved, together with Carl...
Stephen Cole Kleene

Stephen Cole Kleene

male, deceased (1994)
Logician, mathematician, computer pioneer, computer scientist, Princeton University alumni, Alan Turing…recursiontheory, Kleene's recursion theorem
Stephen Cole Kleene was an American mathematician whose work at the University of Wisconsin-Madison helped lay the foundations for theoretical...
Gerald Sacks

Gerald Sacks

male
Harvard University, Sacks forcing, Richard Shore, recursiontheory, Doctor of Philosophy, Ph.D.
Gerald Sacks is a logician who holds a joint appointment at Harvard University as a Professor of Mathematical Logic and the Massachusetts Institute...

Leo Harrington

male
Erdős number 2, Logician, Paris–Harrington theorem, recursiontheory, model theory, set theory
Leo Anthony Harrington is a professor of mathematics at the University of California, Berkeley who works in recursion theory, model theory, and...

Hartley Rogers Jr

male
Princeton University, recursiontheory, Rogers equivalence theorem, Roger's equivalence theorem, 18.S34 Mathematical Problem Solving, 18.022 Multivariable Calculus with Theory
Hartley Rogers, Jr. is a mathematician who has worked in the field of recursion theory. The Rogers equivalence theorem is named after him. He is a...
Andrzej Mostowski

Andrzej Mostowski

male, deceased (1975)
Mostowski collapse lemma, Warsaw University alumni, lviv, austria-hungary, model theory, undecidability…recursiontheory
Andrzej Mostowski was a Polish mathematician. He is perhaps best remembered for the Mostowski collapse lemma. Born in Lwów, Austria-Hungary, M...

Theodore Slaman

male
Logician, mathematician, American, University of California, Berkeley, University of California, Berkeley faculty, recursiontheory
Theodore Slaman is a professor of mathematics at the University of California, Berkeley who works in recursion theory.

Carl Jockusch

male
mathematician, American, University Of Illinois At Urbana-Champaign, low basis theorem, reverse mathematics, recursiontheory
Carl Jockusch is an American mathematician. He is a professor emeritus at the University of Illinois at Urbana-Champaign. In 1972 Jockusch and...
Yiannis N. Moschovakis

Yiannis N. Moschovakis

male
Logician, mathematician, effective, University of Wisconsin-Madison, UCLA, greek…set theory, recursiontheory, recursion (computability) theorist, Effective descriptive set theory, Descriptive Set Theory
Yiannis N. Moschovakis (born 1938) is a set theorist, descriptive set theorist, and recursion (computability) theorist, at UCLA. For many years he...

John V. Tucker

male
John Vivian Tucker, analog signal, computability theory, recursiontheory, Formal methods, analogue
John Vivian Tucker (born 1952) is a British computer scientist and expert on computability theory, also known as recursion theory. His work has...