Carl Mummert

Member for 13 years, 4 months
Last seen more than a week ago

m6c.org
Marshall University

Summary

Reputation

80,976

81k
75.8k
70.7k

2020
2021
2022
2023

Next tag badge

103/100 score

19/20 answers

Badges

11

165

304

Newest

Enlightened

Next badge

61/80

Deputy

Answers

View all 1,118 answers

Score Activity Newest

296

Can every proof by contradiction also be shown without contradiction?

Nov 24, 2012

134

Is there a known well ordering of the reals?

Oct 11, 2010

100

What's the difference between predicate and propositional logic?

Nov 9, 2010

97

Using proof by contradiction vs proof of the contrapositive

Mar 9, 2014

78

In a family with two children, what are the chances, if one of the children is a girl, that both children are girls?

Dec 23, 2010

Questions

Score Activity Newest Views

203

How to show $e^{e^{e^{79}}}$ is not an integer

Dec 5, 2010

20

References on filter quantifiers

Dec 1, 2014

5

Choosing a Cauchy sequence for a real

May 4, 2015

Tags

View all 228 tags

logic

4,623

Score

706

posts

set-theory

1,278

Score

153

posts

proof-theory

675

Score

58

posts

computability

605

Score

176

posts

model-theory

561

Score

95

posts

Reputation

+10

Are $\mathbb{R}$+$\mathbb{R}$ and $\mathbb{R}$ isomorphic models of DLO?

+10

Coset and ideal

+10

What is the difference between a class and a set?

+10

What does it mean for metatheory to be some formal system

Badges

View all badges

11

gold badges

logic

Mar 21, 2013
Populist

× 3

Dec 22, 2020
Great Question

Aug 29, 2013

165

silver badges

computability

Apr 4, 2016
model-theory

Feb 12, 2018
set-theory

Jul 14, 2013

304

bronze badges

higher-order-logic

Oct 4, 2016
constructive-mathematics

Jan 26, 2015
peano-axioms

Feb 17, 2015

Accounts

View all 14 accounts

81k
11
165
304

9,593
1
45
67

Computer Science

2,063
17
15

1,964
1
10
13

330
2
7

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

3,080

upvotes

3,553

downvotes

3,262

question votes

3,371

answer votes