Et histoire de nous changer un peu des éternels débats stériles vi-emacs ou KDE-Gnome, je vous propose un troll modèle de calcul : machine de Turing ou lambda-calcul ?
Tu ne te trompes pas mais ce n'est pas tout à fait la thèse de Church, c'est tout bonnement un théorème, dont la preuve est donnée par le fait qu'on peut écrire une machine de Turing qui interprète le lambda-calcul et un lambda-terme (un programme en lambda-calcul) qui simule une machine de Turing. La thèse de Church c'est le fait qu'on ne trouvera jamais d'« algorithme » (de procédé calculable) non exprimable par ces derniers modèles, et donc qu'on ne trouvera jamais de modèle plus expressif.
Si elles ont la même expressivité théorique, ces modèles ont quand même des usages différents en informatique scientifique : les machines de Turing sont un cadre commode pour parler de théorie de la complexité, parce qu'il est facile de quantifier le fonctionnement « mécanique » du calcul, avec une notion claire d'espace (la fameuse bande) et de temps (les déplacements de la tête de lecture/écriture), tandis que le lambda-calcul est plus abstrait et sert de fondement et de référence à toute la théorie des langages de programmation.
pourquoi tout le monde (enfin, ceux qui ont trop étudié ?) a cette idée de l'infinité ?
qui dit bande dit ruban comme un ruban de mesure (peut importe que ce soit gradué en mètre ou pas) ou corde ou chaines (peut importe arpents ou décamètres)... on sait donc où ça commence (donc ton -Inf que tu ne sais pas introduire, tu le mappe à zéro) mais pas où/quand ça se termine, si tant est-il qu'une fin existe (quelqu'un me souffle que je suis entrain de parler de l'ensemble IN...)
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
donc ton -Inf que tu ne sais pas introduire, tu le mappe à zéro
J'aimerais ben savoir comment tu peux faire ce mapping...
mais pas où/quand ça se termine
Si, on sait !... que ça NE se termine PAS...
> pourquoi tout le monde (enfin, ceux qui ont trop étudié ?) a cette idée de l'infinité ?
Probablement parce que dans une machine de Turing, le ruban est bi-infini. Il est indexé par Z, non par N. La tête de lecture peut aller à droite et à gauche. Et on peut facilement faire des programmes qui vont manger le ruban infini des deux côtés.
Cela dit, pour introduire un ruban bi-infini dans la machine, il suffit de le couper, introduire un des bouts et rescotcher.
Et si ce putain de ruban on le mettait autour d'un putain d'oeuf en chocolat (belge et très noir) et qu'on s'enfilait le tout dés demain matin au retour des cloches.
justement "indexé par z, non par N" :D ce que je suis entrain de dire est qu'on s'en fout royalement de savoir comment on introduit le ruban puisque Cantor nous a montrer (en montrant qu'ils sont tous infinis et pourtant il y en a de plus grand) qu'on peut techniquement se ramener à N (j'ai vu plus loin l'idée de pliage)... et une fois le brol lancé, on ne se préoccupe plus des terminaisons vu que c'est sans fin (rien ne te dis d'ailleurs qu'Alan pensait plus à Z qu'à Q)
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
Oui, évidemment, tous ceux qui ont fait trop d'études savent que la machine de Turing est équivalente à une machine de Turing à un seul ruban simplement infini. Cela n'empêche pas la définition (de Turing) des machines de Turing de leur offrir plusieurs rubans bi-infinis.
> rien ne te dit d'ailleurs qu'Alan pensait plus à Z qu'à Q
Heuh, si ! Numéroter les cases d'un ruban avec l'ensemble des rationnels ce n'est pas ce qu'il y a de plus naturel. Et d'autre part, ses articles nous donnent une assez bonne idée de ce qu'il pensait.
Techniquement, on peut aussi faire une machine de Turing avec un ruban infini d'un seul côté.
Ça a le même pouvoir expressif en termes de calculabilité. Une manière de voir ça c'est qu'un ruban bi-infini, tu peux choisir arbitrairement une case et le plier en deux à cet endroit : te voilà avec un ruban infini d'un seul côté.
Par contre, en termes de complexité temporelle, il me semble que tu récupère un petit overhead à cause de la transformation (ça doit être un facteur constant 2 à vue de nez).
Je vais faire un journal avec une seule ligne dedans:
Non aux journaux bookmark!
Comme ça je pourrais me faire ensuite un script qui mettra automatiquement en commentaire un lien vers mon journal dans chaque journal bookmark.
La suite?
Un simple journal de rappel avec un lien vers mon journal bookmark.
Quand la quantité de journaux bookmark dépasse une certaine limite, le bot réécrit un journal avec un lien vers le journal original, et en profite pour mettre un commentaire contre ce putain de journal bookmark!
Et voilà!
Le premier bot qui spamme linuxfr pour le bien de ses utilisateurs!
Si c'est pas de l'intelligence artificielle de premier ordre ça!
Je devrais faire un site pour parler de mon idée.
Comme ça je pourrai faire un journal avec juste un lien vers le site.
Dans la version 2.0, le bot apprendra à prendre la porte tout seul...
# Journal bookmark mais sujet intéressant
Posté par patrick_g (site web personnel) . Évalué à 10.
[^] # Re: Journal bookmark mais sujet intéressant
Posté par Gluck_ (site web personnel) . Évalué à 10.
[^] # Re: Journal bookmark mais sujet intéressant
Posté par Perthmâd (site web personnel) . Évalué à 4.
Dans le même genre, mais en Légo (et en flash) :
http://www.youtube.com/watch?v=cYw2ewoO6c4
Et histoire de nous changer un peu des éternels débats stériles vi-emacs ou KDE-Gnome, je vous propose un troll modèle de calcul : machine de Turing ou lambda-calcul ?
[^] # Re: Journal bookmark mais sujet intéressant
Posté par Serge Julien . Évalué à 3.
[^] # Re: Journal bookmark mais sujet intéressant
Posté par auve . Évalué à 10.
Si elles ont la même expressivité théorique, ces modèles ont quand même des usages différents en informatique scientifique : les machines de Turing sont un cadre commode pour parler de théorie de la complexité, parce qu'il est facile de quantifier le fonctionnement « mécanique » du calcul, avec une notion claire d'espace (la fameuse bande) et de temps (les déplacements de la tête de lecture/écriture), tandis que le lambda-calcul est plus abstrait et sert de fondement et de référence à toute la théorie des langages de programmation.
[^] # Re: Journal bookmark mais sujet intéressant
Posté par Serge Julien . Évalué à 1.
[^] # Commentaire supprimé
Posté par Anonyme . Évalué à 1.
Ce commentaire a été supprimé par l’équipe de modération.
[^] # Re: Journal bookmark mais sujet intéressant
Posté par 태 (site web personnel) . Évalué à 3.
C'est moi ou bien les vidéos en html5 ne marchent plus sur youtube ?
[^] # Re: Journal bookmark mais sujet intéressant
Posté par auve . Évalué à 10.
[^] # Re: Journal bookmark mais sujet intéressant
Posté par Serge Julien . Évalué à 3.
[^] # Re: Journal bookmark mais sujet intéressant
Posté par Ghis . Évalué à 10.
[^] # Re: Journal bookmark mais sujet intéressant
Posté par Gil Cot ✔ (site web personnel, Mastodon) . Évalué à -2.
qui dit bande dit ruban comme un ruban de mesure (peut importe que ce soit gradué en mètre ou pas) ou corde ou chaines (peut importe arpents ou décamètres)... on sait donc où ça commence (donc ton -Inf que tu ne sais pas introduire, tu le mappe à zéro) mais pas où/quand ça se termine, si tant est-il qu'une fin existe (quelqu'un me souffle que je suis entrain de parler de l'ensemble IN...)
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Journal bookmark mais sujet intéressant
Posté par Amine "nh2" Brikci-Nigassa (site web personnel) . Évalué à 3.
J'aimerais ben savoir comment tu peux faire ce mapping...
mais pas où/quand ça se termine
Si, on sait !... que ça NE se termine PAS...
GNU's Not Unix / LINUX Is Not Unix Xernel
[^] # Re: Journal bookmark mais sujet intéressant
Posté par 태 (site web personnel) . Évalué à 3.
Probablement parce que dans une machine de Turing, le ruban est bi-infini. Il est indexé par Z, non par N. La tête de lecture peut aller à droite et à gauche. Et on peut facilement faire des programmes qui vont manger le ruban infini des deux côtés.
Cela dit, pour introduire un ruban bi-infini dans la machine, il suffit de le couper, introduire un des bouts et rescotcher.
[^] # Re: Journal bookmark mais sujet intéressant
Posté par cosmocat . Évalué à 4.
[^] # Re: Journal bookmark mais sujet intéressant
Posté par vladislav askiparek . Évalué à 0.
Joyeuses Pâques!
[^] # Re: Journal bookmark mais sujet intéressant
Posté par Gil Cot ✔ (site web personnel, Mastodon) . Évalué à 1.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Journal bookmark mais sujet intéressant
Posté par 태 (site web personnel) . Évalué à 1.
> rien ne te dit d'ailleurs qu'Alan pensait plus à Z qu'à Q
Heuh, si ! Numéroter les cases d'un ruban avec l'ensemble des rationnels ce n'est pas ce qu'il y a de plus naturel. Et d'autre part, ses articles nous donnent une assez bonne idée de ce qu'il pensait.
[^] # Re: Journal bookmark mais sujet intéressant
Posté par Perthmâd (site web personnel) . Évalué à 4.
Ça a le même pouvoir expressif en termes de calculabilité. Une manière de voir ça c'est qu'un ruban bi-infini, tu peux choisir arbitrairement une case et le plier en deux à cet endroit : te voilà avec un ruban infini d'un seul côté.
Par contre, en termes de complexité temporelle, il me semble que tu récupère un petit overhead à cause de la transformation (ça doit être un facteur constant 2 à vue de nez).
# Concept de journal
Posté par Maclag . Évalué à 10.
Non aux journaux bookmark!
Comme ça je pourrais me faire ensuite un script qui mettra automatiquement en commentaire un lien vers mon journal dans chaque journal bookmark.
La suite?
Un simple journal de rappel avec un lien vers mon journal bookmark.
Quand la quantité de journaux bookmark dépasse une certaine limite, le bot réécrit un journal avec un lien vers le journal original, et en profite pour mettre un commentaire contre ce putain de journal bookmark!
Et voilà!
Le premier bot qui spamme linuxfr pour le bien de ses utilisateurs!
Si c'est pas de l'intelligence artificielle de premier ordre ça!
Je devrais faire un site pour parler de mon idée.
Comme ça je pourrai faire un journal avec juste un lien vers le site.
Dans la version 2.0, le bot apprendra à prendre la porte tout seul...
--------> [ ]
[^] # Re: Concept de journal
Posté par Elfir3 . Évalué à 6.
# Pas tout regardé, mais rigolo
Posté par lolop (site web personnel) . Évalué à 5.
Votez les 30 juin et 7 juillet, en connaissance de cause. http://www.pointal.net/VotesDeputesRN
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.