This episode is recorded live in front of an audience at the International Association for Computing and Philosophy (IACAP) 2014 conference in Thessaloniki, Greece. The guests are four of the most interesting participants at that conference: Selmer Bringsjord, Gregory Chaitin, Mariarosaria Taddeo and Wilfried Sieg. They represent both diversity, all of them having quite different backgrounds and main research area, but they all have a common denominator in logic and formal methods. This forms the backdrop for many of our discussions, in addition to background stories, more or less strange side-projects as well as future hopes and desires. The whole thing was an experiment, but it worked out quite well. I can only hope that the recording can do some justice to the event, although I suspect it may not. In my usual apologetic way, I should point out that there were some sound issues again. The event took place in a crowded room with an air-conditioner at full blast and the participants had very different volume levels. Software has gotten pretty good at removing background noise, but it does make everyone sound a little “flat”. The microphone didn’t pick up the audience very well, either, so some jokes may seem to have gotten less of a laugh than they actually received. Allow me to thank the participants for taking the time to join the panel, the audience for contributing, and to the organizer Vincent Müller for helping me put this together.
|Publication status||Published - 2014|