Joseph R. Shoenfield

1927

• Mathematical logic
• Degrees of unsolvability
• Recursion theory
• Degrees of unsolvability