Computer Science
Meta user
Network profile
1,923
reputation
13
15

Carl Mummert

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!

18
answers
0
questions
~52k
people reached
  • Marshall University
  • m6c.org
  • Member for 7 years, 11 months
  • 170 profile views
  • Last seen Jan 28 '19 at 20:02

Communities (14)

Top network posts

Top tags (23)

Score 118
Posts 14
Posts % 78
Score 26
Posts 3
Score 25
Posts 3
Score 24
Posts 2
Score 24
Posts 1
Score 22
Posts 2
View all tags →

Top posts (18) All Questions Answers | Votes Newest

24 Why are the total functions not enumerable? Mar 13 '12
15 Are there minimum criteria for a programming language being Turing complete? Apr 19 '12
15 Does cooperative scheduling suspend processes when they perform an I/O operation? Mar 6 '12
14 Do non-computable functions grow asymptotically larger? Jul 28 '12
14 Why is encrypting with the same one-time-pad not good? Mar 14 '12
14 Generating Combinations from a set of pairs without repetition of elements Mar 6 '12
14 Rice's theorem for non-semantic properties Mar 6 '12
11 Is interaction more powerful than algorithms? Mar 18 '12
8 Proof that $\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}$ is not (co-)recursively enumerable May 22 '12
8 What is the difference between “Decision” and “Verification” in complexity theory? Apr 8 '12
View all questions and answers →

Badges (28)

Gold

—

Silver

13

Rarest

Bronze

15

Rarest

View all badges →