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...
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Livre papier |
| Dil: | Français |
| Baskı/Yayın Bilgisi: |
Paris :
J. Vrin
2009.
|
| Seri Bilgileri: | Chemins philosophiques
|
| Konular: | |
| 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 |
| LEADER | 02190nam a22002897a 4500 | ||
|---|---|---|---|
| 001 | 263375 | ||
| 008 | 090528t20092009xxg ||| |||| 00| 0 fre d | ||
| 009 | PPN133810739 | ||
| 020 | |a 9782711621781 (br.) : |c 7,50 EUR | ||
| 024 | |a 9782711621781 | ||
| 041 | 0 | |a fre | |
| 082 | |a 004 | ||
| 084 | |a A.0 | ||
| 100 | 1 | |a Varenne, Franck, |d 1970-...., |c enseignant-chercheur en philosophie des sciences. | |
| 245 | 1 | 0 | |a Qu'est-ce que l'informatique ? |c Franck Varenne. |
| 260 | |a Paris : |b J. Vrin, |c 2009. | ||
| 300 | |a 1 vol. (128 p.) : |b couv. ill. ; |c 18 cm. | ||
| 490 | 1 | |a Chemins philosophiques | |
| 504 | |a Notes bibliographiques en bas de pages | ||
| 505 | 0 | |a 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. | |
| 520 | |a 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). Éclairant les notions de computation et d'abstraction à la lumière de celles de simulation et d'ontologie, il montre en quoi l'informatique n'est ni simplement une branche des mathématiques, ni une technologie de l'information, mais une technologie des croisements des voies de la référence.. https://www.vrin.fr/livre/9782711621781/quest-ce-que-linformatique | ||
| 650 | |a Informatique |x Philosophie | ||
| 700 | |a Von Neumann, John, |d 1903-1957. |4 aqt | ||
| 700 | |a Copeland, B. Jack, |d 1950- |4 aqt | ||
| 774 | 0 | |a John von Neumann |t Théorie générale et logique des automates |l The General and Logical Theory of Automata |d 1996 | |
| 774 | 0 | |a Brian Jack Copeland |t Computation |d 2004 | |
| 997 | |0 263375 |1 Livre papier |a Ressource papier |c 0/Bourges/ |c 1/Bourges/BU/ |z Bourges, BU, BM2496 | ||