For those who don’t have easy access to facebook, here is the programme for the #AGI: Accelerate General Intellect event being organised by the New Centre in conjunction with the New School’s Future of Mind conference next week. As you can see, I’m first up on Monday morning. Advance Warning: I’m going to be pretty badly jet-lagged and coming out of a 22 hour flight from Johannesburg to NYC (via London) the day before. The abstracts and suggested reading for my seminar are available here.
I’m also going to be talking at the Miguel Abreu Gallery on the 26th of July, as part of an event titled ‘Images, Information, and Meaning’ kindly organised by Joshua Johnson. The details of this can also be found below. My talk will be developing some themes from my essay ‘The Artist’s Brain at Work’ in conversation with Claire Lehmann, whose essay ‘Color Goes Electric’ provides an intriguing contrast.
I’m not going to attempt to explain much of what’s going on here, other than to say it’s a taste of things to come. I’ve spent a lot of time thinking about the duality between intuitionistic logic (IL) and co-intuitionistic logic (CIL) over the last few months, after Lucca Fraser got me hooked on it in Berlin a few years ago. I’ve also spent a lot of time thinking about its applicability to type theory, and this is the current state of my thinking regarding the relation between IL/CIL in the flavour of sequent calculus used in type theory and various logics in the flavour used in categorical model theory. There’s probably several embarrassing errors in here, but as with anything, it’s important to overcome the fear of embarrassment before you can do anything interesting!
Greetings from the Southern hemisphere! I have now arrived in South Africa to take up a position as a postdoctoral research fellow in the Philosophy Department at the University of Johannesburg. I haven’t met most of my colleagues yet, and I’m off to New York for some speaking events next week (see below), but I’m very much looking forward to being part of an academic community again. I’ve spent far too long in the wilderness. There is a lot I want to do in the year (or more) that I’m going to be here: from just generally getting my life in order and building up some positive habits, to teaching myself some more abstract mathematics and concrete applications thereof. However, my main focus is to convert as much of the unpublished work I’ve done over the last decade into things that can be published in journals and thereby converted into academic experience points. For better or worse, I’m on the professional equivalent of a dungeon crawl. At least I’ve got some fellow adventurers to come researching with me, and who is to say there won’t be some interesting loot to find along the way?