Je cherche une histoire du Entscheidungsproblem, du programme de Hilbert (*) et de l'émergence de la notion de calcul.

(*) Si vous me dites « manger des croquettes et ronronner », sortez.