Surf these sites: Confessions of a Formalist, Platonist Intuitionist -- Autobiographical article by Fred Richman, describing his encounter with intuitionism. Constructive Mathematics -- Webiste maintained by Fred Richards. Intuitionistic Logic -- A short entry in the Stanford Encyclopaedia of Philosophy by Joan R. Moschovakis. Porgi -- Porgi is a Proof-Or-Refutation Generator for Intuitionistic propositional logic, implementated by Allen Stoughton. Given a sequent, Porgi either finds a minimally sized, normal natural deduction of the sequent, or it finds a "small", tree-based Kripke countermodel of the sequent. It is written in Standard ML.
Help build the largest human-edited
directory on the web.