My paper about a proposed formal definition of algorithms is now published as part of the proceedings of CiE 2026.
It already contains some hints at my recent interests in whether learning can be und...
@nprofile1q... I’m glad this is now published. Your account has been helpful in my own thinking about the general issue of identity conditions for algorithms and the insight this can give into the sense/reference distinction and the semantics of belief ascription and other propositional attitudes.