Mathematics
Taroccoesbrocco's user avatar
Taroccoesbrocco's user avatar
Taroccoesbrocco's user avatar
Taroccoesbrocco
  • Member for 7 years, 10 months
  • Last seen this week
  • Marseille, France
Profile Activity
Stats
16,303
reputation
203k
reached
444
answers
9
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
27
silver badges
63
bronze badges
Top tags
View all tags
719
Score
312
Posts
69
Posts %
276
Score
126
Posts
28
Posts %
211
Score
66
Posts
15
Posts %
178
Score
89
Posts
20
Posts %
154
Score
63
Posts
14
Posts %
148
Score
76
Posts
17
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
32
Paradox about the volume of a cylinder
Sep 30, 2018
answer
21
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
question
17
Semantics for minimal logic
Jan 28, 2018
answer
17
What is the definition of a free abelian group generated by the set $X$?
Jan 31, 2018
answer
17
Why is the principle of explosion accepted in constructive mathematics?
Sep 19, 2018
answer
11
The definition of the set of positive integers in "Topology 2nd Edition" by James R. Munkres.
Jul 31, 2020
question
10
Does double negation distribute over disjunction intuitionistically?
Nov 10, 2015
answer
9
Can we continue a proof by contradiction even if we get to a contradiction?
Nov 25, 2015
answer
9
$ \models A$ vs. $ A \models$
Apr 27, 2020
answer
9
Is Fermat's last theorem provable in Peano arithmetic?
Aug 20, 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

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.