Philosopher at the University of Melbourne, interested in logic, working to figure out more about how we understand our world and our place in it.
That Smullyan fellow is very very insightful. A well-chosen abstraction is a thing of enduring beauty.
Sometimes it is, but not this afternoon.
One student had some spare time in the PHIL30043 exam last Friday…
Good luck to my PHIL30043 students—may Church’s spirit be with you and your recursive functions.
Part of an eclectic playlist for a long late night session of exam marking.
Something strange is happening—I'm starting to find classical cut elimination more natural than its intuitionist counterpart.
Another family photo from the early 1970s. I still remember the feel of my grandfather’s hand.
What’s around this corner?
From the Old Quad, to Old Arts, and beyond, to Arts West, @unimelb