Mathematics
Natalie Clarius's user avatar
Natalie Clarius's user avatar
Natalie Clarius's user avatar
Natalie Clarius
  • Member for 7 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
10,525
reputation
238
reached
0
answers
1
question
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
This user doesn’t have any gold badges yet.
7
silver badges
4
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
4
How to type =|| = in MathJax?
Jun 22, 2020
Top network posts
View all network posts
54
Why should we care about syntactic proofs if we can show semantically that statements are true?
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?
23
What exactly is a contradiction and how does it differ from falsity?

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.