Stack Exchange

Carl Mummert

Marshall University

http://science.marshall.edu/mummertc

I work in mathematical logic. My main areas of interest are arithmetic, reverse mathematics, computability, and proof theory.
top accounts reputation activity subscriptions
Top Questions
Top Answers
296
Can every proof by contradiction also be shown without contradiction?
math.stackexchange.com

141
Resuming a list
tex.stackexchange.com

131
Is there a known well ordering of the reals?
math.stackexchange.com

101
What's the difference between predicate and propositional logic?
math.stackexchange.com

95
Using proof by contradiction vs proof of the contrapositive
math.stackexchange.com

78
In a family with two children, what are the chances, if one of the children is a girl, that both children are girls?
math.stackexchange.com

77
What is an Empty set?
math.stackexchange.com

75
What is the value of $1^i$?
math.stackexchange.com

72
Do We Need the Axiom of Choice for Finite Sets?
math.stackexchange.com

55
Does mathematics require axioms?
math.stackexchange.com

55
What is a proof?
math.stackexchange.com

54
Why is establishing absolute consistency of ZFC impossible?
math.stackexchange.com

52
Are "if" and "iff" interchangeable in definitions?
math.stackexchange.com

49
What's the difference between material implication and logical implication?
math.stackexchange.com

49
$e^{e^{e^{79}}}$ and ultrafinitism
math.stackexchange.com

49
What actually is a polynomial?
math.stackexchange.com

49
Examples of theorems that are true conceptually, but false computationally
math.stackexchange.com

48
Is it possible to generate truly random numbers using a computer?
math.stackexchange.com

46
Preimage of generated $\sigma$-algebra
math.stackexchange.com

44
Infinite sets don't exist!?
math.stackexchange.com

44
How to avoid perceived circularity when defining a formal language?
math.stackexchange.com

43
Are the rationals minus a point homeomorphic to the rationals?
math.stackexchange.com

42
How Would an Intuitionist Prove This?
mathoverflow.net

39
What does $dx$ mean?
math.stackexchange.com

39
$\arcsin$ written as $\sin^{-1}(x)$
math.stackexchange.com

39
In what sense are math axioms true?
math.stackexchange.com

39
What is the difference between a point and a vector?
math.stackexchange.com

38
Why do we restrict the definition of Lebesgue Integrability?
math.stackexchange.com

37
*Recursive* vs. *inductive* definition
math.stackexchange.com

37
(Why) is topology nonfirstorderizable?
math.stackexchange.com

1 2 3 4 5 … 10