Thomas Douillard a écrit 9171 commentaires

Tes interrogations sont à côté de la plaque, c'est tout.

La preuve est simple, correcte, bien fondée mathématiquement et logiquement, connue et archi connue.

Et tes questions n'ont rien à y faire, elles n'ont aucun sens dans le cadre de la preuve. Voire aucun sens du tout.

C'est difficile de répondre à des questions qui n'ont pas de sens, il faut rentrer dans ta tête pour essayer de comprendre ce que tu voulais dire, sachant que c'est pas clair probablement dans ta tête non plus ... sinon ce serait plus simple pour tout le monde.

Non, ce programme ne compile pas, il n'a pas de fonction "main", déja.

Si elle existe, on a des contradictions, donc elle n'existe pas. C'est tout.

Il n'y a aucune utilisation d'une string infinie.

Le programme est fini, les entrées du programmes sont finies (même si l'ensemble des entrées possible est infini)

La question c'est : existe t'il un programme qui répond "oui, non" étant donné un programme et une entrée donnée, pour savoir si ce programme boucle ou non avec cette entrée. La réponse est "non".




Intérêt ? On aime pas avoir un programme qui boucle en général ... c'est ce qu'on appelle un "bug". Imagine un interpréteur qui te dis "ah non, t'as un problème ton programme va partir en boucle infinie". Pas d'intérêt ?

La réponse est non, dans la généralité, un tel interpréteur n'existe pas. intuitivement lui aussi risque de partir en boucle infinie avec le programme qui l'exécute sans pouvoir le détecter.

On démontre ça par l'absurde.

Et si tu veux casser la récursion c'est facile : tu files un programme sans entrées à ton interpréteur, j'ai pas vérifié mais ça ne doit pas changer grand chose à la démonstration ... Ou alors ça change tout.

2- le "halting problem" n'a pas d'intérêt pratique, démontré ou pas

Il permet de répondre "non" à Ontologia sans détours. Et à toute une famille de questions relativement identiques.

Ouais alors il faut se rendre à l'évidence, soit tu t'exprimes pas bien et personne comprends ce que tu veux dire, soit quelque part tu as tort, soit le problème de l'arrêt n'en est pas un, ce qui reviendrait à ce que des générations d'informaticiens aient tort, et là t'as intérêt à bien faire comprendre ce que tu veux dire si tu veux pas te faire descendre ;)



En gros, tu veux en venir ou ? Cette preuve montre qu'il existe au moins un programme dont l'arrêt est indécidable, et sûrement une infinité d'autres.

Donc t'as démontré que le problème dans sa généralité était insoluble. Après en se restreignant à des sous classes du problème effectivement on peut faire des trucs, mais bon, ces classes sont pas forcément toutes intéressantes, et surtout t'as des tas de cas intéressants qui sont pas dedans ...

Je sais bien, mais moi si.

Je les dis quand c'est approprié, je les cache pas, globalement tu dois savoir si je suis d'accord, pas d'accord ou nuancé à propos d'une idée. Je pense pas être ambigu. Toi, si.

Le problème de l'arrêt c'est pour toutes les entrées possibles, pas que pour "halt" lui même ...

En gros, ça donne halt : programme , donnee -> booleen

T'as pas de récursion ici, tu veux savoir si "donnee" s'arrête pour toutes les entrées possibles, quasiment.

d'ailleurs ta récursion n'a pas de sens, halt(halt,halt) renvoie un booleen, et ce que tu veux faire manger à ton programme c'est un autre programme.

Oh non, on note juste que t'es assez frileux sur le sujet.

On savait déja que t'étais nationaliste plutôt admirateur de gens comme Alain de Benoist, par exemple.
Après ça ne nuit pas de connaître ses interlocuteurs.

Héhé, et toi alors, tu viens faire quoi là dedans ?

( hop, ça c'est fait ---------->[] )

On parlait de psychotage ...

Il répondait à Moogle, c'était juste une remarque en passant.

Après tu le prends personnellement, ou pas. Passionnel on disait ?

Tu ne connais pas mes idées. Tu fantasmes tout seul et c'est moi qui psychote ?

Tu joues au chat et à la souris et tu te gardes bien de les énoncer.

Je serais prétentieux si je prétendais le contraire, car c'est un maître en la matière.

Héhé, déja lui il argumente ... ce qui n'est pas vraiment ton cas.

C'est intéressant, et il argumente son point de vue carrément mieux que toi.

Faudrait un peu de temps pour développer et analyser un peu tout ça, j'ai pas lu grand chose (en particulier une interview de lui [1] , et je me pose quelques questions du coup.)

A relire à froid pour une critique plus approfondie ...



[1] http://www.lepoint.fr/actualites-chroniques/jean-claude-mich(...)

J'en ai marre de répéter la même chose tout le temps. Dire "il a été prouvé que ..." c'est aller bien plus loin que simplement exprimer des doutes.

Je défends mes ideés normalement et honnêtement, contrairement à toi.

Et je suis un bourreau. Je voudrai bien savoir ce que j'ai fait de malhonnête et d'anormal.


À part employer des méthodes Staliniennes (hop, Phix, au Goulag, et pressons.)



Il y aurait des pages et des pages à écrire sur chacun de ces lieux communs.

Mouarf, tu m'as convaincu. J'ai rien contre les débats philosophiques pourtant. Mais bon, à mon avis tu connais pas vraiment le positivisme, et t'as balancé ce mot parce que j'ai mis "science" dans mon texte. Pour le reste ce n'est pas spécialement positiviste. Mais bon, devant tant d'argumentation (d'autoritées, mais même pas citées) , je ne peux que m'incliner ^^

Je lui aurai conseillé de réfléchir à deux fois et de vérifier deux ou trois trucs avant de balancé des phrases bourrées de certitudes pour le moins incertaines. Il a déconné.

tu entend bien, mais tu n'ecoutes pas.

C'est un dialogue de sourd, comme souvent à ce stade de la conversation, tu ne m'a pas du tout convaincu et on tourne en rond, personne n'apporte rien.

Pour le reste, depuis quand on parle de toi ?

Merci de ta compassion à mon égard, mais ma personne n'est pas le sujet de la discussion.
C'est drôle d'ailleurs. Toi qui pourchasse les sophismes, pourquoi utilises-tu l'argument ad hominem ?


Et alors, j'ai tort ?


«Les arguments ad hominem font partie des manœuvres dilatoires appelées chiffon rouge (en anglais red herring, ou manœuvre de diversion). La méthode appelée empoisonner le puits est une sous-catégorie de ce type d'arguments.» Wikipedia.

Ouais, joue les victimes ... C'est un dialogue de sourd, j'ai plus très envie de discuter. Je veux pas détourner l'attention de toi ou de quelqu'un d'autre du "vrai débat", j'essaye de mettre tes écris en contexte. D'ailleurs tu ne devrai pas t'en offusquer parce que c'est toi même qui y vient petit à petit, il y a à peine besoin de te pousser.


Mon Dieu ! Que de lieux communs positivistes.

Que tu réfutes de manière fort élégante.


Je ne force personne à partager mes idées, contairement aux "progressistes" de tous poils. Mes idées sont plus populaires que ne te le font croire les médias d'ailleurs, mais c'est une autre question. Le nombre ne fait pas la valeur.

Héhé, joue encore les victimes. Et prends moi pour un con aussi. Je n'aime pas tes idées, c'est une évidence, pour des tas de raisons. Et notamment leur capacité à "essaimer" et devenir populaire en temps de crise par exemple. Ce qui est très loin d'apporter du positif en général.

Çe genre de truc ç'est tellement énorme que ça ferait presque croire qu'ils filent à la communauté un os à ronger pour canaliser un peu le débat ...


Ce serait pas la première fois qu'ils utiliseraient des techniques de ce genre pour faire passer des trucs.

Si je résume, tu es nationaliste et contre la "pensée unique" anti-raciste ?


Je comprends que tu te sente frustré de pas pouvoir t'exprimer comme tu le voudrai.

Mais c'est pas à cause des médias, c'est à cause de la progression des idées de tolérances, des progrets de la sciences et du dévelppement des connaissances, de la prise de conscience qu'on partage tous le même monde et qu'on est tous quelque part interdépendants.


Alors oui, tes idées sont impopulaires, qui blâmer ? Une entité abstraite comme la pensée unique, les médias, ou la société toute entière ?

remplace complot par acharnement alors.

Tiens c'est le premier argument qui pourrait soutenir un complot médiatique ... dommage qu'il apparaisse aussi tard, on pourrait croire qu'on trollait n'importe comment ...

Allez hop, le voila ton blog, la version de Ruquier chez arrêt sur image : http://www.arretsurimages.net/vite.php?id=2340

Ils lui auraient proposé de participer à un débat contradictoire, et il aurait refusé. Et il "aurait pu revenir à l'antenne la semaine suivante".

Ben ouais, quand on dit "il a été prouvé que" ... alors que le truc qu'il y a derrière n'a absolument pas été prouvé, voire est complètement faux, quand on est un homme public, à une heure de grande écoute, sur un événement susceptible de déchaîner les passions, on est au mieux pas très malin, et complètement irresponsable sûrement ...


Il lui est arrivé quoi quand il en a remis une couche en étant plus prudent ? Rien ... on en a à peine parlé.

Pour avoir un son de cloche sur ce qui c'est passé : http://www.leblogtvnews.com/article-24299307-6.html

À priori c'est lui qui a décidé d'annuler son spectacle parce qu'il avait plus personne pour aller le voir ... C'est le public qui a jugé, en bref, tu parles de pressions ...