Mathematics
user avatar
user avatar
user avatar
lemontree
  • Member for 6 years, 1 month
  • Last seen this week
Profile Activity
Stats
9,255
reputation
103k
reached
313
answers
9
questions
Communities
View all
Badges
View all badges
2
gold badges
16
silver badges
38
bronze badges
Top tags
View all tags
488
Score
244
Posts
76
Posts %
161
Score
63
Posts
20
Posts %
155
Score
93
Posts
29
Posts %
143
Score
79
Posts
25
Posts %
68
Score
31
Posts
10
Posts %
46
Score
32
Posts
10
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
47
Why should we care about syntactic proofs if we can show semantically that statements are true?
Aug 9, 2019
answer
22
What exactly is a contradiction and how does it differ from falsity?
Oct 6, 2020
answer
15
Why is $\{\emptyset\} \not = \emptyset$?
Oct 3, 2016
question
14
Is there a non-standard set theory that makes use of a null element?
Dec 9, 2016
question
14
Is this conception of countable vs. uncountable infinity adequate?
Jan 1, 2017
answer
11
"Modus moron" rule of inference?
Mar 8, 2017
answer
11
Curious tautological pattern on"p->p"
May 29, 2020
answer
9
What is true about a proof system that is complete but not sound?
Feb 6, 2020
answer
8
Syntactic proof that Peirce's law doesn't hold in simply-typed lambda calculus
Mar 21, 2019
answer
8
What is meant by 'weak' logic?
Aug 18, 2020
Top Meta posts
1
0
3
How to type =|| = in MathJax?
Top network posts
View all network posts
33
Why is it that the statement "All goblins are yellow" does not contradict the statement "All goblins are pink?"
30
How do you differentiate between At least one X and Exactly one X in predicate logic?
29
Could we rank languages, saying one is superior to the other?
14
Besides logics, what mathematical tools are used in the study of linguistics?
13
Does software exist to automatically validate an argument?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.