Joan Rand Moschovakis – A Logical Look at Kripke's Idea of Free Choice Sequences

Joan Moschovakis was kind and generous enough to reply to my impertinent questions about her Stanford Encyclopedia of Philosophy article on Intuitionistic Logic. She asked some inspiring questions in return and set me thinking hard about what exactly is a representation of a proof.

Subscribe to UConn Logic Group.

Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023