amiaplacidus

Effectivement deux hyper incompétents, avec l’avantage, je j’ose dire, que le second, pour autant que l’on en sache, ne pique pas dans la caisse, il est nul, ne respecte pas ses promesses électorales, mais, à sa manière, il est honnête.

Je voudrais rappeler ici une petite vidéo qui avait fait plier de rire l’Allemagne tout entière en son temps :
http://europe.blogintelligence.fr/2013/04/04/video-qui-fait-le-buzz-en-allemagne-sarkozy-en-valet-de-merkel/

RomDich, c’est bien de citer vos sources, en début de lecture de votre texte, j’avais crains que vous ne vous pariez des plumes du paon, ce n’est pas le cas, et, sans aucune ironie, vous gagnez nettement dans mon estime.
.
.
Une remarque, les h-fonctions, sont surtout utilisées, beaucoup plus que pour calculer des empreintes, dans les bases de données pour implémenter les accès par mot-clé. À partir du mot-clé, on calcule une adresse par h-fonction (en général le reste d’une division par un nombre premier, cardinal de l’espace d’adressage, mais si l’on connait la distribution des mots-clés, on peut utiliser des algorithmes statistiques), si cette adresse est déjà attribuée (d’où le nom de collision), on passe algorithmiquement à une adresse suivante (en général déplacement quadratique), et, si nouvelle collision on itère.

Au surplus, la suite de cette remarque nous entrainerait beaucoup plus loin d’Agoravox et de cette discussion.
À mon tour de vous proposer, mais en MP, de plus amples explications. Les bases de données sont mon domaine de recherche.

RomDuch,
Vous seriez gentil de bien vouloir expliquer ce que le hashage fait avec les bitcoins, et, tant qu’on y est, pourquoi ne pas expliquer ce que vous voulez dire par « hashage », parce que j’ai le très vif sentiment que ce n’est pas ce que le commun des informaticiens pensent.

Macaque vous dites « ...mais on peut prouver qu’un algorithme respecte certaines propriétés.. ».

Nous sommes bien d’accord, mais on ne peut pas prouver qu’il respecte toutes et, surtout, QUE les propriétés souhaitées.

Et c’est cela une preuve formelle.

Philipe, vous en connaissez des algorithmes qui garantissent quelques choses ?

Moi aucun, et pourtant, j’ai longtemps enseigné l’algorithmique dans une école d’ingénieur.

Le seule chose que l’on peut dire c’est : « je n’ai pas trouvé de contre-exemple ». Et c’est déjà beaucoup que l’on arrive à le dire.

Si vous avez, ne serait-ce qu’une seule fois la capacité de faire une preuve formelle à propos d’un algorithme, je pense que vous êtes un candidats sérieux à la médaille Fields, mais je pense que, s’agissant de math appliquées, cela ne compte pas.