PpHd> Hippo n'a pas été très clair sur ce point, mais cf
./4 : il n'y a aucune communication possible entre les gens le 2è jour, ils peuvent juste savoir la couleur de chaque chapeau (et reconnaître à qui il appartient, bien sûr)
<pour les matheux>
bref formellement il s'agit simplement de prouver qu'il existe une fonction F des parties de I dans les parties finies de I telle que pour tout X et pour tout i, i appartient à F(X u {i}) ssi i n'appartient pas à F(X \ {i})
et en fait c'est pas si difficile que ça à construire si on peut bien ordonner les parties de I : on énumère toutes les parties de I dans n'importe quel ordre, ça nous donne une suite (Ak) indexée par des ordinaux, et on pose F(X) = Ak^X où k est le plus petit k vérifiant Ak^X finie (^ dénote la différence symétrique)
</pour les matheux>pour les non-matheux : en gros pendant la réunion du 1er jour on imagine une série de situations qui couvre absolument tout ce que les G.O. pourraient imaginer (n°1 : "tout le monde a un chapeau bleu", n°2 : "tout le monde a un chapeau rouge", n°3 : "tout le monde a un chapeau rouge sauf les gens dont le nom commence par un P", n°4 : "une personne sur deux a un chapeau rouge", etc)
ensuite le 2è jour je comparerai les chapeaux que je verrai avec la situation n°1 ; si c'est "quasiment" ça, i.e. qu'il n'y a qu'un nombre fini de différences entre les chapeaux que je vois et les chapeaux décrits dans la situation n°1, alors je fais comme si j'étais dans la situation n°1, et donc je donne la couleur du chapeau que j'aurais si c'était vraiment la situation n°1 ; sinon je continue avec la situation n°2, et ainsi de suite

pourquoi est-ce que ça marche ? ce qui est important, c'est que tout le monde choisira la même situation : si moi je vois un nb fini de différences avec la situation n°14, alors mon voisin en verra peut-être une de plus ou une de moins, mais toujours un nb fini ; inversement si je vois un nb infini de différences, lui aussi... à partir de là tout le monde part de la même situation, et seul un nb fini de gens vont se tromper pour deviner la couleur de leur chapeau : ceux que je vois avec un chapeau différent de la situation choisie (mais ils sont en nb fini), plus éventuellement moi si mon chapeau ne correspond pas à la situation choisie (mais je suis en nb fini aussi

)
donc tout le monde s'en sort vivant \o/

[*]
[*] : mais bon, dans la Vraie Vie (tm) il y a forcément une proportion non nulle de gens qui suivront mal les instructions (ne serait-ce qu'à cause des rayons cosmiques

) donc il y aura une infinité de gens qui se trompent
