Première supposition fausse en mathématiques

[invite255b7557]

Bonjour a tous

Voila c'est une théorie que quelqu'un (!!)a dit a ma tante qui a un DESS de psychologue pendant ses études vers 1970 donc.
Il paraitrait que la premiere supposition sur laquelle sont basées les mathématiques est fausse

Je vous excuse si vous restez sceptiques.
Cela leur aurait était dit (aux premieres années)pour les deculpabiliser par rapport aux sciences exactes, histoires qu'ils ne s'en veulent pas de gagner de l'argent eux aussi lol ...

Etant moi meme en 2eme année de Licence Math-Info je n'ai jamais rien étudié pour l'instant qui pourrait ressembler a une supposition primitive et generatrice de toutes les maths !!

Je pense donc que cette malencontreuse phrase est surtout une vaste betise destinée à démotiver des etudiants parfois deja demotivés ou alors a pourrir une science par rapport a un autre domaine. C'est un peu comme les gens qui opposent la religion et la cosmologie (autre debat) et connaissant ma tante qui a tendance a toujours affirmer des trucs sans les avoir verifiés avant je me mefie ...

Mais voila je n'arrive pas a lui faire entendre raison qui me rabbache ca a chaque coup de fils.

Qu'en pensez vous ??

[invité576543]

Bonjour,

Si on cherche vraiment ce sur quoi sont "basées" les mathématiques, on ne trouvera rien auquel on puisse attribuer l'adjectif "faux", et rien auquel on puisse attribuer l'adjectif "vrai".

Et associer sciences exactes avec "vrai" est un contre-sens...

Cordialement,

[invite88ef51f0]

Salut,
J'aurais tendance à être d'accord avec toi.

De toute façon, on ne peut pas dire qu'un postulat est faux, car par définition d'un postulat il est vrai.
Le mieux qu'on puisse demande à des postulats et à un cadre particulier des mathématiques, c'est d'être cohérent (dans le sens que tu peux pas montrer une chose et son contraire).

Par contre, l'affirmation de ta tante est peut-être une version très déformée du théorème d'incomplétude de Gödel qui montre en gros que dans tout cadre mathématique cohérent il y a toujours des propositions qu'on ne peut ni démontrer ni infirmer.

Bon, je pense que les matheux t'en parleront mieux que moi.

[invite3bc71fae]

Les sciences exactes sont les seules à avoir mis en doute l'évidence.
Les axiomes sur lesquels se fondent les mathématiques ne sont pas démontrables, tout simplement parce qu'il faudrait un substrat pour les démontrer et que les mathématiques modernes sont partis de rien...
En gros, il y a des choses comme "Par deux points, il passe une et une seule droite" qui sont déclarées vraies et fondatrices d'une théorie mathématique (ici la géométrie euclidienne). Ce sont pour certaines des évidences dues à notre perception du monde physique. Si cette perception est fausse, les mathématiques ne permettent pas de décrire le monde physique, mais dans leur structure interne, les mathématiques sont nécessairement cohérentes.
Le mathématicien a conscience de travailler à partir d'une base de propositions invérifiables.
Malgré tous leurs rêves, les philosophes sont empétrés avec le langage humain dont ils ne peuvent s'abstraire et la structure de leurs théories sont bien moins consistantes que celle des mathématiciens qui ont au moins essayé d'adapté leur langage à l'objet étudié.

[A voir en vidéo sur Futura]

[jiherve]

Bonjour
Ce serait y pas du Gödel mal assimilé ?
JR

[invite255b7557]

voila j'ai plus d'informations (merci le telephone) :
en comparant la psychanalyse et les sciences exactes comme les mathematiques on pourrait se dire que les sciences humaines sont indemontrables et ce professeur agrégé de mathématiques reconverti vers la psycho en fait qui leur avait dit ca ne voulaient pas que ses eleves se sentent devalorisés par rapport aux autres.
c'etait plutot indemontrable que faux quelle entendait
merci pour vos reponses ...

[moijdikssékool]

si en partant de postulats tu arrives à des contradictions, tu as démontré que tes postulats sont faux, que ce sont des hypothèses absurdes. Tout est ensuite dans l'art d'interpréter des contradictions, des paradoxes: si tu juges que ta théorie peut accepter des paradoxes, les hypothèses de départ restent vraies... jusqu'à ce que tu en trouves de meilleures
on peut aussi obtenir des résultats 'vrais' qui vérifient des postulats 'vrais' mais qui sont en fait faux
On peut même imaginer que des résultats, des faits réels ne peuvent être obtenus qu'à l'aide d'hypothèses absurdes (car alors un résultat absurde n'est pas si absurde que cela s'il vérifie des hypothèses absurdes)

[invité576543]

si en partant de postulats tu arrives à des contradictions, tu as démontré que tes postulats sont faux, que ce sont des hypothèses absurdes.

Pas "faux" ni "absurdes", juste contradictoires et donc sans utilité, puisque toute assertion ou son contraire peut alors être démontrée.

Tout est ensuite dans l'art d'interpréter des contradictions, des paradoxes: si tu juges que ta théorie peut accepter des paradoxes, les hypothèses de départ restent vraies... jusqu'à ce que tu en trouves de meilleures

En maths, si une liste d'axiomes est contradictoire, on l'abandonne. Point.

Cordialement,

[invited494020f]

Bonjour,

L'affirmation de la tante méconnaît l'essence même des maths.

