Voir le sujet précédentAller en basVoir le sujet suivant
avatar
Invité
Invité

Le théorème d’incomplétude de Gödel Empty Le théorème d’incomplétude de Gödel

par Invité Jeu 17 Jan - 10:45
C’est en cours de philo que j’en ai entendu parler pour la première fois ! Notre prof nous faisait un cours sur la logique et ses fondements, et c’est alors qu’elle le mentionna : le fameux théorème de Gödel, celui qui prouve que quoi qu’on fasse, il existe des énoncés mathématiques vrais, mais indémontrables. Les mathématiques resteront à tout jamais un édifice imparfait !

J’en fus évidemment tout retourné et fasciné : comment était-il possible qu’un truc pareil existe ? Comment prouver ce résultat pouvait même être du domaine de la science ?

La suite ici...
Kilmeny
Kilmeny
Empereur

Le théorème d’incomplétude de Gödel Empty Re: Le théorème d’incomplétude de Gödel

par Kilmeny Jeu 17 Jan - 11:26
Merci ! Very Happy

_________________
Un petit clic pour les animaux : http://www.clicanimaux.com/catalog/accueil.php?sites_id=1
Dhaiphi
Dhaiphi
Grand sage

Le théorème d’incomplétude de Gödel Empty Re: Le théorème d’incomplétude de Gödel

par Dhaiphi Jeu 17 Jan - 21:51
Kilmeny a écrit:Merci ! Very Happy
Merci !... pour la migraine. Very Happy
Je savais bien que je n'aurais pas dû lire l'article, cette propension à être attiré par des écrits qui dépassent mon entendement doit avoir une explication... psychanalitique peut-être. Le théorème d’incomplétude de Gödel 3795679266

_________________
De toutes les écoles que j’ai fréquentées, c’est l’école buissonnière qui m’a paru la meilleure.  
[Anatole France]
J'aime les regretteurs d'hier qui voudraient changer le sens des rivières et retrouver dans la lumière la beauté d'Ava Gardner.
[Alain Souchon]
Dedale
Dedale
Niveau 9

Le théorème d’incomplétude de Gödel Empty Re: Le théorème d’incomplétude de Gödel

par Dedale Jeu 17 Jan - 23:53
Un article fort intéressant! Merci Will.T.
JPhMM
JPhMM
Demi-dieu

Le théorème d’incomplétude de Gödel Empty Re: Le théorème d’incomplétude de Gödel

par JPhMM Ven 18 Jan - 7:25
Merci Will.

_________________
Labyrinthe où l'admiration des ignorants et des idiots qui prennent pour savoir profond tout ce qu'ils n'entendent pas, les a retenus, bon gré malgré qu'ils en eussent. — John Locke

Je crois que je ne crois en rien. Mais j'ai des doutes. — Jacques Goimard
lene75
lene75
Prophète

Le théorème d’incomplétude de Gödel Empty Re: Le théorème d’incomplétude de Gödel

par lene75 Ven 18 Jan - 12:34
Ah le bougre ! Il finit par l'avouer à moitié mais il joue sur le mot de vérité pour essayer d'embrouiller son monde et ce pauvre Dhaiphi Razz et finit par s'embrouiller lui-même, me semble-t-il. Je me demande s'il comprend lui-même qu'il emploie le mot "vérité" en deux sens différents.

_________________
Une classe, c'est comme une boîte de chocolats, on sait jamais sur quoi on va tomber...
Igniatius
Igniatius
Guide spirituel

Le théorème d’incomplétude de Gödel Empty Re: Le théorème d’incomplétude de Gödel

par Igniatius Ven 18 Jan - 15:51
Pour trouver un système d’axiomes qui colle avec ce modèle, il faut prendre le 5ème axiome d’Euclide dans sa forme familière (une seule parallèle à une droite passe par un point donné). Mais si vous changez de modèle, par exemple la géométrie riemannienne, il vous faut un autre système d’axiomes qui va bien, et que l’on peut obtenir en modifiant le 5ème axiome (aucune parallèle ne passe par un point donné).

Ce ne serait pas plutôt "Il existe une infinité de parallèles qui passent par un point donné" ?
En géométrie sphérique, c'est bien le cas, non ?

Article assez bien vulgarisé : moi aussi, Gödel m'a donné le tournis.
Les logiciens sont des dingues...

_________________
"Celui qui se perd dans sa passion est moins perdu que celui qui perd sa passion."
St Augustin

"God only knows what I'd be without you"
Brian Wilson
lene75
lene75
Prophète

Le théorème d’incomplétude de Gödel Empty Re: Le théorème d’incomplétude de Gödel

par lene75 Ven 18 Jan - 15:54
Igniatius a écrit:Ce ne serait pas plutôt "Il existe une infinité de parallèles qui passent par un point donné" ?

C'est pas Lobatchevski, ça ? Il parle de Riemann, là, mais personnellement je confonds toujours les deux.

_________________
Une classe, c'est comme une boîte de chocolats, on sait jamais sur quoi on va tomber...
Igniatius
Igniatius
Guide spirituel

