Qu'est-ce que l'informatique ?

Que peut bien être l'informatique pour nous envahir à ce point ? Se fondant sur des travaux récents de philosophie de l'informatique, ce livre revient sur la notion de Machine de Turing et sur la Thèse de Church : l'ordinateur peut-il tout simuler? (le vivant, l'esprit). Éclairan...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autor: Varenne, Franck, 1970-...., enseignant-chercheur en philosophie des sciences
Médium: Livre papier
Jazyk:Français
Vydáno: Paris : J. Vrin 2009.
Edice:Chemins philosophiques
Témata:
Autres localisations: Voir dans le Sudoc
Contient:• John von Neumann, Théorie générale et logique des automates, The General and Logical Theory of Automata, 1996
• Brian Jack Copeland, Computation, 2004
Obsah:
  • Qu'est-ce que l'informatique ?
  • A la recherche d'une définition de l'informatique
  • Formes et symboles en informatique
  • Qu'est-ce qui fait fonctionner un ordinateur ? Approches formelles, approches causales
  • Informatique et abstractions
  • Ordinateur et simulation : la machine à entrecroiser les voies de la référence.
  • Textes et commentaires
  • Texte 1 : J. Von Neumann, Théorie générale et logique des automates
  • Texte 2 : B. Jack Copeland, Computation.