Abonnez-vous à Universalis pour 1 euro

INFORMATIQUE Principes

Informatique et mathématiques

Les premiers ordinateurs ont été construits pour faire des calculs à grande vitesse et pendant très longtemps ont été désignés par le terme de « calculatrices ». Ultérieurement, on s'est aperçu que les capacités de traitement de ces machines dépassaient très largement le domaine du calcul numérique et qu'elles étaient utilisables par exemple pour la gestion des entreprises, pour la traduction des langues, ou pour l'aide au diagnostic en médecine.

Cela explique que l'on soit passé historiquement de la notion de « calculatrice » à celle de « système automatique de traitement de l'information ». Ce n'est cependant pas par hasard que les ordinateurs sont nés des tentatives pour automatiser les opérations de calcul ; le calcul numérique, du point de vue de l'informatique, est en effet un domaine à contenu sémantique nul où l'on se contente de manipuler des symboles sans signification selon des règles préétablies, manipulation qu'une machine est capable d'effectuer. Il en va de même du calcul algébrique, où l'on manipule des variables à la place des nombres.

Si l'on considère l'ensemble des mathématiques, on constate que les objets que l'on y définit n'ont pas d'existence en dehors de leur définition et que leurs seules propriétés sont celles qui découlent de ces définitions. Dans ces conditions, faire une démonstration, c'est combiner entre elles un certain nombre de propriétés selon des règles préétablies. Ces dernières sont l'objet de la logique mathématique, qui vise à formaliser le raisonnement déductif, c'est-à-dire justement à ramener le raisonnement mathématique à une manipulation de symboles sans signification. C'est en ce sens qu'il faut interpréter la célèbre boutade du logicien Bertrand Russell selon laquelle « les mathématiques sont une science où l'on ne sait pas de quoi l'on parle ni si ce qu'on dit est vrai ». La démarche des logiciens visant à ramener la totalité des mathématiques à des manipulations formelles de symboles relève typiquement de l'informatique, même si les logiciens n'en ont pas toujours été conscients, et conduit, de ce point de vue, à considérer les mathématiques comme un domaine où la totalité de la sémantique est réductible à la syntaxe, ce que Léon Brillouin énonçait sous la forme suivante : « Le contenu informationnel des mathématiques est nul. »

La suite de cet article est accessible aux abonnés

  • Des contenus variés, complets et fiables
  • Accessible sur tous les écrans
  • Pas de publicité

Découvrez nos offres

Déjà abonné ? Se connecter

Écrit par

  • : ingénieur Supélec, docteur ès sciences, lauréat de l'Académie des sciences, consultant à l'O.C.D.E.

Classification

Médias

Automate à nombre fini d'états - crédits : Encyclopædia Universalis France

Automate à nombre fini d'états

Automate à pile de mémoire - crédits : Encyclopædia Universalis France

Automate à pile de mémoire

Autres références

  • PHYSIQUE - Physique et informatique

    • Écrit par
    • 6 760 mots

    La révolution informatique est de nature technologique. Les physiciens sont associés à toutes les étapes de son développement. Les technologies incorporées dans les premiers ordinateurs avaient été inventées pour les besoins de la recherche en physique nucléaire. Le convertisseur analogue-digital,...

  • AFFICHE

    • Écrit par
    • 6 817 mots
    • 12 médias
    Dansles années 1990, l'affiche est de plus en plus souvent conçue sur écran, la publication assistée par ordinateur (P.A.O.) permettant l'association des textes et des images. La mise au point du langage Postscript conduit à la création de caractères haute résolution et le dessin de lettres connaît...
  • AIKEN HOWARD HATHAWAY (1900-1973)

    • Écrit par
    • 506 mots

    L’Américain Howard Aiken fut un des pionniers de l'informatique, concepteur de l'IBM Automatic Sequence Controlled Calculator (ASCC) encore appelé Harvard Mark I.

    Après avoir suivi les cours d'une école technique tout en travaillant la nuit, Howard Hathaway Aiken, né le 9 mars 1900 à...

  • ALGORITHME

    • Écrit par et
    • 5 919 mots
    • 4 médias

    La notion d’algorithme a envahi nos discours et nos pratiques, en raison surtout de la diffusion massive d’applications informatiques dédiées à l’exécution automatisée de certaines tâches, ou à la résolution de certains problèmes. On trouve en effet les algorithmes non seulement dans de nombreux domaines...

  • APPLE

    • Écrit par
    • 2 547 mots
    • 2 médias

    Archétype des start-up de la Silicon Valley, la société américaine Apple, fondée en 1976, a gagné fortune et célébrité par ses innovations de rupture, de l’ordinateur Macintosh au téléphone portable iPhone et à la tablette numérique iPad. Associée au talent visionnaire de son président historique,...

  • Afficher les 148 références