Vers une épistémologie de la théorie informatique

Towards an epistemology of the information science theory

• Auteur / Autrice : Magdalena Pradilla
• Direction : Christiane Chauviré
• Type : Thèse de doctorat
• Discipline(s) : Philosophie
• Date : Soutenance en 2008
• Etablissement(s) : Paris 1

Mots clés

Mots clés contrôlés

Philosophie et sciences

Informatique

Épistémologie

Logique informatique

Mathématiques -- Philosophie

Résumé

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.