Abstract FR:

Parler d'informatique est parler d'une espèce de machines appelées « nouvelles» ou « ordinateurs », qui ont transformé radicalement la notion de machine qu'on avait jusqu'alors. L'originalité de ces machines réside dans Ie recours à l’utilisation de la logique, laquelle représente une discontinuité dans la tradition de les concevoir. En devenant ainsi des machines logiques et théoriques, elles ont perdu leur caractère pragmatique de la résolution de problèmes de calcul. Les nouveaux concepts, tels que la calculabilité, qui se trouvent au fondement de l'informatique théorique et pratique ont bouleversé la logique et la mathématique, de même que certaines conceptions du monde. Le but de cette thèse vise à proposer une épistémologie de la théorie informatique autour de I' articulation de ces concepts.