Kurt Gödel, l'homme qui a prouvé que rien ne peut se prouver

Proposé par
le
dans

Kurt Gödel était un mathématicien et logicien, aujourd'hui considéré comme un des plus importants de l'Histoire. Il est principalement connu pour un théorème étonnant : il a montré qu'en arithmétique, toute théorie contient des énoncés que l'on ne peut ni prouver ni contredire. Cette démonstration est connue sous le nom de théorème d'incomplétude.


Tous les commentaires (38)

Une explication plus littéraire de ce théorème serait que "les théorèmes sont des îlots de vérité dans un océan d'incertitude". Je cite un de mes profs de math qui citait peut-être lui-même quelqu'un d'autre.

Posté le

android

(14)

Répondre

a écrit : Bah pour les non-initiés: gödel a prouvé mathématiquement qu'on ne pourrait jamais rien prouver mathématiquement! CQFD. :) Donc il n'a rien prouvé vu qu'on ne peut rien prouver mathématiquement.



Posté le

website

(5)

Répondre

je suis en terminale S, et on a vu ça en philosophie

Posté le

website

(1)

Répondre

donc pour ce qui ne comprennent pas comme moi aller au lycée et les autres qui ne comprennent pas retournez y amicalement ;-)

Posté le

android

(0)

Répondre

a écrit : Cette démonstration par l'absurde est sur le même schéma que l' antique paradoxe du menteur. Justement, j'y pensais fancat... Paradoxe du menteur qui avait d'ailleurs coûté la vie d'un philosophe qui se triturait tant les méninges sur ce paradoxe qu'il mourut d'insomnies...

Posté le

android

(7)

Répondre

a écrit : Les théories qu'on ne peut pas prouver, on appelle cela des "principes", non? (ex: principe d'inertie) Des postulats

Toutes théories ne sont que conjectures..

a écrit : Bah pour les non-initiés: gödel a prouvé mathématiquement qu'on ne pourrait jamais rien prouver mathématiquement! CQFD. :) Si on peut rien prouver mathématiquement, alors pourquoi on se fait ch*er en contrôle à introduire des calculs dans nos solutions?

Posté le

android

(7)

Répondre

a écrit : Bah pour les non-initiés: gödel a prouvé mathématiquement qu'on ne pourrait jamais rien prouver mathématiquement! CQFD. :) Qu'un a demontré que sa démonstration était fausse ? :)

Posté le

windowsphone

(0)

Répondre

a écrit : Cette démonstration par l'absurde est sur le même schéma que l' antique paradoxe du menteur. Paradoxe du menteur ? Quel est-il ? :)

Posté le

windowsphone

(2)

Répondre

a écrit : Bah pour les non-initiés: gödel a prouvé mathématiquement qu'on ne pourrait jamais rien prouver mathématiquement! CQFD. :) J'avais lu également que: tout est relatif donc même la relativité est relative, si elle l'est c'est qu'il y a un absolu. Et par définition l'absolu n'est pas relatif...
A vos méninges!

a écrit : Paradoxe du menteur ? Quel est-il ? :) l'énoncé du paradoxe du menteur est : un menteur dit "je mens."

Posté le

android

(3)

Répondre

a écrit : J'avais lu également que: tout est relatif donc même la relativité est relative, si elle l'est c'est qu'il y a un absolu. Et par définition l'absolu n'est pas relatif...
A vos méninges!
la relativité est relative par rapport au référentiel.

Posté le

android

(1)

Répondre

a écrit : Bah pour les non-initiés: gödel a prouvé mathématiquement qu'on ne pourrait jamais rien prouver mathématiquement! CQFD. :) Finalement quand je disais à ma prof de maths du collège que les maths c'était nul et pas logique, je n'étais pas très loin de la vérité hihi !

Posté le

blackberry

(0)

Répondre

a écrit : @edofm : Non, pas toujours, on appelle ça aussi des axiomes lorsque ce sont des propriétés fondamentales.

Par exemple, les axiomes à la base de la géométrie euclidienne sont :
- Deux droites parallèles non confondues n'ont aucun point commun, et deux droites parallèles ayant un point commun sont
confondues.
- Il n'existe qu'une et une seule droite parallèle à une droite D passant par un point A n'appartenant pas à D.
- Il n'existe qu'une et une seule droite passant par deux points distincts.

Tous les théorèmes géométriques euclidiens peuvent être développés pour n'utiliser que ces trois propriétés... Même si cela peut devenir très vite totalement indigeste. Mais ces trois axiomes, qui semblent "de bon sens", ne peuvent être prouvés...

Si tu changes un de ces trois axiomes, tu construis alors une nouvelle géométrie (non-euclidienne) totalement différente, avec des propriétés qui n'ont plus rien à voir avec ce qui semble "naturel".
Afficher tout
Ce sont mes axiomes de la géométrie plane. Si on construit une géométrie sur une sphère, alors deux droites parallèles peuvent se couper, comme sur Terre par exemple où les fuseaux horaires sont parallèles sur une carte plane mais se coupent aux pôles sur un globe terrestre.

a écrit : Bah pour les non-initiés: gödel a prouvé mathématiquement qu'on ne pourrait jamais rien prouver mathématiquement! CQFD. :) C'est un brin plus complexe. On peut tout prouver mais pour cela il faut s'appuyer sur des concepts qui sont en dehors de la théorie que l'on concidère.

a écrit : C'est un brin plus complexe. On peut tout prouver mais pour cela il faut s'appuyer sur des concepts qui sont en dehors de la théorie que l'on concidère. Les fameuses connaissances analytiques a priori d’après la Critique de la raison pure de Kant ?