Discussion:Machine de Turing universelle

Dernier commentaire : il y a 3 ans par Lf(Lx(f)(x)x)Lx(f)(x)x dans le sujet Origine de la machine de Turing universelle
Autres discussions [liste]
  • Admissibilité
  • Neutralité
  • Droit d'auteur
  • Article de qualité
  • Bon article
  • Lumière sur
  • À faire
  • Archives
  • Commons

Admissibilité

modifier

Cet article est admissible étant donné l'importance de la machine de Turing universelle en informatique. Cette machine est à la base des ordinateurs modernes. Voir l'article sur l'ordinateur à programme enregistré. Mig (d) 20 mars 2013 à 01:09 (CET)Répondre

Origine de la machine de Turing universelle

modifier

J'ai l’intention de supprimer la section Origine de la machine de Turing universelle pour deux raisons (indépendamment des erreurs de détail).

  1. Il s'agit d'un travail inédit.
  2. La thèse qui y est défendue, à savoir que le deuxième problème de Hilbert de 1900 est à l'origine des travaux de Turing, est inexacte. On sait que l'Entscheidungsproblem que Turing résoud par sa machine a été énoncé en 1928. Pierre de Lyon (discuter) 19 avril 2021 à 08:33 (CEST)Répondre
Ne faudrait-il pas plutôt le synthétiser/raccourcir ? Tout n'est pas faux. De plus l'Entscheidungsproblem n'a-t-il pas pour origine le problème de Hilbert ? Jean-Christophe BENOIST (discuter) 19 avril 2021 à 09:17 (CEST)Répondre
Personnellement je ne vois pas comment on peut synthétiser/ raccourcir des faits inexacts. Oui l'Entscheidungsproblem a été énoncé par Hilbert dans sa conférence au congrès des mathématiciens de 1928. Il me semble que c'est une confusion, me semble-t-il, que de l'attribuer au congrès de 1900. --Pierre de Lyon (discuter) 19 avril 2021 à 09:50 (CEST)Répondre
Par synthétiser/ raccourcir : je veux dire faire quelque-chose de plus court et exact, en sauvant ce qui peut l'être, au lieu de supprimer. Je vais le faire alors ;) Jean-Christophe BENOIST (discuter) 19 avril 2021 à 10:01 (CEST)Répondre
Voilà j'ai fait une première étape de raccourcissement. J'ai gardé la fin telle quelle mais je n'ai pas précisément checké sa précision et pertinence. Jean-Christophe BENOIST (discuter) 20 avril 2021 à 21:45 (CEST)Répondre
Beau travail. Encore quelques petites améliorations. Mais c'est nettement mieux que ce qui était écrit. Un autre acteur est Max Newman (le créateur du premier ordinateur de Manchester). C'est lui qui, après avoir assisté au congrès de mathématiciens raconta à Turing la conférence de Hilbert où celui-ci présenta l'Entscheidungproblem (à vérifier dans les sources). --Pierre de Lyon (discuter) 21 avril 2021 à 15:55 (CEST)Répondre
En passant, tu me fais découvrir, Pierre, Max Newman qui n'est pas James R. Newman qui a écrit sur les thm d'incomplétude. J'ai modifié leurs articles respectifs pour éviter la confusion. Sinon rien de particulier à dire sur le fond de cette discussion. --λf(λx(f)(x)x)λx(f)(x)x = Y 22 avril 2021 à 00:00 (CEST) Répondre
Oui, j'ai une source qui le dit en effet. J'ai hésité à mettre cet épisode, je me suis dis que on voulait faire court, et que ce n'était pas indispensable, mais je peux l'ajouter volontiers. Jean-Christophe BENOIST (discuter) 21 avril 2021 à 16:07 (CEST)Répondre
Il faudrait l'avis d'autres personnes. --Pierre de Lyon (discuter) 21 avril 2021 à 16:29 (CEST)Répondre
Revenir à la page « Machine de Turing universelle ».