Celles-ci sont une construction ex nihilo de l'esprit humain, qui avait besoin d'un outil qui lui permette de comprendre le monde qui l'entoure et, si possible, connaissant ce qui est, deviner ce qui se passera dans l'avenir.

Peu importe si un outil est "vrai" ou "faux", du moment qu'il permet de faire un travail convenable. C'est, je crois, le cas des maths.

Prévisionniste : "C'est celui qui nous expliquera demain pourquoi ce qu'il a prévu hier n'est pas arrivé aujourd'hui."(Souffleux)
Amicalement paulb.

[moijdikssékool]

En maths, si une liste d'axiomes est contradictoire, on l'abandonne. Point.

s'ils sont trivialement contradictoires oui, mais si au cours d'une très longue démonstration (comme la physique et certaines observations incompréhensibles) on arrive à des résultats peu convaincant, on peut commencer à se douter des hypothèses faites (un article sur Futura exposait l'exemple de ce chercheur qui centralisait toutes les données actuelles pour chercher un déséquilibre entre 2 'trucs' -je ne sais plus lesquels- que nous supposons symétriques; ce chercheur suppose que des hypothèses très basiques sont fausses)

[invité576543]

s'ils sont trivialement contradictoires oui, mais si au cours d'une très longue démonstration (comme la physique et certaines observations incompréhensibles) on arrive à des résultats peu convaincant, on peut commencer à se douter des hypothèses faites

Je ne te suis pas. Tu parles de maths ou d'application des maths (comme la physique)?

Dans le cas des maths, il n'y a pas de zone floue, "peu convaincante", soit une contradiction est montrée, soit elle ne l'est pas.

Cordialement,

[invitec00162a9]

Les maths ne se comportent pas comme la physique certes. Il n'empêchent qu'elles ont leurs zones floues, mais c'est des zones floues nettes si on veut.

Il faut toujours se placer dans le cadre d'une théorie, par exemple l'arithmétique de Peano, ou bien la théorie des ensembles, avec ou sans axiome du choix, etc.
On a plusieurs types d'énoncés :
1) les énoncés démontrables dans le cadre de la théorie considérée, ce sont les énoncés usuels.

2) les énoncés indémontrables, ils sont d'office vrais sinon la théorie serait contradictoire.

3) les énoncés indécidables, dont on ne peut pas prouver la véracité ou la fausseté dans le cadre de cette théorie.

[invite9c9b9968]

Et en quoi c'est flou ? On a prouvé au sein de l'axiomatique que tel énoncé est indécidable, cela ne signifie pas que l'axiomatique est non-cohérente.


Ce que disait mmy, c'est que si au sein d'une axiomatique tu arrives à une contradiction fondamentale avec l'un des axiomes de base, tu abandonnes l'axiomatique.

[invité576543]

2) les énoncés indémontrables, ils sont d'office vrais sinon la théorie serait contradictoire.

3) les énoncés indécidables, dont on ne peut pas prouver la véracité ou la fausseté dans le cadre de cette théorie.

Vu que tu proposes "vrai" pour les indémontrables, ça ne veut pas dire "dont l'inverse est démontrable"!

Quelle différence fais-tu alors entre "indécidable" et "indémontrable"?

Précisons que, à mon sens (mais c'est un choix sémantique), un axiome est démontrable. Démontrable veut dire dans ce cas "dérivable par les règles de dérivations" des axiomes. Or un axiome est trivialement dérivable d'un axiome!

(Considérer un axiome démontrable permet de ne pas changer la liste de ce qui est démontrable en passant d'un jeu d'axiomes à un autre jeu d'axiomes équivalent.)

Et au passage, la liste de ce qui est postulé dans une axiomatique ne se limite pas aux axiomes, mais comprend aussi toutes les règles de production, ce qui est mis en oeuvre sous le vocable "démontrer"... D'une certaine manière, un axiome est une règle de production particulière.

Il n'empêchent qu'elles ont leurs zones floues, mais c'est des zones floues nettes si on veut.

Et c'est quoi une zone floue des maths? Indécidable, certainement pas: ce n'est pas flou du tout, c'est aussi clair que "démontrée"!

Reste les assertions non encore classées, ni démontrées, ni dont l'inverse est démontrée, ni dont l'indécidabilité est démontrée. Le domaine de la recherche, quoi. C'est cela ton "flou"?

Cordialement,

[moijdikssékool]

Je ne te suis pas. Tu parles de maths ou d'application des maths (comme la physique)?

la physique s'appuie sur les maths. Si une application donne des résultats faux, on pourrait aller jusqu'à penser que certains outils mathématiques sont faux

Et c'est quoi une zone floue des maths?

l'ensemble de tous les ensembles n'est pas un ensemble. N'est-ce pas là un peu flou?

[invitec00162a9]

La différence est bien celle que j'ai donnée :
* un énoncé indémontrable est un énoncé qu'on ne peut pas déduire des axiomes de la théorie. Un tel énoncé est pourtant vrai, car sinon, la théorie serait contradictoire. C'est en fait une conséquence du théorème d'incomplétude de Gödel.

* un énoncé indécidable est un énoncé qui n'est pas démontrable, et sa négation non plus. On peut l'ajouter ou le retrancher à la liste des axiomes de base sans rendre la théorie contradictoire, c'est par exemple l'hypothèse du continu.

Il faut bien voir que vrai et démontrable, ce n'est pas la même chose en mathématique