GNU Prolog

Happy New Year, everyone! As 2024 draws to a close, I’ve finished another month of reading, so let’s close out my log of books read over 2024 with a short description of December’s reading. First up, I enjoyed reading the second entry in Dan Moren’s Galactic Cold War series: The Bayern Agenda. As with the previous entry, this was a fun spy...

I’ve completed the moderation of the exam for Intermediate Logic, and with that, the final administrative responsibilities for this semester are complete. Now it’s time to take a short break over Christmas and the New Year, and then to start a semester of research leave. I’m looking forward to time set aside to think, to write, and to talk to...

Abstract: What does the semantically anti-realist revisionary programme of Michael Dummett have to do with contemporary work on proof assistants? What are mathematicians doing when they encode their proofs in these proof assistants, based on constructive type theory? What does all this have to do with the(?) norms of assertion? (And are these...

My last PhD student at the University of Melbourne has completed his project, and is now Dr John Cleary. Congratulations, John! It was so much fun to help supervise your project. I’ve learned a lot about Albert Lautman, and his account of the development of mathematics and the dialectic of ideas, problems and mathematical progress.

This week, Aaron Cotnoir’s Instruments of Unity project and I are hosting a short visit from our friend (and my PhD supervisor), Professor Graham Priest. It’s always enjoyable to spend time with him, and tomorrow, we’re going to teach a the second-last lecture class for my Intermediate Logic cohort together, on the liar paradox and non-classical...