Mathematics
GLaDER's user avatar
GLaDER's user avatar
GLaDER's user avatar
GLaDER
  • Member for 9 years, 6 months
  • Last seen more than 1 year ago
  • Sweden
Profile Activity
Stats
209
reputation
2k
reached
0
answers
6
questions
Communities
View all
About

If what you have to say isn't more beautiful than silence. Be quiet.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
View all tags
0
Score
4
Posts
67
Posts %
0
Score
3
Posts
50
Posts %
0
Score
2
Posts
33
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
Top posts
question
3
Translating between Huth/Ryan box and Fitch notations
Aug 31, 2016
question
3
Is "forall elimination twice with the same fresh variable" allowed?
Sep 22, 2016
question
2
Is it allowed to use ∃y-elimination rule when you have: ∀x∃y φ?
Sep 27, 2016
question
1
Calculating the expected winner of a Penney's Game using a Markov Chain.
Oct 1, 2014
question
1
Is it allowed to only substitute one of several fresh variables in a natural deduction proof step?
Sep 28, 2016
question
0
What does it mean to determine all models for a formula $\phi$?
Oct 4, 2016
Top network posts
View all network posts
56
Rsync files via intermediate host
6
How to use i3 window manager in fedora with gnome