MathOverflow
Carl Mummert's user avatar
Carl Mummert's user avatar
Carl Mummert's user avatar
Carl Mummert
  • Member for 14 years
  • Last seen more than a month ago
Profile Activity

118 Answers

Score Activity Newest
42 votes
Accepted

How Would an Intuitionist Prove This?

34 votes

Interesting meta-meta-mathematical theorems?

28 votes
Accepted

Complete mathematics

26 votes
Accepted

Deduction theorem

25 votes
Accepted

What is "Seetapun Enigma"?

22 votes
Accepted

Second-order term in first-order logic?

22 votes

Why are proofs so valuable, although we do not know that our axiom system is consistent?

22 votes
Accepted

Induction vs. Strong Induction

21 votes
Accepted

Clarification of Gödel's second incompleteness theorem

21 votes
Accepted

Can we prove set theory is consistent?

20 votes

Decidable but nonrecursive sets

20 votes

Proving Independence of Axioms by Exhibiting Models Which Don't Satisfy Our Intuition

19 votes

What's a magical theorem in logic?

18 votes
Accepted

Undecidable theories easier than $Q$

18 votes

Are all functions in Bishop's constructive mathematics continuous?

17 votes

Can infinity shorten proofs a lot?

16 votes

What's a magical theorem in logic?

15 votes
Accepted

Uncountable nonstandard models of PA

15 votes
Accepted

Ackermann function in the Primitive recursive arithmetic

14 votes

Infinite games: are they well defined?

14 votes
Accepted

Notion of Truth and Axioms

14 votes

Between mu- and primitive recursion

13 votes

Most 'unintuitive' application of the Axiom of Choice?

13 votes

Formalizing Euclid's proof of the infinitude of primes

13 votes
Accepted

Up-to-date version of Principia Mathematica?

12 votes

Completeness vs Compactness in logic

12 votes
Accepted

Prenex normal form vs. quantifier rank

12 votes
Accepted

What is the reverse mathematics of first-order logic and propositional logic?

12 votes
Accepted

Z_2 versus second-order PA

12 votes
Accepted

Infinite decreasing sequence by the Turing jump

1
2 3 4