Mathematics
Profile Activity
Meta user
Network profile
8,319
reputation
2
13
36

lemontree

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

290
answers
9
questions
~60k
people reached
  • Member for 4 years, 7 months
  • 644 profile views
  • Last seen 39 mins ago

Communities (9)

Top Meta Posts
1
0

Top network posts

Top tags (63)

Score 432
Posts 225
Posts % 75
Score 146
Posts 59
Score 136
Posts 86
Score 129
Posts 74
Score 63
Posts 30
Score 40
Posts 28
View all tags →

Top posts (299)

All Questions Answers
Votes Newest
44 Why should we care about syntactic proofs if we can show semantically that statements are true? Aug 9 '19
20 What exactly is a contradiction and how does it differ from falsity? Oct 6 '20
14 Is this conception of countable vs. uncountable infinity adequate? Jan 1 '17
14 Why is $\{\emptyset\} \not = \emptyset$? Oct 3 '16
13 Is there a non-standard set theory that makes use of a null element? Dec 9 '16
11 “Modus moron” rule of inference? Mar 8 '17
11 Curious tautological pattern on“p->p” May 29 '20
9 What is true about a proof system that is complete but not sound? Feb 6 '20
6 Commutative quantifiers Mar 12 '19
6 Difference between $\forall xp(x) \vee \forall xq(x)$ and $\forall x(p(x) \vee q(x))$ in english? Mar 3 '20
View all questions and answers →

Badges (51)

Gold

2

Rarest

Silver

13

Rarest

Bronze

36

Rarest

View all badges →