14 reputation
bio website invariant.org
age 34
visits member for 3 years, 6 months
seen Dec 30 '13 at 22:35

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 no recent positive reputation changes

0 Votes Cast

This user has not cast any votes