Joseph R. Shoenfield was an American mathematician known for his contributions to mathematical logic and set theory, particularly in the area of recursion theory and the foundations of mathematics. He is best known for his work on definability, effective computability, and the relationships between different levels of infinity. One of his significant contributions is the development of concepts related to degrees of unsolvability and the structure of recursively enumerable sets.
New to topics? Read the docs here!