Philosophy
Boris's user avatar
Boris's user avatar
Boris's user avatar
Boris
  • Member for 7 years, 6 months
  • Last seen more than 1 year ago
  • Paris, France
Profile Activity
Stats
878
reputation
23k
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
14
bronze badges
Top tags
View all tags
25
Score
16
Posts
80
Posts %
4
Score
1
Posts
5
Posts %
3
Score
5
Posts
25
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
All Questions Answers
Score Newest
question
9
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
understanding intuitionistic logic
Feb 28, 2017
Top network posts
View all network posts
26
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

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.