Peter Gerdes

less info
stack exchange network profile network profile
11 reputation
1
bio website invariant.org
location
age 32
visits member for 1 year, 5 months
seen Apr 28 at 18:33
stats profile views 1

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.


11 Reputation

+10 Concerns with compressing sensitive data in OSX

4 Tags

1
osx × 2
1
archiving
1
file-format
0
quicksilver

1 Badge

recent class name
 Teacher

0 Votes Cast

This user has not cast any votes