Skip to main content
Mathematics
Taroccoesbrocco's user avatar
Taroccoesbrocco's user avatar
Taroccoesbrocco's user avatar
Taroccoesbrocco
  • Member for 8 years, 8 months
  • Last seen this week
  • Marseille, France
Profile Activity
Stats
17,155
reputation
252k
reached
459
answers
10
questions
Communities
View all
About

I'm interested in Mathematical Logic, Lambda Calculus and Proof Theory. I also like to solve problems of any kind in mathematics.

Badges
View all badges
9
gold badges
29
silver badges
66
bronze badges
Top tags
View all tags
770
Score
326
Posts
70
Posts %
288
Score
129
Posts
28
Posts %
237
Score
71
Posts
15
Posts %
180
Score
92
Posts
20
Posts %
169
Score
66
Posts
14
Posts %
157
Score
67
Posts
14
Posts %
Top posts
View all questions and answers
32
Paradox about the volume of a cylinder
Sep 30, 2018
23
Under the Curry-Howard correspondence or loosely "proofs-as-programs", do we also have "programs-as-proofs" and what would some arb. program prove?
Jan 5, 2022
19
Semantics for minimal logic
Jan 28, 2018
19
What is the definition of a free abelian group generated by the set $X$?
Jan 31, 2018
17
Why is the principle of explosion accepted in constructive mathematics?
Sep 19, 2018
11
The definition of the set of positive integers in "Topology 2nd Edition" by James R. Munkres.
Jul 31, 2020
10
Does double negation distribute over disjunction intuitionistically?
Nov 10, 2015
10
Is Fermat's last theorem provable in Peano arithmetic?
Aug 20, 2018
10
Are there axioms in a natural deduction system?
Jan 1
9
Trouble understanding proof to $\vdash ((\neg(\phi\rightarrow \psi))\rightarrow\phi)$?
Dec 26, 2018
Top Meta posts
3
0
8
How to subscribe to a tag?
7
Is [tag:predicate-logic] a synonym for [tag:first-order-logic]?
Top network posts
View all network posts
5
Wifi doesn't work after hibernate but DOES work after suspend