1 reputation
bio website invariant.org
age 35
visits member for 1 year, 6 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
TeX - LaTeX 173 rep 16
MathOverflow 141 rep 3
Mathematics 91 rep 4
Physics 71 rep 4
Stack Overflow 36 rep 4

0 Votes Cast

This user has not cast any votes