A des échelles beaucoup plus petites, je me retrouve souvent à tenter d'expliquer (sans grand succès) qu'un jeu tel que le <url> (avec ses quelques 10^700 parties raisonnables possibles) ne sera jamais résolu "exactement", parce que tout nombre largement supérieur à un gogol (10^100) n'a pas vraiment grande signification physique... En fin de compte, donc, ce que je trouve "grotesque" (avec plein de guillemets), c'est les gens qui, dans des cas de ce genre,  dissertent savamment sur le nombre probable de machines de Turing pertinentes (2^1000?