Skip to main content
Mathematics
Carl Mummert's user avatar
Carl Mummert's user avatar
Carl Mummert's user avatar
Carl Mummert
  • Member for 14 years, 1 month
  • Last seen more than a month ago
Profile Activity
Stats
82,602
reputation
112k
reached
95
answers
19
questions
Communities
View all
About

I'm a mathematics professor. My research is in mathematical logic, somewhere between computability theory and proof theory.

If you would like to contact me, my email address is on my website, http://m6c.org.

Although I may not mention this preference very often in comments, I would personally appreciate editors using the correct capitalization and spacing of my name when they use it to draw my attention. So "@Carl Mummert", or "@Carl", but not "@CarlMummert". Thanks!

Badges
View all badges
This user doesn’t have any gold badges yet.
43
silver badges
70
bronze badges
Top tags
View all tags
960
Score
87
Posts
76
Posts %
114
Score
11
Posts
10
Posts %
108
Score
7
Posts
6
Posts %
75
Score
19
Posts
17
Posts %
58
Score
13
Posts
11
Posts %
32
Score
8
Posts
7
Posts %
Top posts
View all questions and answers
answer
67
discrepancies between skills and ambitions
Jul 20, 2011
answer
64
My letter of resignation
Apr 21, 2011
answer
63
What is the site etiquette about (i) asking and (ii) answering questions in a language other than English?
Aug 29, 2011
answer
51
Using $\tau$ instead of $2\pi$?
Aug 2, 2014
answer
44
The unilateral removal of comments by Jeff Atwood
Apr 18, 2011
answer
36
Blackboard bold
Jul 6, 2011
answer
35
The unilateral removal of comments by Jeff Atwood
Apr 18, 2011
answer
34
Can an answer be confusing?
Nov 23, 2013
answer
33
Retroactive automatic editing of question punctuation affecting correctness
Aug 12, 2011
answer
28
How can we best judge who has the skills to be a moderator?
Dec 20, 2012
Top network posts
View all network posts
302
Can every proof by contradiction also be shown without contradiction?
203
How to show $e^{e^{e^{79}}}$ is not an integer
144
Resuming a list
138
Is there a known well ordering of the reals?
102
What's the difference between predicate and propositional logic?