Ce n'est qu'un artefact des langages impératifs comme le C++. On peut réaliser le même programme sans effets de bord avec un style déclaratif. Ils sont tous deux Turing-Complet. Eh oui je parle d'informatique fondamentale.Envoyé par Médiat
Je te rejoins sur les systèmes interactifs tel qu'un robot qu'on envoie sur Mars. C'est obligatoire d'employer les langages à effets de bord dans ce cas de figure.
La continuité du monde réel est une illusion. Il se déroule des phénomènes discrets à l'échelle quantique. Plus formellement, la thèse de Church-Turing dit que tout modèle de calcul est équivalent à une machine de Turing. Sinon il pourrait résoudre des problèmes défiant l'entendement physique (cf. hypercalcul)
De plus, les machines de Turing peuvent recevoir et émettre des données à l'exécution. C'est ce que font les processeurs des robots.
A te lire on peut effectivement se poser la question de ou se trouve l'illusion. Ne confonds tu pas illusion et idéalisation ? Tout comme la notion de symétrie, une idéalisation qui nous est bien utile car très féconde pour son usage prédictif.
Patrick
Cette phrase n'a pas vraiment de sens.
On parle d'un programme qui se modifie. Il n'a donc jamais d'état final. Ce n'est pas "le même programme" que l'on peut écrire, mais "les mêmes programmes" (le pluriel pouvant décrire des centaines de milliers de versions de programme différentes).
Par ailleurs "on" (humain) ne pourrait pas écrire ces programmes car ils n'ont en général pas de sens pour l'homme: certains sont justement construits pour dépasser les limites de l'homme, et trouver (notamment grace au hasard) des voies que la réflexion ne peut pas aborder.
Je ne suis pas sur que tu maitrises tant "l'informatique fondamentale". Le fait qu'un langage est Turing-Complet signifie qu'il peut faire tout ce qu'une machine de Turing peut faire, mais pas qu'il se limite à cela.Ils sont tous deux Turing-Complet. Eh oui je parle d'informatique fondamentale.
Soit tu n'as pas compris la phrase, soit tu la sors volontairement de son contexte.
J'explique au cas où on serait dans la première situation:
traitement continu = traitement qui commence mais n'a pas d'état de fin défini. Il fonctionne en permanence, il n'a pas d'état final (prévu).
Mieux vaut éviter de parler de machine de Turing quand on parle robotique.Plus formellement, la thèse de Church-Turing dit que tout modèle de calcul est équivalent à une machine de Turing.
Les machines de Turing concernent les algorithmes, pas les programmes, et encore moins les programmes "temps-réel".
Les machines de Turing ne peuvent pas gérer le temps, ni les interruptions, ni les traitements parallèles (une tentative pour adapter le concept au parallélisme, mais il ne maintient pas les déductions applicables aux machines de Turing simples)
Ils font bien plus.De plus, les machines de Turing peuvent recevoir et émettre des données à l'exécution. C'est ce que font les processeurs des robots.
Et en particulier, ils dépendent de facteurs physiques (température et temps en particulier) contrairement à une machine de Turing.
J'ai l'impression que tu butes sur la programmation système. Je me trompe ?
1/ Pour gérer la continuité au sens du temps infini, on fait un programme qui ne s'arrête jamais. C'est pas interdit que je sache.
while(true)
{
in = lire();
out = traitement(in);
ecrire(out);
}
2/ Pour gérer une interruption, on donne une illusion de parallélisme via le concept de Thread. Ça peut se faire via une machine virtuelle qui interprète un code exécutable. Il lance deux threads entrelacés, l'un qui surveille les interruptions, l'autre qui réalise les traitements. On peut ajouter une horloge pour mesurer le temps qui s'écoule. Facile
while(true)
{
interrupteur.execute(1); //un pas de temps à la fois
traitement.execute(1);
horloge.execute(1);
}
3/ Pour dépendre de facteurs physiques continus, on échantillonne le signal via un convertisseur numerique-analogique.
Par contre, ta critique sur les langages Turing-Complet n'est pas claire ??? Je ne peux pas te répondre sur ce point.
Ce qui ne remet toujours pas en cause, au contraire, mon affirmation (je parle d'expérience) qu'un programme peut se modifier lui-même avec profit, et donc que ce n'est pas inutile (pour information, c'était des programmes écrits en assembleur) !
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Je ne confonds pas les deux. Beaucoup de gens croient sincèrement que le temps et l'espace sont continus (nom dénombrable). Il s'agit bien d'une illusion de nos sens.
D'un autre côté, certains calculs sont plus aisés dans un espace continu. Il s'agit alors d'une idéalisation mathématique. C'est ce que je voulais dire.
Je parlais d'inutilité pour notre débat. Se modifier soit-même n'est pas la solution miracle au libre-arbitre.
C'est équivalent à une fonction statique qui prend en paramètre l'historique des entrées.
y = f(x1, ..., xn).
Du coup, la mémoire du passé m'a l'air plus fondamentale que les modifications programmées
Le moins que l'on puisse dire c'est que si c'est vraiment ce que vous vouliez dire, vous l'avez bien caché :
Mais bon, si finalement vous convenez qu'un programme peut modifier son propre code et que ce n'est pas forcément inutile, nous sommes d'accord.
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Je ne sais pas. Êtes-vous d'accord qu'une modification programmée est comparable à une mémoire du passé ?
Par ailleurs, il n'est pas prouvé qu'un code mutant est plus performant qu'un code statique. C'est peut-être lié à l'expérience du programmeur.
D'autres croient sincèrement qu'ils sont de nature discrète. Il s'agit bien d'une chosification par nos sens.
Patrick
Oui, les physiciens des boucles. Ils n'ont pas encore trouvé la bonne quantification de l'espace-temps. Mais je suis déjà convaincu de la nature discrète de l'Univers. Sinon, c'est qu'il existe une forme d’indéterminisme pire que le hasard, le libre-arbitre total.
Pour rester pragmatique :
les nombres entiers sont par définitions de nature discontinue.
Le temps et l'espace sont par nature continue.
L'illusion étant de croire qu'un nombre rationnel ou décimal, qui est par nature discontinue ( exemple : 1/3 =0,333333 métre), puisse être la représentation réelle de la mesure d'un espace continu. Il ne s'agit en fait que d'une construction mathématique de nature discontinue qui tente seulement d'approcher le continu .....ni plus, ni moins.
PS: Le fait de pouvoir dénombrer n'a rien avoir avec la nature continue/discontinue
Non.
Ben comme je l'ai déjà dis, si nous avions fait cela, c'est parce que c'était la méthode la plus performante.
Mais il me semble que ce hors sujet est clos et qu'il n'y a plus rien à dire dessus.
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
C'est un bon test éliminatoire. Si les points d'un espace sont dénombrables, on prédit l'existence de "trous". Par exemple, la racine carré de deux est irrationnel (1.41...). On en déduit que l'intervalle [1, 2] n'est pas continu sur l'espace des rationnels.
J'ai plutôt l'impression que tu butes sur la compréhension de mon post.J'ai l'impression que tu butes sur la programmation système. Je me trompe ?
Et surtout sur la définition d'une machine de Turing.
Une machine de Turing ne connait pas le concept de traitements parallèles. Tu ne peux pas coder de threads (sauf certains cas particulier de programmation parallèle où on force volontairement la synchronisation) dans une machine de Turing, encore moins de processus différents.
Sans blague ? Merci pour cette découverte.1/ Pour gérer la continuité au sens du temps infini, on fait un programme qui ne s'arrête jamais.
Ce que j'ai tenté de t'expliquer, c'est qu'un while(1) qui modifie en permanence son propre code ne peut pas être remplacé par 1 (et un seul) programme déclaratif qui ne se modifie pas.
Euh... non...2/ Pour gérer une interruption, on donne une illusion de parallélisme via le concept de Thread.
Les vrais interruptions, c'est au niveau hardware en général.
C'est pas une critique, je te dis juste que les langages de programmation ne se limitent pas aux capacité d'une machine de Turing pour aller plus loin et offrir des possibilités qu'une machine de Turing ne peut pas atteindre.Par contre, ta critique sur les langages Turing-Complet n'est pas claire ??? Je ne peux pas te répondre sur ce point.
Autrement dit, certaines conclusions valables pour une machine de Turing ne sont pas valables pour un ordinateur/programme.
Par exemple:
Ceci est faux.Se modifier soit-même n'est pas la solution miracle au libre-arbitre.
C'est équivalent à une fonction statique qui prend en paramètre l'historique des entrées.
y = f(x1, ..., xn).
Enfin, ça peut être vrai si l'une des variables de ta fonction contient l'état du "monde" (environnement physique immédiat ou proche).
Ou alors, si tu prends une sous partie des programmes existants pour te concentrer sur les plus simples: ceux qui n'ont aucun parallélismes, ou un parallélisme synchronisé.
Pour les autres, l'état du "monde" est indispensable.
Par ailleurs, j'attends toujours un argument permettant de dire que nous ne sommes pas (nous, humains) une "fonction statique qui prend en paramètre l'historique des entrées"
Je pense qu'il y a comme qui dirait un léger courant d'air.
Soyons clair et simple l'espace PHYSIQUE est caractérisé entre autre par sa distance entre 2 points, plus communément appelée :longueur.L'intervalle entre c'est 2 points est purement continue (sinon cela veut dire qu'il y aurait des trous dans l'espace PHYSIQUE. Dans ce cas merci de m'indiquer la nature de ces trous). Par contre la mesure donc la représentation numérique de cette opération peut donner une valeur entière ou avec décimales.
Si ton but est de t'appuyer sur un exemple algébrique pour conclure que l'espace physique serait discontinu ....merci de revoir ta copie.
C'est quoi, pour vous un espace continu ?
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Déjà, il est impossible de mesurer des longueurs en dessous de l'échelle de Planck (10^-34). Et la mécanique quantique montre qu'une particule n'a pas de position déterminée dans l'espace. Elle peut effectuer des sauts par effet tunnel.
Mieux, certains calculs de gravité quantique considèrent des grains d'espace-temps. C'est un indice supplémentaire de la nature discontinue de l'Univers.
D'un point de vue algébrique, un espace rationnel contient une infinité de trous. N'empêche, on peut les approcher d'aussi près qu'on veut. C'est ça que tu as du mal à comprendre.
Manque de chance cette remarque ironique tombe à plat. Le fait qu'à un niveau certes infime l'espace puisse être discontinu n’implique nullement qu'il y aurait des trous... car dire trou c'est dire espace, donc espace entre les "quanta" (j'emploie ce mot dans un sens imagé sans rapport avec le sens actuel) d'espace. Or que serait cet espace entre les éléments d'espace ?
Alors j'image 4MOLLE triomphant en pensant que ce raisonnement prouve l'absurdité d'un espace discontinu. Malheureusement pour lui il existe des approches théoriques, certes spéculatives pour le moment mais très sérieuses dans lesquelles l'espace et/ou le temps sont discontinus.
Dernière remarque : peut-être serait-il bon de ne pas mélanger continu/discontinu en mathématique et continu/discontinu en physique de l'espace-temps. Je trouve que cela embrouille plus qu'autre chose par une analogie qui me semble fausse. Il faut donc revenir à ce qui est strictement l'objet de la discussion.
Rien ne sert de penser, il faut réfléchir avant - Pierre Dac
Pas tout à fait. Prétendre qu'un espace physique soit discontinu est basé sur le principe de vide entre 2 parcelles d'espace. Le problème étant que le vide étant l'absence de toute chose, il faudrait m'expliquer comment il est matérialisable dans notre espace physique.Manque de chance cette remarque ironique tombe à plat. Le fait qu'à un niveau certes infime l'espace puisse être discontinu n’implique nullement qu'il y aurait des trous... car dire trou c'est dire espace, donc espace entre les "quanta" (j'emploie ce mot dans un sens imagé sans rapport avec le sens actuel) d'espace. Or que serait cet espace entre les éléments d'espace ?.
Bien sur, bien sur. Pour rester dans le spéculatif "très sérieux", peux tu m'indiquer comment du conceptualise dans l'univers physique la discontinuité temporelle.
L'analogie devient fausse à partir du moment ou les fondements sur lequels elle repose sont incertains.
Déjà, une machine de Turing est un modèle de calcul. Rien à voir avec les actions physiques du type capteur/effecteur. Il ne s'agit que de traitement d'informations.
Ce modèle permet un questionnement théorique: quelles sont les fonctions calculables avec telle ressource en temps-mémoire-processeur ? Par exemple, il est prouvé qu'on peut trier un tableau en temps O(log n), espace O(1) et O(n^2) processeurs.
Ceci dit, il faut savoir ce qu'on veut calculer avant d'utiliser un tel modèle.
- Que veux-t-on faire ? Créer un programme doté de libre-arbitre.
- Comment le tester ? On lui pose des questions pour s'en convaincre.
Le programme est donc une fonction qui prend en paramètre un message et retourne un autre message. C'est tout simple.
Là-dessus, le modèle de Turing nous dit qu'une fonction est programmable si sa complexité est finie. Eh oui, il existe des fonctions non programmables comme le castor affairé.
Je disais plus haut qu'un programme est une fonction. Deux cas de figure peuvent se produire:j'attends toujours un argument permettant de dire que nous ne sommes pas (nous, humains) une "fonction statique qui prend en paramètre l'historique des entrées"
- soit il est sans mémoire. Il répond pareil aux mêmes questions.
- soit il a une mémoire. Il tient compte des échanges passés.
Bien sûr, l'Homme appartient à la deuxième catégorie. Il réagit en fonction des événements passés. Est-ce la marque de fabrique du libre-arbitre ? Difficile à dire.
Par contre, les questions de parallélisme sont HS. Je ne vois pas l’intérêt de compliquer le débat avec du libre-arbitre temps-réel
Il y a t-il un lien entre représentation et traitement de l'information et la calculabilité ?
Patrick
Ben, j'imagine que les particules suivent une géodésique d'espace-temps en pointillé. Elle aurait une amplitude de probabilité nulle sur les points de discontinuité. C'est comme si elle n'existait pas à certains moments. On ne pourrait la trouver nulle part dans l'Univers. Tu vois ?
Ce ne sont que mes réflexions personnelles à prendre avec des pincettes. A voir du côté de la gravité quantique.
La seule chose qui importe est de nous construire des représentations, grâce à notre faculté d'abstraction, qui nous permettent des prédictions sur les effets qui eux seuls nous sont accessible soit directement par nos sens soit indirectement en étendant nos sens via des appareils de mesures construit relativement à nos connaissances passés et actuelles.
(1987), François Jacob : « la démarche scientifique ne consiste pas (…) à accumuler des données expérimentales pour en déduire une théorie, mais à articuler ce qu’on observe avec ce qu’on imagine ».
Le reste n'est qu'à-priori métaphysique.
Patrick
Merci pour le lien, je traite un gros volume d'informations issus de satellites. On s'appuie sur le métalangage XML pour faire des conversions de format.
Ceci dit, la calculabilité se pose pour certains traitements théoriques. Ainsi, le compresseur parfait est prouvé non calculable au sens de Turing. Il est impossible à programmer quelque soit la puissance de calcul à disposition.
Issus de capteurs à bord / télédétection (remote sensing) plutôt non ?
Patrick
Pour rappel, les physiciens tentent de quantifier l'espace-temps pour réconcilier la RG et la MQ. Il s'agit bien de la nature discrète de l'Univers. Elle aura des applications en cosmologie quantique et d'autres domaines encore inconnus.
Ou de la représentation la plus féconde qui nous permet l'unification et la puissance de prédiction. Pourquoi vouloir lui en faire dire plus sachant qu'il nous sera pas possible de le vérifier pauvre humain que nous sommes ?
Patrick
Dernière modification par invite6754323456711 ; 13/06/2012 à 20h45.
@Exciton: il y a deux erreurs de raisonnement. Fais bien attention à ce qui suit:
Non. Ce modèle permet de répondre à la question: "quelles sont les fonctions calculables avec telle ressource en temps-mémoire-processeur par une machine de Turing ?"
Un robot ou un ordinateur peut être volontairement bridé pour n'être pas plus qu'une machine de Turing. Dans ce cas tu as raison.
Mais un robot ou un ordinateur est naturellement davantage qu'une machine de Turing. Dans ce cas, ce modèle ne donne, dans le meilleur des cas, qu'une estimation pessimiste du potentiel du robot/ordinateur.
Il peut donc donner une réponse positive (ça peut faire XXX), mais en aucun cas une réponse négative (ça ne peut pas faire XXX) sur les capacités du robot/ordinateur.
Justement non.Le programme est donc une fonction qui prend en paramètre un message et retourne un autre message. C'est tout simple.
Quand on parle de libre arbitre, il n'y a pas une question => une réponse.
La deuxième catégorie est trop vague.Je disais plus haut qu'un programme est une fonction. Deux cas de figure peuvent se produire:
- soit il est sans mémoire. Il répond pareil aux mêmes questions.
- soit il a une mémoire. Il tient compte des échanges passés.
elle doit être découpée en deux autres catégories:
* pour des échanges passés donnés, une réponse unique est obtenable.
* pour des échanges passés donnés, plusieurs (voir une infinité) de réponses peuvent être obtenues. <= robot et humain peuvent se situer dans cette catégorie.
C'est au contraire essentiel pour écarter les propos sur le modèle de Turing qui est, lui, fréquemment HORS-SUJET quand on parle de robotique.Par contre, les questions de parallélisme sont HS. Je ne vois pas l’intérêt de compliquer le débat avec du libre-arbitre temps-réel
