Logic

Research Frontiers in Recursion Theory and Degrees of Unsolvability

Analyzes hierarchies of uncomputable sets through Turing reducibility establishing degrees of relative computability.

All Logic PhD categories