Mathematics
Natalie Clarius's user avatar
Natalie Clarius's user avatar
Natalie Clarius's user avatar
Natalie Clarius
  • Member for 7 years, 4 months
  • Last seen this week
Profile Activity
Stats
10,412
reputation
155k
reached
347
answers
9
questions
Communities
View all
About

Master's student working on computational formal semantics | Software developer for hardware integration at KDE e.V.

Badges
View all badges
2
gold badges
18
silver badges
41
bronze badges
Top tags
View all tags
556
Score
271
Posts
76
Posts %
181
Score
74
Posts
21
Posts %
173
Score
102
Posts
29
Posts %
161
Score
87
Posts
24
Posts %
72
Score
34
Posts
10
Posts %
56
Score
39
Posts
11
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
53
Why should we care about syntactic proofs if we can show semantically that statements are true?
Aug 9, 2019
answer
23
What exactly is a contradiction and how does it differ from falsity?
Oct 6, 2020
answer
16
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
Curious tautological pattern on"p->p"
May 29, 2020
answer
11
"Modus moron" rule of inference?
Mar 8, 2017
answer
10
What is true about a proof system that is complete but not sound?
Feb 6, 2020
answer
9
What is meant by 'weak' logic?
Aug 18, 2020
answer
9
Syntactic proof that Peirce's law doesn't hold in simply-typed lambda calculus
Mar 21, 2019
Top Meta posts
1
0
4
How to type =|| = in MathJax?
Top network posts
View all network posts
34
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?
14
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.