• [^] # Re: Turing-incomplétude

    Posté par (site web personnel, Mastodon) . En réponse à la dépêche UEFI Secure Boot et les tablettes/téléphones Windows 8 - conclusion ?. Évalué à 2.

    oui c'était plus une boutade qu'une réflexion sérieuse.

    Si la tablette w8 est une machine de Turing, on est sensé pourvoir y représenter toutes les fonctions calculables, Linux, par exemple, est une des ces fonctions. Dans la réalité, si le Linux n'est pas démarré à la place de w8, on peut l'exécuter tout de même dans la tablette, par exemple dans un navigateur de w8 avec jslinux, ou peut-être qu'on pourra y faire tourner un coLinux.

    Bref, oui c'est une machine Turing-complet, on peut représenter toutes les fonctions calculables, mais certaines fonctions calculables sont rendues volontairement difficiles à représenter. On va dire qu'elle est Turing-complète, mais de très mauvaise facture, voire defective by design.

    ce commentaire est sous licence cc by 4 et précédentes