173 reputation
1 6

Peter Gerdes

I'm a postdoc in computability theory a.k.a. recursion theory, a branch of mathematical logic studying what computers could in principle compute. Or more accurately when does being given access to the solution of one kind of problem A (so the computer can ask is n in the set of solutions to problem A) allow the computer to solve some other problem B.

Top Tags (14)

Score 4
Posts 1
Posts % 12
Score 3
Posts 2
Score 2
Posts 3
Score 2
Posts 1
Score 2
Posts 1
Score 2
Posts 1

Top Posts (8) All Questions Answers | Votes Newest

Badges (7)

Gold
Silver 1

Rarest

Bronze 6

Rarest