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 understood as an algorithmisation process.
The official version is here: http://dx.doi.org/10.1007/978-3-032-31348-5_6
The HAL version (almost identical) is here: https://hal.science/hal-05617278
Unfortunately, the only recorded talk about this work is now quite old and outdated: https://youtu.be/50MkNOi3LNw?si=vYPkPToIMUrBKPbQ
It already contains some hints at my recent interests in whether learning can be understood as an algorithmisation process.
The official version is here: http://dx.doi.org/10.1007/978-3-032-31348-5_6
The HAL version (almost identical) is here: https://hal.science/hal-05617278
Unfortunately, the only recorded talk about this work is now quite old and outdated: https://youtu.be/50MkNOi3LNw?si=vYPkPToIMUrBKPbQ
1