bio | website | science.marshall.edu/mummertc |
---|---|---|

location | Marshall University | |

age | 36 | |

visits | member for | 5 years, 2 months |

seen | Jun 25 at 21:17 | |

stats | profile views | 2,105 |

I work in mathematical logic. My main areas of interest are arithmetic, reverse mathematics, computability, and proof theory.

Mathematics | 41,583 rep | 578167 | |

MathOverflow | 6,486 rep | 12245 | |

Computer Science | 1,563 rep | 913 | |

TeX - LaTeX | 692 rep | 411 | |

Academia | 281 rep | 24 |

Enlightened × 8 | Custodian |

Nice Answer × 28 | Constituent |

Yearling × 5 | Caucus |

Explainer | Quorum |

Informed | lo.logic |

This user has no active bounties

# 461 Votes Cast

all time | by type | ||||
---|---|---|---|---|---|

405 | up | 113 | question | ||

56 | down | 348 | answer |