Saturday, December 31, 2011
Today, my contract to work on the ESF DiFoS project ends, and this marks my last post on this blog. It's been an interesting few years with some discoveries and results that I never expected. One thing I regret is that the original question that Jesse and I first bonded over is one that we never ended up having a chance to work on, namely whether there is a constructive way to move from the classical dialogical proof of a double-negation translation of a formula to the intuitionistic dialogical proof of the base formula. I still think that this is something which should be possible, and would be very interesting to investigate. Alas, it must be left to someone else to pursue, since I've now got other things on my plate, and must leave dialogues behind.