Peter Gerdes's user avatar
Peter Gerdes's user avatar
Peter Gerdes's user avatar
Peter Gerdes
  • Member for 11 years, 10 months
  • Last seen more than a week ago
Stats
2,551
reputation
40k
reached
39
answers
53
questions
Loading…
About

I'm a mathematician working in computability theory a.k.a. recursion theory, a branch of mathematical logic studying what computers (aka Turing machines) could in principle compute. Or more accurately when does being given access to the solution of one kind of problem (aka an oracle) allow the computer to solve some other problem. Currently focused on research about the $\alpha$-REA degrees.

I'm also the maintainer of the rec-thy latex package designed to give a common set of basic commands for the working mathematician in computability theory.

This user doesn’t have any gold badges yet.
14
silver badges
17
bronze badges
51
Score
79
Posts
86
Posts %
47
Score
76
Posts
83
Posts %
15
Score
12
Posts
13
Posts %
8
Score
10
Posts
11
Posts %
6
Score
13
Posts
14
Posts %
5
Score
20
Posts
22
Posts %
Top posts
View all questions and answers