Le théorème d’incomplétude de Gödel Empty Re: Le théorème d’incomplétude de Gödel

par Igniatius Ven 18 Jan - 16:03
Ben je doute, j'avoue.

Sur la sphère, en géométrie riemanienne donc, les parallèles sont les grands cercles.
Et donc, par un point donné, il passe une infinité de grands cercles.

Pour Lobatchevski, c'est l'inverse je crois.

Mais JP va nous résoudre tout ça !

_________________
"Celui qui se perd dans sa passion est moins perdu que celui qui perd sa passion."
St Augustin

"God only knows what I'd be without you"
Brian Wilson
Igniatius
Igniatius
Guide spirituel

Le théorème d’incomplétude de Gödel Empty Re: Le théorème d’incomplétude de Gödel

par Igniatius Ven 18 Jan - 16:10
JE viens de vérifier : il semble que tu aies raison et donc l'article aussi.

Cela me perturbe : j'ai tjrs pensé qu'ne géométrie sphérique, les parallèles possédaient deux points communs, mais il semble que ma définition soit mauvaise...

_________________
"Celui qui se perd dans sa passion est moins perdu que celui qui perd sa passion."
St Augustin

"God only knows what I'd be without you"
Brian Wilson
avatar
archeboc
Esprit éclairé

Le théorème d’incomplétude de Gödel Empty Re: Le théorème d’incomplétude de Gödel

par archeboc Ven 18 Jan - 16:17
Igniatius a écrit:Ce ne serait pas plutôt "Il existe une infinité de parallèles qui passent par un point donné" ?
En géométrie sphérique, c'est bien le cas, non ?

Ah, non, en géométrie sphérique, il n'y a pas de parallèles. L'équivalent sur la sphère de la droite euclidienne se nomme une géodésique, et il n'y a pas de géodésiques parallèles sur une sphère.

Allez voir les BD de Jean-Pierre Petit (cum grano salis).
http://www.savoir-sans-frontieres.com/JPP/telechargeables/Francais/LE%20GEOMETRICON.pdf

Igniatius
Igniatius
Guide spirituel

Le théorème d’incomplétude de Gödel Empty Re: Le théorème d’incomplétude de Gödel

par Igniatius Ven 18 Jan - 16:35
archeboc a écrit:
Igniatius a écrit:Ce ne serait pas plutôt "Il existe une infinité de parallèles qui passent par un point donné" ?
En géométrie sphérique, c'est bien le cas, non ?

Ah, non, en géométrie sphérique, il n'y a pas de parallèles. L'équivalent sur la sphère de la droite euclidienne se nomme une géodésique, et il n'y a pas de géodésiques parallèles sur une sphère.

Allez voir les BD de Jean-Pierre Petit (cum grano salis).
http://www.savoir-sans-frontieres.com/JPP/telechargeables/Francais/LE%20GEOMETRICON.pdf


Bah oui, ça je le sais bien : les géodésiques sont les courbes de plus petite distance entre deux points sur n'importe quelle surface.
Sur la sphère, ce sont les grands cercles.
Et du coup, je croyais qu'on appelait ceux-ci des "parallèles", par analogie avec les droites du plan.
Du coup, il faut que je revoie ma définition d'une parallèle, parce que cela fait des années que je crois des conneries !

_________________
"Celui qui se perd dans sa passion est moins perdu que celui qui perd sa passion."
St Augustin

"God only knows what I'd be without you"
Brian Wilson
Anaxagore
Anaxagore
Guide spirituel

Le théorème d’incomplétude de Gödel Empty Re: Le théorème d’incomplétude de Gödel

par Anaxagore Ven 18 Jan - 17:21
Igniatius, tu devais penser à la géométrie hyperbolique.

_________________
"De même que notre esprit devient plus fort grâce à la communication avec les esprits vigoureux et raisonnables, de même on ne peut pas dire combien il s'abâtardit par le commerce continuel et la fréquentation que nous avons des esprits bas et maladifs." Montaigne

"Woland fit un signe de la main, et Jérusalem s'éteignit."

"On déclame contre les passions sans songer que c'est à leur flambeau que la philosophie allume le sien." Sade
avatar
meskiangasher
Niveau 9

Le théorème d’incomplétude de Gödel Empty Re: Le théorème d’incomplétude de Gödel

par meskiangasher Ven 18 Jan - 18:40
lene75 a écrit:
Igniatius a écrit:Ce ne serait pas plutôt "Il existe une infinité de parallèles qui passent par un point donné" ?

C'est pas Lobatchevski, ça ? Il parle de Riemann, là, mais personnellement je confonds toujours les deux.
Pour Lobatchevsky, c'est deux parallèles.
Anaxagore
Anaxagore
Guide spirituel

Le théorème d’incomplétude de Gödel Empty Re: Le théorème d’incomplétude de Gödel

par Anaxagore Ven 18 Jan - 18:45
meskiangasher a écrit:
lene75 a écrit:
Igniatius a écrit:Ce ne serait pas plutôt "Il existe une infinité de parallèles qui passent par un point donné" ?

