Vers une épistémologie de la théorie informatique / Magdalena Pradilla ; sous la direction de Christiane Chauviré

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 2008

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Mathématiques -- Philosophie

Logique informatique

Épistémologie -- Informatique

Philosophie et sciences

Chauviré, Christiane (1945-....) (Directeur de thèse / thesis advisor)

Université Paris 1 Panthéon-Sorbonne (1971-....) (Organisme de soutenance / degree-grantor)

Relation : Vers une épistémologie de la théorie informatique / par Magdalena Pradilla ; sous la direction de Christiane Chauviré / Lille : Atelier national de Reproduction des Thèses , 2009

Résumé / Abstract : 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.