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.
10h
answered Tangents in comments in meta postings.
11h
awarded Nice Answer
19h
comment Three numbers are chosen from$\{1...n\}$(without returns)If it's known that $x_1<x_2$ , find the probability $x_1<x_3<x_2$.
What are your thoughts about the problem? Where did you encounter it? What have you tried? You can edit your post to improve it.
19h
comment Does $\int_{0}^{1} |f(t)|dt=0$ imply that $f(t)=0\ \text{for all } t \in [0,1]$?
What have you tried? Where did you encounter the question? On this site, we look for this kind of context, not just for a statement of a problem. You can edit your post to improve it.
20h
comment Computing $\displaystyle \int{ \frac{\sqrt[3]{x}+2\sqrt[4]{x}}{\sqrt{x}(\sqrt{x}+\sqrt[3]{x})^2}}\,dx$
@Nathanson: the post does not even state a question. It is far from perfectly written.
20h
comment How to find the integral, any closed-form?
On this site, we look for more context in questions: where did you find the problem? Why is it of interest? What have you attempted, where did you get stuck, and what are your thoughts? Questions that do not include this information may be placed on hold for improvement.
20h
comment Computing $\displaystyle \int{ \frac{\sqrt[3]{x}+2\sqrt[4]{x}}{\sqrt{x}(\sqrt{x}+\sqrt[3]{x})^2}}\,dx$
@Nathanson: I am amazed at such direct comments from someone so new to the site. There are many members here who look for real quality in questions. This site is for mathematics at all levels. But there are well-composed and poorly-composed questions of all levels, and this question has much room for improvement.
20h
comment Computing $\displaystyle \int{ \frac{\sqrt[3]{x}+2\sqrt[4]{x}}{\sqrt{x}(\sqrt{x}+\sqrt[3]{x})^2}}\,dx$
@Nathanson: because there is (obviously) an infinite number of possible integrals, so they cannot all be on-topic. I am asking whether there is any particular reason to look at this integral. If there is not - if it is just a textbook exercise - then the asker should spend some time to formulate a better-composed question that actually brings out a mathematical issue. As it stands, the post is not very well composed. In fact, it does not even pose a question, it just states an integral.
20h
comment Computing $\displaystyle \int{ \frac{\sqrt[3]{x}+2\sqrt[4]{x}}{\sqrt{x}(\sqrt{x}+\sqrt[3]{x})^2}}\,dx$
Why are you interested in computing this integral? Where did it arise?
20h
revised Computing $\displaystyle \int{ \frac{\sqrt[3]{x}+2\sqrt[4]{x}}{\sqrt{x}(\sqrt{x}+\sqrt[3]{x})^2}}\,dx$
edited title
20h
reviewed Approve suggested edit on Computing $\displaystyle \int{ \frac{\sqrt[3]{x}+2\sqrt[4]{x}}{\sqrt{x}(\sqrt{x}+\sqrt[3]{x})^2}}\,dx$
2d
reviewed Close Boolean Algebra Combinational Circuit
Mar
25
comment Completness and Set of Result of One Set ?!?
The question above does not ask whether the normal deductive system is complete (of course, we both know that would be a different meaning of "complete"). It asks whether a given set of propositional formulas is complete.
Mar
25
comment Completness and Set of Result of One Set ?!?
I don't think the spirit of the question asked us to declare that we are working with a logic where nothing is provable - I think it was asking about the normal deductive system.
Mar
24
comment translating one sentence to FOL , an interview question is wrong !?
I'm voting to close this question as off-topic because it is too localized. Rather than copying problems from an old exam, please try to ask about the general mathematical issues that you have questions about.
Mar
24
revised Completness and Set of Result of One Set ?!?
edited tags
Mar
24
revised translating one sentence to FOL , an interview question is wrong !?
edited tags
Mar
24
comment Logical Result about $(\forall y)( \exists x)F(x,y)$?
What are your own thoughts? Posts that just state a question are discouraged on this site - we look for additional information. In particular, we look for background (where did you find the question) and for your own thoughts and attempts to solve the question. You can edit the post to improve it.
Mar
23
revised Creative and Simple Set and $S \leq_m C$?
edited tags
Mar
23
revised $A_n$={$x \in \mathbb{N}\mid n \in W_x $} and computation questions?
edited tags
1 2 3 4 5