Skip to main content
Philosophy
Boris's user avatar
Boris's user avatar
Boris's user avatar
Boris
  • Member for 9 years, 9 months
  • Last seen this week
  • Paris, France
Profile Activity

Stats

931
reputation
28k
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
17
bronze badges

Top tags

View all tags
29
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
10
Logic and Computation: a philosophical viewpoint on Curry-Howard isomorphism
May 8, 2017
7
Was Plato an idealist or a realist?
Dec 25, 2016
7
What is behind Girard's idea of distinguishing implication ( ⇒) and entailment (⊢) without separating language and meta-language?
Feb 26, 2017
6
Where can I learn Mathematical Logic?
Dec 27, 2016
6
Is there an explanation of how logic works?
Nov 26, 2017
5
Prerequisites for Michael Dummett Logical Basis of Metaphysics
Mar 14, 2017
5
Philosophical interpretation of the cut rule of Sequent Calculus
Feb 16, 2017
4
References for the Realism/Anti-Realism debate in Logic
Mar 14, 2017
4
Can something proved by contradiction always be proved without a proof by contradiction?
Nov 18, 2018
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?
18
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