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

location | Marshall University | |

age | 35 | |

visits | member for | 4 years, 3 months |

seen | 3 hours ago | |

stats | profile views | 1,968 |

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

Mathematics | 35,263 rep | 559141 | |

MathOverflow | 6,051 rep | 12039 | |

Computer Science | 1,504 rep | 711 | |

TeX - LaTeX | 612 rep | 411 | |

Academia | 261 rep | 23 |

Enlightened × 7 | Constituent |

Nice Answer × 23 | Caucus |

Yearling × 4 | Quorum |

Informed | lo.logic |

Custodian | Revival |

This user has no active bounties

# 440 Votes Cast

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

389 | up | 104 | question | 1 | |||

51 | down | 336 | answer |