bio | website | invariant.org |
---|---|---|

location | ||

age | 35 | |

visits | member for | 4 years, 2 months |

seen | Dec 30 '13 at 22:35 | |

stats | profile views | 11 |

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

TeX - LaTeX | 173 rep | 16 | |

MathOverflow | 141 rep | 3 | |

Mathematics | 91 rep | 4 | |

Physics | 71 rep | 4 | |

Stack Overflow | 36 rep | 4 |

This user has no active bounties

# 0 Votes Cast

This user has not cast any votes