Greg Restall @consequently@scholar.social

I don’t know if there’s anyone here who should hear this who doesn’t know it already, but @pigworker is a really clear lecturer—his 2017 lectures on Agda (all freely available online) are remarkably full of insight.

They’ve helped this logician/philosopher understand more of what is going on with dependent types and functional programming these days.

https://www.youtube.com/playlist?list=PLqggUNm8QSqmeTg5n37oxBif-PInUfTJ2

…one day I’ll see whether I can afford the upgrade to four registers, and more than 33 marbles.

But today is not that day.

Some parts of my old register machine seems to have gone missing. Behold the new less-ecologically-unsound registers for the souped-up 2018 model. They get their first showing in under an hour. http://consequently.org/class/2018/phil30043/

My companions along the way to work this morning. They’re noisy birds, too. https://scholar.social/media/AsZ_O3DGPsg-ANnFMAY

Today’s class in Level 3 logic is always fun: cardinality concepts and Cantor’s Theorem. To infinit[y/ies] and beyond!

http://consequently.org/class/2018/phil30043/

Here’s an #introduction for those browsing the scholar.social local timeline. I’m a philosopher/logician at the University of Melbourne.

Let’s start with some colour, to brighten up the place.