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.
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.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment