L'énoncé est de niveau 2e-3e année d'études supérieures. La démo est plus compliquée, on l'admet.
Le niveau nécessaire pour se figurer ce que dit l'énoncé peut être très bas, même pour des choses très compliquées à démontrer.
Par exemple, le théorème qui dit que "tous les groupes finis simples sont dans la liste suivante (liste de 30 pages), à isomorphisme près"
contient comme notion la plus compliquée celle de sous-groupe normal. La démonstration est le regroupement de plusieurs démos contenant plusieurs milliers de pages. Et (pour le moment) contient des preuves par ordinateur, qui ne font pas l'unanimité.
Plus simple encore : le grand théorème de fermat (plus connu), qui a été très vite démontré comme chacun le sait (j'espère?) : 4 siècles. Son énoncé peut être présenté sans problème en lycée, et son contenu se limite au programme de 4e.
[^] # Re: Celle de Peter Pouik aussi
Posté par mickabouille . En réponse au journal La conjecture de Riemann prouvée ?. Évalué à 2.
Le niveau nécessaire pour se figurer ce que dit l'énoncé peut être très bas, même pour des choses très compliquées à démontrer.
Par exemple, le théorème qui dit que "tous les groupes finis simples sont dans la liste suivante (liste de 30 pages), à isomorphisme près"
contient comme notion la plus compliquée celle de sous-groupe normal. La démonstration est le regroupement de plusieurs démos contenant plusieurs milliers de pages. Et (pour le moment) contient des preuves par ordinateur, qui ne font pas l'unanimité.
Plus simple encore : le grand théorème de fermat (plus connu), qui a été très vite démontré comme chacun le sait (j'espère?) : 4 siècles. Son énoncé peut être présenté sans problème en lycée, et son contenu se limite au programme de 4e.