mathématiciens pour arriver à l'ordinateur tel que nous le connaissons.
L'américain C.S. Peirce se rendit compte, en 1880, que l'algèbre de Boole
pouvait s'exprimer par les fonctions logiques NAND ou NOR, et
travailla ensuite sur la machine logique électrique (1886). En 1900,
le mathématicien Hilbert demandait, dans son dixième défi du millénaire,
si un algorithm pouvait se prononcer sur l'ampleur d'un problème
mathématique. (En fait, non; 1970). Et Alonzo Church se penchait, en 1930,
sur la possibility de formaliser les mathématiques en mode
algorithmique. Cela reviendra à son célèbre étudiant, Alan Turing, de
nous proposer sa Turing Machine. Tout ce qui est 'Turing Complet'
constitue un véritable ordinateur.
La machine se forme d'un long ruban mémoire, d'une fonction écriture et d'un
fonction lecture. Voici les règles de son fonctionnement.
L'exemple est simple, en suivant les règles, on en vient à indiquer que le nombre
de 1 dans notre séquence est pair, avec l'ajout final d'un 1. Bien mignon, car notre
séquence devint par ce fait-même impair. C'est le méchant secret de famille:
notre ordinateur théorique ne peut s'arrêter qu'avec un crash. La logique et
l'algorithmique sont à jamais des problèmes différents.
C'est dans le Crash Course, Turing a travaillé pendant la deuxième guerre à
decrypter les messages des forces allemandes. L'avantage qu'il possédait est le suivant:
dans le code secret, chaque lettre pouvait être représentée par une autre mais
la véritable lettre n'aparaissait jamais. Il se servait de cette notion pour venir à identifier
des mots usuels allemands...
Ci-bas, un site qui propose de faire diverses opérations sur une Turing Machine:
avec 1 ruban; avec 2. C'est l'opération demandée qui détermine la table de ransition.
On entre ensuite ses chiffres, et on a tout loisir à suivre la machine sur son périple...
Aucun commentaire:
Enregistrer un commentaire