I'm interested in Mathematical Logic, Lambda Calculus and Proof Theory. I also like to solve problems of any kind in mathematics.
Top network posts
- 32 Paradox about the volume of a cylinder
- 15 Semantics for minimal logic
- 15 Why is the principle of explosion accepted in constructive mathematics?
- 11 What is the definition of a free abelian group generated by the set $X$?
- 10 The definition of the set of positive integers in "Topology 2nd Edition" by James R. Munkres.
- 9 Can we continue a proof by contradiction even if we get to a contradiction?
- 9 On Mathematical Induction
- View more network posts →
This user doesn’t have any gold badges yet.