I'm interested in Mathematical Logic, Lambda Calculus and Proof Theory. I also like to solve problems of any kind in mathematics.
Bath, United Kingdom
Member for 5 years, 7 months
16 profile views
Last seen Jan 2 at 10:31
Top network posts
- 32 Paradox about the volume of a cylinder
- 15 Why is the principle of explosion accepted in constructive mathematics?
- 11 Semantics for minimal logic
- 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 $ \models A$ vs. $ A \models$
- 9 Can we continue a proof by contradiction even if we get to a contradiction?
- View more network posts →