• Encyclopédies

      • Encyclopédie de l'Agora

        Notre devise: Vers le réel par le virtuel!


      • Encyclopédie sur la mort

        L’encyclopédie sur la mort veut s'intéresser à ce phénomène sous ses multiples aspects et ses diverses modalités.


      • Encyclopédie Homovivens

        Encyclopédie sur les transformations que l'homme opère en lui-même au fur et à mesure qu'il progresse dans la conviction que toute vie se réduit à la mécanique.


      • Encyclopédie sur l'inaptitude

        Tout le monde en conviendra : c'est au sort qu'elle réserve aux plus vulnérables de ses membres que l'on peut juger de la qualité d'une société. Aussi avons-nous voulu profiter ...


      • Encyclopédie sur la Francophonie

        L'Encyclopédie de la Francophonie est l'une des encyclopédies spécialisées qui se développent parallèlement à l'Encyclopédie de l'Agora.

  • Dictionnaires
  • Débats
      • Le Citoyen Québécois

         Après la Commission Gomery, la Commission Charbonneau! À quelles conditions pourrions-nous en sortir plus honnêtes… et plus prospères

      • L'homme, la nature, la techique

        Réflexions inspirées de Bernard Charbonneau et Jacques Ellul, avec la collaboration de l'Association Aquitaine B.Charbonneau J.Ellul, sous la présidence de Sébastien Mor...

  • Sentiers
      • Les sentiers de l'appartenance

        L'appartenance c'est le lien vivant, la rencontre de deux Vies : la nôtre et celle de telle personne, tel  paysage...Quand la vie se retire, le sentiment d'appropriation se substitue au ...

      • Le sentier des fleurs sauvages

        Nous sommes des botanistes amateurs. Notre but est de partager un plaisir orienté vers une science complète où le regard du poète a sa place à côté de celui du botaniste, du généticien, du gastrono...

  • La lettre
    • Édition


    La lettre de L'Agora
    Abonnez-vous gratuitement au bulletin électronique. de L'Agora.
    Si l’Encyclopédie de l’Agora demeure progressiste, c’est dans un nouveau sens du mot progrès, fondé sur la science réparatrice et sur le principe de précaution.
    Média social:
    Facebook:


    Flux RSS:

    Dossier: Ordinateur

    Vers la logique de Boole

    Jacques Dufresne
    L'ordinateur est le résultat de sept siècles de logique formelle
    Leibniz, comme beaucoup de savants de son époque, était à la recherche d'une manière infaillible de raisonner. Qu'est-ce qui fausse notre raisonnement, qu'est-ce qui nous éloigne de la vérité? À l'époque de Leibniz, on répondait spontanément à cette question en accusant les sens. «Ce sont les sens qui nous trompent», avait écrit Descartes. Voilà pourquoi Leibniz, en cherchant une manière infaillible de raisonner, a été amené à s'élever dans l'abstraction jusqu'à une altitude telle que la perturbation venue des sens ne soit plus perceptible. Ce haut niveau d'abstraction est celui de la logique dite formelle.

    À la vérité, c'est au philosophe espagnol Raymond Lulle (1235-1315) qu'il faut remonter pour discerner l'origine d'une telle logique formelle en Occident. Dans l'
    Art Bref, il a vraiment tenté de transformer les catégories d'Aristote en une machine de la vérité où, par un jeu complexe de schémas et de symboles, on peut représenter une multitude d'agencements possibles des éléments du savoir. «Le sujet de cet Art, écrit Raymond Lulle, est de répondre à toutes les questions, en supposant que soit connu ce qu'indique le nom». Le but de l'ordinateur sera de répondre à toutes les questions, à la condition qu'elles puissent être traitées selon des règles logiques elles-mêmes compatibles avec les circuits de l'ordinateur.

    Le projet de Leibiniz resta inachevé. C'est le mathématicien anglais George Boole (1815-1864) qui, 150 ans plus tard, réalisera le rêve de Leibniz dans un ouvrage intitulé The Laws of Thought. Voici le but qu'il poursuivait et qu'il précise dans le premier paragraphe du livre: «étudier les lois fondamentales de l'esprit selon lesquelles le raisonnement s'accomplit; exposer ces lois dans le langage symbolique du calcul et, sur cette base, établir la science de la logique et construire sa méthode.» Boole émet l'hypothèse que les opérations de l'esprit engagé dans le raisonnement sont gouvernées par certaines lois algébriques, analogues aux lois des opérations arithmétiques familières relatives à l'addition, la soustraction, la multiplication, etc. À partir de ces lois fondamentales, qu'il expose à l'aide de symboles mathématiques, il construit une méthode pour résoudre des problèmes de logique.

    Les hypothèses et les postulats de base sont d'abord mis sous forme d'équations. Par la suite, la manipulation des symboles logiques remplace l'habituel processus logique de déduction. Le raisonnement est ainsi ramené au calcul, la logique est réduite à l'algèbre. Soit deux termes: vrai ou faux, ou 0 et 1. Ces deux termes, ces deux états, peuvent se combiner de diverses manières. La somme logique de deux variables est égale à 1 lorsque au moins l'une d'elles a la valeur 1; elle est de 0 lorsque toutes deux ont simultanément la valeur 0. Le produit logique de deux variables est égal à 0 lorsque au moins l'une d'elles est égale à 0, et vaut 1 lorsque toutes deux ont simultanément la valeur 1.

    Les «portes» sont une autre façon de représenter les opérations logiques. La porte «et» correspond à la multiplication logique, la porte «ou» à la somme logique. La porte «non» transforme une donnée en son contraire.

    Un pas décisif en direction de l'ordinateur a été franchi lorsque l'on a identifié la similitude entre les portes logiques et les relais, et donc entre les circuits logiques et les circuits électriques. Supposons que 1 correspond à une impulsion forte, et 0 à une impulsion faible. On peut facilement régler les relais de telle sorte que seule l'impulsion forte puisse passer. Un circuit électrique peut ainsi devenir une machine à additionner.

    1 (x) + 0 (y) = 1 (s)


    A l'entrée les impulsions fortes et faibles correspondent aux touches 1 et 0 que l'on frappe sur le clavier avant d'appuyer sur la fonction addition +. Le relais OU est réglé de façon à ce qu'il y ait qu'un impulsion forte à la sortie lorsque les deux impulsions sont présentes à l'entrée. Le relais ET est réglé de façon à ce qu'il faille deux impulsions fortes a l'entrée pour qu'il y en ait une à la sortie. Le relais NON transforme une impulsion en son contraire. La réponse cherchée se trouve à droite du tableau. Elle correspond à la position 1.

    Date de création : 2012-04-01 | Date de modification : 2012-04-01
    Loading
    Informations
    L'auteur

    Jacques Dufresne
    http://agora.qc.ca/cvdufresne.html
    Mots-clés
    Algèbre, logique formelle
    Extrait
    Le raisonnement est ainsi ramené au calcul, la logique est réduite à l'algèbre.
    Documents associés
    Jacques Dufresne
    Machine à calculer
    Jacques Dufresne
    La mémoire
    Jacques Dufresne
    Shannon, Zuse, Türing
    Jacques Dufresne
    ENIAC, IBM, von Neuman
    Jacques Dufresne
    Programme

    Contribuez au rayonnement des oeuvres de l'Agora/Homo vivens en devenant membre ou en faisant un don.