Tu devrais être content que ce soit fini alors non ?

Que cache le pays des Dieux ? -
Forum Ghibli -
Forum LittéraireLa fin d'un monde souillé est venue. L'oiseau blanc plane dans le ciel annonçant le début d'une longue ère de purification. Détachons-nous à jamais de notre vie dans ce monde de souffrance. Ô toi l'oiseau blanc, l'être vêtu de bleu, guide nous vers ce monde de pureté. - Sutra originel dork.
Ah oui si seulement ils pouvaient nous lâcher avec elle maintenant
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou
et c'est une nouvelle preuve fausse ou cette fois c'est la bonne ?
« The biggest civil liberty of all is not to be killed by a terrorist. » (Geoff Hoon, ministre des transports anglais)
En survolant le papier : les concepts n'ont pas l'air excessivement compliqués (un peu étonnant). Ca a l'apparence de la rigueur mais ya de gros calculs où peuvent facilement se cacher des erreurs.
Sur le web : ce xian ji li a l'air d'un théoricien des nombres correct. Par contre son université n'en est pas à la première tentative de preuve fausse de l'HR ; l'auteur est un étudiant de de Branges, qui a écrit en son temps une preuve fausse.
Bref en survolant ça fait sérieux mais faux. A voir...
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou
ça m'épate ce genre de truc.
comment on sait que c'est prouvable?
genre, on est sur que qn trouvera la solution un jour?
l'idée c'est que tout est prouvable même si on a pas encore trouvé comment, je suppose?
Ah on sait pas que c'est prouvable, c'est peut être indémontrable. Mais bon ça paraît peu probable.
>> l'idée c'est que tout est prouvable même si on a pas encore trouvé comment, je suppose?
Nan depuis Gödel on sait qu'il existe des propositions vraies et indémontrables.
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou
Sally Le 03/07/2008 à 10:38 (il se peut que + subjonctif)

« Le bonheur, c'est une carte de bibliothèque ! » —
The gostak distims the doshes.Membrane fondatrice de la confrérie des
artistes flous.
L'univers est-il un
dodécaèdre de Poincaré ?
(``
·\ powaaaaaaaaa ! #love#
Une proposition universelle indémontrable est forcément vraie.
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou
Sally Le 03/07/2008 à 15:19 c'est quoi une proposition universelle ? un truc qui commence par quel que soit ?

« Le bonheur, c'est une carte de bibliothèque ! » —
The gostak distims the doshes.Membrane fondatrice de la confrérie des
artistes flous.
L'univers est-il un
dodécaèdre de Poincaré ?
(``
·\ powaaaaaaaaa ! #love#
Une proposition qui commence par "quelque soit".
Si elle (ainsi que sa négation...) est indémontrable, alors il ne peut pas y avoir de contre exemple à cette proposition... donc elle est vraie.
Et comme elle est indémontrable, on ne pourra jamais montrer qu'elle est indémontrable, sinon du coup ça démontrerait la proposition elle même...
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou