Mathematics
lemontree
  • Member for 5 years, 8 months
  • Last seen this week
Profile Activity
Stats
9,037
reputation
90k
reached
310
answers
9
questions
Communities
View all
Badges
View all badges
2
gold badges
15
silver badges
38
bronze badges
Top tags
View all tags
474
Score
242
Posts
76
Posts %
154
Score
62
Posts
19
Posts %
150
Score
92
Posts
29
Posts %
140
Score
78
Posts
24
Posts %
67
Score
31
Posts
10
Posts %
45
Score
30
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
46
Why should we care about syntactic proofs if we can show semantically that statements are true?
Aug 9 '19
22
What exactly is a contradiction and how does it differ from falsity?
Oct 6 '20
15
Why is $\{\emptyset\} \not = \emptyset$?
Oct 3 '16
14
Is there a non-standard set theory that makes use of a null element?
Dec 9 '16
14
Is this conception of countable vs. uncountable infinity adequate?
Jan 1 '17
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
8
What is meant by 'weak' logic?
Aug 18 '20
7
Commutative quantifiers
Mar 12 '19
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?
13
Does software exist to automatically validate an argument?
13
Besides logics, what mathematical tools are used in the study of linguistics?

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.