Ethaniel :

Jamais je n'ai voulu parler du premier cas, d'autant plus que parler de l'existence de ce genre de chose (grille nécessitant intrinsèquement du backtracking (GNIB), Dieu, licorne invisible et immatérielle, cygne noir de Popper, toussah ) est vérifiable mais non réfutable, donc c'est non scientifique.
Et encore, vérifiable, même pas vraiment, puisque ça supposerait d'être sûr que l'on dispose de l'intégralité des techniques possibles, ce qui est loin d'être le cas .

Ben pourquoi serait-ce invérifiable et irréfutable ? Ça l'est peut-être en l'état actuel de nos connaissances, mais rien ne dit que ça le sera toujours ...