Skip to main content
Philosophy
Boris's user avatar
Boris's user avatar
Boris's user avatar
Boris
  • Member for 8 years, 6 months
  • Last seen more than 2 years ago
  • Paris, France
Profile Activity
Stats
926
reputation
25k
reached
9
answers
11
questions
Communities
View all
About

I'm a student in Computer Science. Logic is my main interest.

Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
16
bronze badges
Top tags
View all tags
28
Score
15
Posts
75
Posts %
4
Score
5
Posts
25
Posts %
4
Score
1
Posts
5
Posts %
2
Score
2
Posts
10
Posts %
0
Score
6
Posts
30
Posts %
0
Score
5
Posts
25
Posts %
Top posts
View all questions and answers
question
10
Logic and Computation: a philosophical viewpoint on Curry-Howard isomorphism
May 8, 2017
question
7
Was Plato an idealist or a realist?
Dec 25, 2016
question
7
What is behind Girard's idea of distinguishing implication ( ⇒) and entailment (⊢) without separating language and meta-language?
Feb 26, 2017
answer
6
Where can I learn Mathematical Logic?
Dec 27, 2016
answer
5
Is there an explanation of how logic works?
Nov 26, 2017
question
5
Philosophical interpretation of the cut rule of Sequent Calculus
Feb 16, 2017
question
4
Prerequisites for Michael Dummett texts
Mar 14, 2017
question
4
References for the Realism/Anti-Realism debate in Logic
Mar 14, 2017
answer
4
Can something proved by contradiction always be proved without a proof by contradiction?
Nov 18, 2018
answer
3
Suspending some of the usual laws of logic
Nov 26, 2017
Top network posts
View all network posts
27
What exactly is a logic?
16
Main differences and relations between Sequent Calculus and Natural Deduction
12
Pentagon diagram of Monoidal Categories
9
What is the current status of parallel or concurrent programs in the Curry-Howard isomorphism?
6
Cannot guess decreasing argument of fix for nested match in Coq