6 reputation
2
bio website invariant.org
location
age 35
visits member for 1 year, 8 months
seen Sep 8 '13 at 9:19

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
TeX - LaTeX 158 rep 6
MathOverflow 141 rep 3
Mathematics 81 rep 4
Physics 71 rep 4
Stack Overflow 36 rep 4

0 Votes Cast

This user has not cast any votes