Discussion:Théorème du sandwich au jambon/LSV 22646

Archivage de la discussion

Cette page contient l'archivage de la discussion d'une proposition d'anecdote.

Un sandwich pour deux

25 septembre 2023 à 22:16:27 : il est maintenant possible de clore la proposition. En analysant 3 avis modélisés, le bot a estimé une décision d'acceptation, sous réserve d'un sourçage certifié (100%). Pour notifier les participants : {{Notif|SenseiAC|Bertrouf|Kertraon}}

Proposition validée. L’anecdote qui suit, proposée par SenseiAC le 2023-09-14 01:33:00, a été certifiée par Bertrouf au niveau d'un passage appuyé par une référence et validée par Loxyger. Elle va être déplacée sur la page de préparation des publications, pour être ensuite insérée automatiquement sur la page d’accueil :

• On sait depuis 1938 qu'on peut couper en deux quantités égales, d'un seul coup de couteau, le jambon, le fromage et le pain d'un sandwich.

La ou les anecdotes suivantes ont déjà été proposées et possèdent des similarités (surtout au niveau des termes utilisés). N'hésitez pas à supprimer ce bloc si les sujets sont vraiment différents.

Proposée par Tarap le 11 mai 2019, et publiée le 23 septembre 2019. [indice de similitude 5.4/10]:

• S’il est démontrable qu’il suffit que P soit démontrable pour être vraie, alors P est démontrable : c’est ce que dit le théorème de Löb en logique mathématique.

Temps d'exécution total : 1 sec (détails : travail du bot: 1 sec, lecture des anecdotes en base: 92 millisecondes)

Proposant : SenseiAC (discuter) 14 septembre 2023 à 01:33 (CEST)

Discussion :

• Oui ! _Bertrouf 14 septembre 2023 à 15:28 (CEST)
• Amusant et intéressant. Bien cordialement, Kertraon ^{Merci de me répondre sur ma page ou me notifier} 18 septembre 2023 à 10:26 (CEST)

 SenseiAC : la clôture de ta proposition sera traitée en principe le 26 septembre à 13h00. GhosterBot ^{(10100111001)} 25 septembre 2023 à 21:46 (CEST)

Discussion de l'anecdote archivée. --GhosterBot ^{(10100111001)} 26 septembre 2023 à 13:01 (CEST)

 SenseiAC : ton anecdote proposée le 2023-09-14 01:33:00 et acceptée le 2023-09-25 21:46:22 a été traitée par le bot. GhosterBot ^{(10100111001)} 26 septembre 2023 à 13:01 (CEST)