Tu as zappé une partie du post de Sally :

Sally :
je disais que je ne vois pas pourquoi (ie il n'est pas prouvé que) dans certains cas tu serais *obligé* de faire une hypothèse (ie qu'il n'existe pas de méthode (connue ou inconnue) permettant de déterminer le résultat sans faire d'hypothèse)

Toi tu nous parles de théorèmes « considérés insolubles par la communauté des mathématiciens » et de techniques « inconnues même par les meilleurs joueurs de sudoku », ce qui ne veut en aucun cas dire qu'ils sont respectivement insolubles et inexistants, heureusement.

Tu renverses la charge de la preuve, sally dit qu'il n'est pas prouvé que des grilles insolubles sans backtracking existent, et ton contre-argument c'est en substance « prouve moi qu'elles n'existent pas ». C'est débile (s/grilles insolubles/Dieu si tu comprends pas pourquoi c'est débile)