1 reputation
1
bio website invariant.org
location
age 35
visits member for 1 year, 2 months
seen Sep 7 '13 at 1:47

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.


This user has not answered any questions
This user has no recent reputation changes
This user has not asked any questions
This user has not participated in any tags

0 Votes Cast

This user has not cast any votes