a- le compilo fait la preuve formelle d'un certain nombre de bonnes propriétés
b- l'emmeteur du code ne peux ni tricher, ni se tromper.
Moi je pense que ca relève de l'escroquerie intellectuelle pure et simple.
Ce n'est pas parce qu'un code répond à des contraintes formelles que tu peux en déduire que des gens sont fiables.
Les gens sont plus rusés que les programmes. ce n'est pas juste une opinion : ca a été prouvé depuis pas mal de temps dans le domaine de l'informatique théorique.
- données == programmes
- test de Turing
- théorèmes d'indécidabilité
- etc.
Donc de deux choses l'une:
Soit on est en train d'escroquer les gens en leur vendant une "fausse confiance" et ils s'en mordront les doigts.
Soit on travaille avec une machine qui n'est pas aussi puissante qu'une machine de Turing universelle et qui ne mérite plus le nom d'ordinateur, ni son prix. Un juke box ?
[^] # Re: Premier BIOS TCPA/Palladium
Posté par cornofulgur . En réponse à la dépêche Premier BIOS TCPA/Palladium. Évalué à 2.
b- l'emmeteur du code ne peux ni tricher, ni se tromper.
Moi je pense que ca relève de l'escroquerie intellectuelle pure et simple.
Ce n'est pas parce qu'un code répond à des contraintes formelles que tu peux en déduire que des gens sont fiables.
Les gens sont plus rusés que les programmes. ce n'est pas juste une opinion : ca a été prouvé depuis pas mal de temps dans le domaine de l'informatique théorique.
- données == programmes
- test de Turing
- théorèmes d'indécidabilité
- etc.
Donc de deux choses l'une:
Soit on est en train d'escroquer les gens en leur vendant une "fausse confiance" et ils s'en mordront les doigts.
Soit on travaille avec une machine qui n'est pas aussi puissante qu'une machine de Turing universelle et qui ne mérite plus le nom d'ordinateur, ni son prix. Un juke box ?