Discussion:Déployeur universel
Cet article est indexé par les projets Informatique, Physique et Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Bon début | Moyenne |  | Informatique (discussion • critères • liste • stats • hist. • comité • stats vues) |
| Faible |  | Physique (discussion • critères • liste • stats • hist. • comité • stats vues) | |
| À évaluer |  | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) | |
Cet article comporte une liste de tâches suggérées :
Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Réécriture ⇒ Quelques explications pour effectuer ces corrections. -- 3 février 2021 à 10:51 (CET)
Tout ou partie de cet article est issu de « ↳ Déployeur universel (h · j · ↵) », également publié sous CC BY-SA 3.0, et qui a été transformé en simple redirection vers le présent article. Il est possible que certains contenus soient également disponibles sous GFDL (voir conditions d'utilisation).
Consultez l'historique de l'article « Déployeur universel » pour connaître la liste de ses auteurs.
Je cite : Le déployeur universel est une théorie supposant que tout est mécanisme.
Ben non ! Un déployeur universel est “simplement” un programme dans un langage donné qui exécute tous les programmes de ce langage. (C'est donc un programme qui ne s'arrêtent pas.) Un tel programme est possible par une technique de zig-zag dans la liste des programmes qui sont exécutés morceaux par morceaux.
Je cite : Au niveau informatique, le déployeur universel ne nécessite qu'une arithmétique rudimentaire telle l'arithmétique de Robinson.
Le truc c'est que l'arithmétique de Robinson est Turing-équivalent, c.-à-d. que chaque programme calculable par l'arithmétique de Robinson l'est par une machine de Turing, et inversement. Nos ordinateurs (idéalisés) et nos langages de programmation sont aussi Turing-équivalent. Donc forcément un déployeur universel dans un tel langage ne nécessite pas plus que l'arithmétique de Robinson.
Sous l'hypothèse de la thèse de Church un langage Turing-équivalent permet de calculer chaque fonction “effectivement calculable”. Dans un tel langage un déployeur universel est alors “vraiment universel”, il calcule toutes les fonctions “effectivement calculables”. Un tel programme est utilisé (théoriquement) par Bruno Marchal sous une hypothèse mécaniste pour en déduire une incompatibilité avec le matérialisme. Une référence secondaire est l'article Le monde des machines de Jean-Paul Delahaye publié dans le Pour la Science n°243 (janvier 1998).
--OPi (d) 26 mars 2010 à 15:49 (CET)
- Je viens de placer le lien vers la référence [1] dans l'article, lien qui a immédiatement été effacé par Bobodu63 ! Quel est le problème ? Le document est sur le site de son auteur... Je replace le lien. --OPi (d) 18 mai 2010 à 21:01 (CEST)
J'ai placé l'article en bon début.J'avais placé 2 nouvelles références , une des 2 n'est plus accessible. D'autres documents seront mis en référence.--Titi2 (d) 18 mai 2010 à 12:56 (CEST)
J'ai redéfini le projet en informatique. En effet , il s'agit d'un programme dont l'utilisation est certes toute théorique mais qui pourrait très bien être réalisé.--Titi2 (d) 1 juin 2010 à 16:59 (CEST)
À recycler[modifier le code]
Si l'article est censé être à propos du concept informatique en:Dovetailing (computer science), comme les liens interwiki semblent l'indiquer, alors il y a pas mal de ménage à faire.
Plus précisément, je pense qu'il faudrait distinguer la notion en informatique théorique et la notion en philosophie, probablement en découpant l'article en deux.--a3_nm (d) 8 juillet 2011 à 15:35 (CEST)
- J'ai créé déployeur universel à cet effet. --a3_nm (d) 1 août 2011 à 21:44
- Je pense qu'il vaut mieux défaire le fork (par renommage artificiel) et le TI de Titi2 (ex-contributeur habitué en la matière), en fusionnant ce qui est sauvable de « Déployeur universel de programmes » dans son titre initial (Déployeur universel). Anne, 8/9/16
Discussion transférée depuis Wikipédia:Pages à fusionner
Les deux noms seblent recouvrir la même notion, l'un des articles est bardé de bandeaux, l'autre non mais n'a aucune réf...--Cbyd (discuter) 9 août 2018 à 12:08 (CEST)
Pour Peu de choses récupérables de Déployeur universel de programmes, mais enfin ce sera une fusion quand même. Je veux bien m'occuper de la fusion si elle a lieu. Le titre de l'article résultant serait plutôt Déployeur universel.--Jean-Christophe BENOIST (discuter) 9 août 2018 à 12:49 (CEST)- Pour C'est moi qui ai créé Déployeur universel parce que je ne comprenais pas du tout ce que racontait l'article Déployeur universel de programmes. Aucune objection à fusionner ces articles, au contraire je pense que ce serait une bonne idée de le faire, si quelqu'un comprend l'article Déployeur universel de programmes et comment intégrer les deux ! --a3nm (discuter) 12 août 2018 à 19:19 (CEST)
Neutre probablement oui, mais universel quel mot stupide appliqué avec ce sens! Regardez l’étymologie. --Io Herodotus (discuter) 25 août 2018 à 17:56 (CEST)
