Carl Mummert

Marshall University

science.marshall.edu/mummertc

Age: 36

I work in mathematical logic. My main areas of interest are arithmetic, reverse mathematics, computability, and proof theory.
Jun
23
awarded Autobiographer
Jun
23
awarded Yearling
Jun
21
awarded Enlightened
Jun
21
awarded Nice Answer
Jun
11
comment Fourier Series: Heat Bar Problem
possible duplicate of Fourier Series: Heat Bar Problem
Jun
10
reviewed Close Solve system equation: $ \sqrt{a- \sqrt{b}} = \sqrt{c} - 1, \sqrt{b - \sqrt{c}} = \sqrt{a} - 1, \sqrt{c - \sqrt{a}} = \sqrt{b} - 1 $
Jun
10
comment Help with this explanation of the Material Conditional
Of course, the reason we don't want $p \to q$ and $q \to p$ to mean the same thing is based to some extent on the concept of "if/then", or at least based on the "concept that behaves like $p \to q$". +1
Jun
10
reviewed Leave Open Multiple accounts, a wide open door for breaking rules?
Jun
10
reviewed Looks Good Is this a sufficient condition for differentiability
Jun
10
reviewed Looks Good $f_x(x,y)=f_y(x,y)$ for all $(x,y)\in\mathbb{R}^2 \iff f(x,y)=f(0,x+y)$
Jun
10
reviewed Close Inequalities involving ordered variables
Jun
10
comment Feature request: the automatic deletion be disabled
I'm voting to close this question as off-topic because it was posted by a suspended user via a sockpuppet account.
Jun
10
reviewed Close Number theory: show 5777 cannot be written as $p+2k^2$
Jun
10
reviewed Close ¿MVUE and pivotal quantity for a random variable with $2x/\theta^2$ density?
Jun
10
reviewed Leave Closed what is the way to reach apropriate answer about my question about group in algebra
Jun
10
awarded Custodian
Jun
10
reviewed Reopen Is the site being too lenient in helping people with homework?
Jun
10
comment Couldn't we have defined the material conditional differently?
The first truth table contains the three lines that are relatively uncontroversial about a truth-functional connective for "if P then Q". If P and Q are both true, or both false, then the implication should hold; if P is true and Q is false the implication should not hold. The fourth row is the one that causes the most consternation. As for circularity, even before we study formal logic we know that "if N is a multiple of 4 then N is even" is not the same as "N is a multiple of 4 if and only if N is even".
Jun
10
reviewed Close what is the Diffie-Hellman
Jun
10
reviewed Leave Open Can I see the original Tex-code?
1 2 3 4 5