Il faut qu'il y ait en informatique théorique un symbole tel qu'il empêche de calculer

Maël Montévil (1, 2)

1 IRI - Institut de Recherche et d'Innovation
2 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques

Pour progresser sur la question du rapport entre l’informatique et le calculable, je propose de réinterpréter l’objet de l’informatique théorique puis de faire un détour par la biologie théorique où la question d’un symbole qui empêche de calculer se pose. Enfin, je reviens vers l’informatique en transférant de manière critique certains concepts issus de mes travaux en biologie théorique.

Domaines: Histoire, Philosophie et Sociologie des sciences; Informatique [cs]; Sciences du Vivant [q-bio]; Sciences de l'Homme et Société

Maël Montévil. Il faut qu'il y ait en informatique théorique un symbole tel qu'il empêche de calculer. Anne Alombert; Victor Chaix; Maël Montévil. Prendre Soin de l’informatique et Des Générations, , 2021. ⟨hal-03478527⟩