C'est pas Lobatchevski, ça ? Il parle de Riemann, là, mais personnellement je confonds toujours les deux.
Pour Lobatchevsky, c'est deux parallèles.

http://fr.wikipedia.org/wiki/G%C3%A9om%C3%A9trie_hyperbolique
avatar
Invité
Invité

Le théorème d’incomplétude de Gödel Empty Re: Le théorème d’incomplétude de Gödel

par Invité Ven 18 Jan - 18:50
Z'êtes pénibles les matheux Very Happy

J'avais compris l'article, mais maintenant j'ai mal au crane, en lisant vos remarques Razz
avatar
meskiangasher
Niveau 9

Le théorème d’incomplétude de Gödel Empty Re: Le théorème d’incomplétude de Gödel

par meskiangasher Ven 18 Jan - 19:37
Anaxagore a écrit:
meskiangasher a écrit:
lene75 a écrit:
Igniatius a écrit:Ce ne serait pas plutôt "Il existe une infinité de parallèles qui passent par un point donné" ?

C'est pas Lobatchevski, ça ? Il parle de Riemann, là, mais personnellement je confonds toujours les deux.
Pour Lobatchevsky, c'est deux parallèles.

http://fr.wikipedia.org/wiki/G%C3%A9om%C3%A9trie_hyperbolique
http://books.google.fr/books?id=8TQVAAAAQAAJ
Au départ, c'est bien au moins deux parallèles ?
Anaxagore
Anaxagore
Guide spirituel

Le théorème d’incomplétude de Gödel Empty Re: Le théorème d’incomplétude de Gödel

par Anaxagore Ven 18 Jan - 20:25
meskiangasher a écrit:
Anaxagore a écrit:
meskiangasher a écrit:
lene75 a écrit:
Igniatius a écrit:Ce ne serait pas plutôt "Il existe une infinité de parallèles qui passent par un point donné" ?

C'est pas Lobatchevski, ça ? Il parle de Riemann, là, mais personnellement je confonds toujours les deux.
Pour Lobatchevsky, c'est deux parallèles.

http://fr.wikipedia.org/wiki/G%C3%A9om%C3%A9trie_hyperbolique
http://books.google.fr/books?id=8TQVAAAAQAAJ
Au départ, c'est bien au moins deux parallèles ?

"Au départ", ok.

Il y a différentes manières d'aborder la géométrie hyperbolique.

Je pensais plutôt à Benedetti comme référence, mais je suis intéressé par la tienne aussi.


Dernière édition par Anaxagore le Ven 18 Jan - 20:29, édité 1 fois
verdurin
verdurin
Habitué du forum

Le théorème d’incomplétude de Gödel Empty Re: Le théorème d’incomplétude de Gödel

par verdurin Ven 18 Jan - 20:28
Il faut quand même dire une chose sur le théorème de Gödel : il ne dit pas que tout système d'axiomes est indécidable.

Et il est extrêmement facile de construire des système d'axiomes où toute proposition vraie est démontrable.
Pour faire dans le genre trivial, il suffit de prendre une théorie qui ne comporte qu'un nombre fini d'énoncés possibles.

Ce que dit le théorème de Gödel : toute théorie contenant l'arithmétique (en gros ZF, ou des variantes) comporte des énoncés vrais et indémontrables.

En ce sens, l'exemple des géométries non euclidiennes est particulièrement mal choisi : il suffit de rajouter un axiome pour obtenir un système décidable.
Enfin pas vraiment puisque la géométrie au sens courant suppose l'existence du corps des réels, donc l'arithmétique... Embarassed

Sinon j'aime bien le Paradoxe de Banach-Tarski
Mais ça vient du C de ZFC.

_________________
Contre la bêtise, les dieux eux mêmes luttent en vain.
Ni centidieux, ni centimètres.
JPhMM
JPhMM
Demi-dieu

Le théorème d’incomplétude de Gödel Empty Re: Le théorème d’incomplétude de Gödel

par JPhMM Ven 18 Jan - 20:40
Igniatius a écrit:mais il semble que ma définition soit mauvaise...
La définition de deux droites parallèles est celle des sixièmes et d'Euclide : deux droites sont parallèles si elles ont aucun point commun.

Évidemment, dans le cas de droites confondues, l'usage du pluriel relève d'un abus de langage, sinon on pourrait dire en géométrie euclidienne que par un point A passe une infinité de droites parallèles à une droite (d)... ces droites étant confondues entre elles. Deux droites confondues sont une droite. Une droite est-elle donc parallèle à elle-même ? Ça dépend des siècles. :lol:

_________________
Labyrinthe où l'admiration des ignorants et des idiots qui prennent pour savoir profond tout ce qu'ils n'entendent pas, les a retenus, bon gré malgré qu'ils en eussent. — John Locke

Je crois que je ne crois en rien. Mais j'ai des doutes. — Jacques Goimard
Voir le sujet précédentRevenir en hautVoir le sujet suivant
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum