ma thèse

Ce n'est pas drôle. Le plus vraisemblable, c'est quand même que ta dernière découverte est fausse.
C'est le bon moment, je crois, pour aller au cinéma se changer les idées.

Je suis curieux d'en savoir un peu plus. Cela me parait quand même gros. En général, on teste la véracité des théorèmes et des preuves sur des exemples et dans des cas particuliers. Et puis une thèse n'est en général pas bâtie sur un seul lemme.
Enfin quel est ton domaine?

Une preuve de maths n'est jamais "fausse". Si le résultat que tu croyais avoir prouvé est de la forme A=>B et que tu viens de te rendre compte que tu n'as pas justifié un lemme C, et bien ton résultat devient (A et C)=>B, c'est tout. Maintenant s'il est trivial que C=>tout parce que tu as trouvé un contre-exemple du style "x n'est pas pas bleu" alors que ton énoncé C dit "tous les x sont bleus", ce n'est pas si grave que ça, parce que dans les longues démonstrations, on affaiblit énormément l'évidence de départ*** et ce que tu peux faire, c'est éliminer une partie des coupures de ta preuve pour en extirper les arguments pertinents et regénéraliser un peu ce que tu as prouvé de façon à avoir (A et D)=>B, où il cesse d'être évident que D=>tout, voir même où tu as de bonnes chances de penser que D est démontrable, ce qui te permettrait de prouver à nouveau A=>B valablement.

Autre situation: tu n'as pas identifié l'erreur, mais tu t'aperçois que B=>tout est finalement évident. Dans ce cas si C est la conjonction des passages douteux de ta thèse, tu viens de prouver rigoureusement que (A et C)=>tout. ie que (nonA) ou (nonC) et jette un oeil neuf pour voir si ce n'est pas un bon résultat.

En résumé n'analyse pas que tes résultats, analyse ta preuve elle-même qui si elle t'a donné du mal dit quelque chose** qu'il te suffit d'identifier.

La seule situation où tu n'en tireras rien c'est si c'est une suite de calculs bruts sans intérêt. Mais de toute façon, une suite de calculs brutus, même si ça fait une thèse, ça fait pas une vie

** c'est un fait mal connu, mais plein de preuves de X=>X disent des choses passionnantes et dignes d'intérêt.

*** tout théorème de maths P est un cas particulier d'évidence, c'est à dire qu'il existe un énoncé EVIDENT E tel que E=>P est évident (et même plus qu'évident, ie est un simple passage de général au particulier).

C'est un (enfin il y a plein de variante) théorème de logique (et même le mot théorème est un peu survendant, c'est un exo de logique)

J'ai un peu le flemme de t'en prouver une version élaborée, mais si tu veux je peux t'en donner une version formelle grossière: voilà déjà un énoncé parfaitement précis (c'est pas le plus impressionnant mais il dit la même chose en substance):

Soit P un théorème de maths. Alors il existe $H_1,...,H_n$ tels que:

1) Tous les $H_i$
2) ainsi que $H_1$=>($H_2$=>($H_3$...P)......))

sont de l'une des formes suivantes:

*A=>(B=>A)
*(A=>B)=>((B=>X)=>(A=>X))
*A=>((A=>B)=>B)
*[A=>(A=>B)]=>(A=>B)
*A=>A
*tout=>A
*non(non(A))=>A (où nonX est l'abréviation de X=>tout)
*R(témoin)=>$\forall xR(x)$
*$\forall xR(x)$=>$R(toto)$

Euu, j'ai oublié de quantifier le "n", j'aurais dû écrire "...Alors il existe $n\in \N$, il existe $H_1,...,H_n$ tels que..."

J'avais compris le quantificateur cc.

fukushima très bonne idée les verres de pinard.
Si la base est fausse elle ne l'est peut-être pas dans tous les cas ; tu auras fait des progès dans les cas où ça marche. Et d'après ta nouvelle découverte tu auras démontré que ça ne marche pas tout le temps...que du progrès tout ça.
Ce n'est qu'un scénario optimiste parmi les scénarios possibles.

Ta situation n'apparaît effectivement guère enviable... soit c'est une fausse alerte et tout va bien, soit c'est vraiment un coup dur (c'est un peu le cauchemar parfait). Dans le deuxième cas, il y a quand même des côtés positifs : découvrir une faille importante passée inaperçue dans une série de travaux, ce n'est pas rien. Ca peut même se révéler incroyablement fructueux (cf. les erreurs de Poincaré). Par contre, tu aurais alors besoin de plus de temps que prévu pour reconstruire une thèse et là, ça devient un problème matériel de financement qu'il te faut résoudre très vite.

Surtout que maintenant, grace aux maths.net ton jury de thèse est au courant.
Et c'est fini, on veut plus en entendre parler. Surtout que moi ca m'arrange parce que j'avais le spectacle de ma fille le jour de la soutenance.

Sans plaisanteries douteuses, tu es parti d'une base B, et tu as montre ta que B impliquait ta thèse T. B faux n'entraine pas que ta preuve de B => T soit vide de sens, juste que ce n'est pas la plus courte (c) cc.
Mon conseil : finis de rediger ta these, soutiens, boit des coupes de champagne en plaisantant avec ton jury. Ensuite, reprends tout ca a tete reposée. Il y a trop d'enjeu direct pour toi pour que tu puisses raisonner normalement. Ou alors, et c'est un peu risqué, tu donnes le bébé à quelqu'un d'autre, et tu vois ce que lui, moins impliqué que toi montre. Si effectivement il prouve la vacuité de ton travail, c'est triste mais c'est comme cela que la science avance. Cela ne t'empêchera pas de soutenir ta thèse il y a les jurisprudences B^2 et T sur les theses vides de sens.
Dans tous les cas, je salue ton courage d'oser en parler et demander de l'aide publiquement,

Surtout que maintenant, grace aux maths.net ton jury de thèse est au courant.

Y'a quand même une espèce de paranoïa avec ça. Je crois que la majorité des mathématiciens que je connais (en France), jeunes ou âgés, ne connaissent pas même l'existence de ce site.

Steven Neutral écrivait:

---

> Surtout que maintenant, grace aux maths.net ton
> jury de thèse est au courant.
> Y'a quand même une espèce de paranoïa avec ça. Je
> crois que la majorité des mathématiciens que je
> connais (en France), jeunes ou âgés, ne
> connaissent pas même l'existence de ce site.


Promis la prochaine fois je met des grosses balises ATTENTION SARCASME.
Ton deuxieme prenom c'est Sheldon, non ?

Ouais sur ce coup peut-être qu'elle plaisantait, mais c'est un truc que j'avais déjà remarqué auparavant

quoi t'es un mec ?

H.S. du dimanche:
Lucas, doit-on en déduire que ton esprit n'est pas si tortueux ?
Pour info, mon avatar est issu d'un manga Yotsuba! où la petite fille ressemble fort à la mienne, pour preuve :

Mdr désolé mais j'ai parfois eu le sentiment que deufeufeu assaisonnait le forum avec de la morale féminine

Deufeufeu, j'espère que tu n'as pas mal pris ma dernière tirade. C'est vrai que j'ai jamais vraiment fait gaffe et je me laissais influencer par l'avatar, probablement.

Bonne nuit,

@ Steven Neutral. A propos de ton avatar et de tirade (ton message ci-dessus), je te propose: [size=x-small]Message Privé. Je suis sûr que certains sur ce forum se seraient empressé d'écrire: ... "une telle tête de Neu (tral) " ... ,mais mon bon goût légendaire a fait que je n'y ai même pas pensé.[/size]

Bien cordialement.

@ CdP> (je suppose que tu parles de mon message qui a été effacé)

Tu es quand même une commère, Christophe ! Si c'est effacé c'est, en particulier pour que les commères de ton genre ne puisse le colporter !

Bruno