user avatar
user avatar
user avatar
Peter Gerdes
  • Member for 10 years
  • Last seen this week
Stats
1,545
reputation
30k
reached
27
answers
26
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.
7
silver badges
15
bronze badges
32
Score
42
Posts
79
Posts %
24
Score
39
Posts
74
Posts %
14
Score
4
Posts
8
Posts %
8
Score
7
Posts
13
Posts %
4
Score
15
Posts
28
Posts %
3
Score
4
Posts
8
Posts %
Top posts
View all questions and answers