### Alice Vidrine

Shared publicly -I may not be the person to study INF. No pun intended, but I find nothing more counterintuitive than intuitionistic logic. I actually love doing formal proofs, but I find myself hard pressed to prove even the most basic things in just the propositional fragment...

1

3 comments

At least that I've seen. Constructive logic is usually mathematically pretty, so maybe I'm just not appreciating it yet.

Add a comment...