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

location | Marshall University | |

age | 36 | |

visits | member for | 5 years |

seen | 22 hours ago | |

stats | profile views | 2,078 |

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

Mathematics | 39,659 rep | 571162 | |

MathOverflow | 6,351 rep | 12043 | |

Computer Science | 1,543 rep | 912 | |

TeX - LaTeX | 672 rep | 411 | |

Academia | 281 rep | 24 |

Nice Answer × 26 | Custodian |

Explainer | Constituent |

Enlightened × 7 | Caucus |

Yearling × 4 | Quorum |

Informed | lo.logic |

This user has no active bounties

# 457 Votes Cast

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

403 | up | 110 | question | ||

54 | down | 347 | answer |