J'ai passé des semaines à réfléchir sur un problème, à élaborer une stratégie de démonstration, à commencer à la rédiger, à me rendre compte d'erreurs, à les corriger, à trouver des erreurs dans ma façon de corriger les erreurs, à contourner ces erreurs, à croire que je touchais au but, pour finalement m'apercevoir aujourd'hui que (1) le résultat principal sur lequel je comptais appuyer toute ma démonstration est faux (je m'étais trompé en croyant me souvenir d'un théorème censément bien connu) et (2) de toute façon, le problème sur lequel je réfléchissais admet une réponse en deux lignes complètement évidente (i.e., le problème lui-même est sans intérêt). Je ne sais pas ce qui est le plus frustrant, entre (1) et (2), d'ailleurs.
Je me retrouve avec sur les bras un lemme technique qui m'a coûté très cher et qui a l'air de ne pouvoir servir dans aucun autre contexte que celui qui s'avère sans objet.
Quelqu'un a une corde, pour que je puisse me pendre ?