David Madore's WebLog: Les maths, c'est trop zinjuste

Index of all entries / Index de toutes les entréesXML (RSS 1.0) • Recent comments / Commentaires récents

Entry #1388 [older|newer] / Entrée #1388 [précédente|suivante]:

(mercredi)

Les maths, c'est trop zinjuste

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 ?

↑Entry #1388 [older|newer] / ↑Entrée #1388 [précédente|suivante]

Recent entries / Entrées récentesIndex of all entries / Index de toutes les entrées