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

Summary

Answers

View all 118 answers
42
How Would an Intuitionist Prove This?
Sep 27, 2016
34
Interesting meta-meta-mathematical theorems?
Mar 9, 2014
28
Complete mathematics
Jul 10, 2010
26
Deduction theorem
May 30, 2013
25
What is "Seetapun Enigma"?
Mar 25, 2012

Questions

View 1 question
27
Independence of being an integer
Sep 9, 2011

Tags

View all 67 tags
704
Score
89
posts
211
Score
30
posts
143
Score
27
posts
125
Score
14
posts
110
Score
8
posts

Badges

View all badges
1
gold badge
45
silver badges
68
bronze badges

Accounts

View all 14 accounts
Mathematics
  • 81.7k
  • 11
  • 165
  • 306
MathOverflow
  • 9,603
  • 1
  • 45
  • 68
Computer Science
  • 2,083
  • 17
  • 15
TeX - LaTeX
  • 1,974
  • 1
  • 10
  • 13
Academia
  • 330
  • 2
  • 7

Active bounties (0)

View all 0 bounties

This user has no active bounties

Votes cast

View all 583 votes
490
upvotes
93
downvotes
160
question votes
423
answer votes