@Thomas Seiller
CNRS researcher, father of three. Research topics: mathematical foundations of computer science (mathematical informatics), philosophy of science.
Relays (1)
- wss://relay.ditto.pub – read & write
Recent Notes
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
