Qu'est-ce que l'informatique ? Franck Varenne

Résumé

Qu'est-ce que l'informatique ? L'informatique n'est-elle qu'une technique, une technologie ? Quel est le rapport entre information et informatique ? L'informatique est-elle une branche des mathématiques ? L'ordinateur peut-il tout simuler ? Simuler le vivant et l'esprit, est-ce les réduire à des machines ?

Auteur  :
Varenne, Franck
Éditeur :
J. Vrin,
Collection :
Chemins philosophiques
Genre :
Documentaire
Langue :
français.
Mots-clés :
Nom commun :
Informatique -- Philosophie
Description du livre original :
1 vol. (128 p.) ; 18 cm
ISBN :
9782711621781.
Domaine public :
Non
Téléchargement du livre au format PDF pour « Qu'est-ce que l'informatique ? »

Table des matières

  • QU'EST-CE QUE L'INFORMATIQUE?
    • À la recherche d'une définition de l'informatique
    • Informatique, information et machine
      • Une pléthore de candidates au statut de définition
      • Une caractérisation minimale plutôt qu’une définition
      • Machine de Turing universelle et programme enregistré
      • L'information comme syntaxe et l'information comme contenu sémantique
    • Formes et symboles en informatique
      • L'informatique comme compression de données
      • Enchevêtrement des symboles et du sens
      • Superposition de niveaux de langages
    • Qu’est-ce qui fait fonctionner un ordinateur? Approches formelles, approches causales
      • Algorithme, code et programme : modèles imparfaits les uns des autres
      • La recherche d'une sémantique des langages informatiques
    • INFORMATIQUE ET ABSTRACTIONS
      • Informatique et mathématiques
      • Les ontologies en informatique
    • Ordinateur et simulation : la machine à entrecroiser les voies de la référence
      • Informatique, simulations et hiérarchies de symboles
      • Variété des simulations sur ordinateur
  • TEXTES ET COMMENTAIRES
    • TEXTE 1
    • COMMENTAIRE
      • Pourquoi lire von Neumann ?
      • Situation et objet de ce texte
      • Analyse du texte
      • Thèse à portée actuelle
      • Thèse de principe
      • Conclusion et commentaire
    • TEXTE 2
      • L’intelligence artificielle et le sophisme de l’équivalence
      • Conclusion
      • Bibliographie
    • COMMENTAIRE
      • Contexte d'énonciation de la thèse de Church-Turing
      • Machines de Turing et automates de calcul
      • La thèse de Church-Turing « proprement dite »
      • Les véritables limites explorées par la mtu: non calculabilité, indécidabilité
      • Situation de l’extrait : Les malentendus sur la portée de la mtu et de la tct
      • La thèse de maximalité
      • Le sophisme de la simulation
      • Le sophisme de l’équivalence
      • Problématique et analyse de l’extrait
      • La thèse et l’argumentation générale de Newell
      • La première salve de critiques de Copeland : un cas de déformation de la tct
      • L'argument «formel » de Newell : un cas de sophisme de l'équivalence
      • Conclusion de Copeland
      • Émulation et simulation informatique

Commentaires

Laisser un commentaire sur ce livre