Thursday, October 14, 2010

Live, from Indonesia

Tuesday afternoon, Jesse and I released N into the wild. He gave a talk introducing the website (look for significant improvements to it soon!) and then I spoke about N and the challenges of developing a proof theory for it. I think we rather perplexed the audience, as there was only one person in it that had ever heard of dialogical logic before, and we only had 20 minutes between the two of us. A substantive blog post will come soon; I've got a couple of topics that have been rattling around in my mind.

No comments:

Post a Comment