Mathematics
Meta user
Network profile
3,541
reputation
1
8
27

lemontree

Apparently, this user prefers to keep an air of mystery about them.

126
answers
6
questions
~38k
people reached

Communities (7)

Top network posts

Top tags (44)

Score 147
Posts 92
Posts % 70
Score 41
Posts 22
Score 34
Posts 37
Score 32
Posts 15
Score 27
Posts 27
Score 23
Posts 10
View all tags →

Top posts (132) All Questions Answers | Votes Newest

35 Why should we care about syntactic proofs if we can show semantically that statements are true? Aug 9 '19
14 Is this conception of countable vs. uncountable infinity adequate? Jan 1 '17
12 Is there a non-standard set theory that makes use of a null element? Dec 9 '16
11 Why is $\{\emptyset\} \not = \emptyset$? Oct 3 '16
11 “Modus moron” rule of inference? Mar 8 '17
5 Commutative quantifiers Mar 12 '19
4 If $2=2$, then “some apples are green” Sep 19 '16
4 Is $\exists x P(x) \implies \exists x Q(x)$ Logical equivalent to $\exists x [P(x) \implies Q(x)]$ Aug 4 '19
3 The law of the excluded-middle in modal logic Aug 21 '19
3 The compositionality of classical logic Jun 14 '19
View all questions and answers →

Badges (36)

Gold

1

Rarest

Silver

8

Rarest

Bronze

27

Rarest

View all badges →