128 reputation
5
bio website invariant.org
location
age 33
visits member for 2 years, 4 months
seen 2 days ago
stats profile views 12

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.


4 Votes Cast

all time   by type  
4 up 0 question
0 down 4 answer