L’informatique aide ou menace les maths ?

[pm42]

l'évolution des 40 dernières années ne sont pas comparable à l'évolution des 2500 ans avants
avec des algorithmes préinstallés sur des machines on réfléchira autrement

Oui, c'est aussi ce qu'on dit tous tes prédécesseurs.
Mais "des algorithmes préinstallés sur des machines", c'est déjà ce qu'il y a sur la tienne et on n'a pas remarqué de changement dans ta façon de réfléchir.
-----

[amineyasmine]

Oui, c'est aussi ce qu'on dit tous tes prédécesseurs.
Mais "des algorithmes préinstallés sur des machines", c'est déjà ce qu'il y a sur la tienne et on n'a pas remarqué de changement dans ta façon de réfléchir.

si, je raisonne autrement même étant un peu vieux
voir l'exemple

tu le comprendra si tu es mathématicien

[oxycryo]

Citation Envoyé par oxycryo Voir le message
les mathématique sont un formalisme "possible" parmi d'autres pour d'écrire les relations quantitative, l'informatique est son rejeton, mais il est fort possible que le formalisme de base finissent par disparaitre devant l'intrinsèque régularité logicienne des processeurs, et des langages informatique (si ce n'est dejà fait)... l'absoulue rigueur logique (brutasse dira-t-on) des machines devenant pour l'esprit mathématique sans doute la paillasse, ou le piano qui manquait à cette science fort éthérée (pour beaucoup)

delà que la forme informatique remplace le formalisme antique (parpier-crayon, craie tableau noir) par des moyens de preuve beaucoup plus droit (impavidement droit)... il me semble que cela ne pourrait-être qu'être porté au bénéfice de cette science - celui de sa propre réforme -

Really ?

https://youtu.be/5pa1AryylpM

démonstration amusante... mais

autres démonstration que lisez-vous ici ; si l'informatique ne fonctionne pas ; si les maths qui les sous-tendent sont (fausse/malprogrammée)
et in-fine wolframalpha peut-il être considéré comme une preuve (absolue)??

[Merlin95]

Heuu juste pour dire wolframalpha ne se trompe pas et donne le résultat correct (même si je n'ai pas compris pourquoi).

[stefjm]

https://fr.wikipedia.org/wiki/Racine_de_l%27unit%C3%A9

[Merlin95]

Non mais même sans ça, il donne un approximation numérique.

[stefjm]

Quand Alpha peut donner le résultat formellement, il le fait.
Quand il n'y a pas de solutions sous forme de radicaux, il donne une approximation numérique.
Comme un humain en quelque sorte...

[amineyasmine]

Bonjour
Je me pose la question pourquoi on ne s’intéresse à démontrer le théorème suivant :

.

J’ai vu une vidéo, dont je ne retrouve plus les traces, ou un mathématicien dans un laboratoire de mathématique travail sur le sujet et demande si quelqu’un à une piste ?

En utilisant l’informatique on voit que le théorème est évidement vrai. Le démonter mathématiquement ne donne aucun plus.

Est-ce que la paresse commence à s’installer ?

[invite7a0a8d2e]

En utilisant l’informatique on voit que le théorème est évidement vrai. Le démonter mathématiquement ne donne aucun plus.

Est-ce que la paresse commence à s’installer ?

Pour ce qui est de contrôler les éléments de notre monde matériel.
Les mathématiques ont supplanté la philosophie (bien qu'elles en sont issues, de l'ancienne philosophie, je m'entends...).
Peut-être que c'est maintenant au tour des mathématiques d'être supplantées par l'informatique ?

[amineyasmine]

Pour ce qui est de contrôler les éléments de notre monde matériel.
Les mathématiques ont supplanté la philosophie (bien qu'elles en sont issues, de l'ancienne philosophie, je m'entends...).
Peut-être que c'est maintenant au tour des mathématiques d'être supplantées par l'informatique ?

Waw, C’est ce que je n’aime pas croire.
Que peut-on faire pour éviter ça ?

[invite7a0a8d2e]

Que peut-on faire pour éviter ça ?

Dans l'hypothèse que ce soit le cas.
J'aurais dit qu'il faut éviter de donner à la réalité le dernier mot.
L'évidence ne doit pas devenir le moteur du choix conceptuel.
Comme le bon sens aurait pu de pas devenir le moteur du choix conceptuel (ça c'est trop tard, le bon sens mathématique a déjà supplanté l'imaginaire philosophique)

Pour donner un exemple concret.
Ce n'est pas parce que vous avez une suite u(n+1)=f(u(n)) avec u(1)=7 qui produit 1 milliard de fois le nombre 7 que u(10⁹ + 1) = 7

Là où l'informatique pourrait réellement faire des dégâts, ce sera quand (ou si pour certains mais bon) le qbit sera employé dans des démonstrations si complexes que le résultat pourra être considéré comme issu d'une "boite noire".

Retour à l'oracle si je puis dire.

[pm42]

Là où l'informatique pourrait réellement faire des dégâts, ce sera quand (ou si pour certains mais bon) le qbit sera employé dans des démonstrations si complexes que le résultat pourra être considéré comme issu d'une "boite noire".

C'est déjà le cas : la démonstration du théorème des 4 couleurs et d'autres sont faites par ordinateur et non vérifiables directement par un humain.
Utiliser des qbits ne changera rien.

Mais des démonstrations tellement énormes qu'on ne peut pas les vérifier, on en a aussi faites par des humains comme la classification des groupes finis : 15 000 pages, 500 articles, 100 auteurs.

[amineyasmine]

bonjour
L’élément clé entre mathématique est informatique est l’algorithme.

Tant que les algorithmes restent des éléments purement mathématiques, que l’informaticien ne sait par écrire s’il n’est pas mathématicien, il n’y a aucun souci pour les maths.

Mais quand l’informatique se mêle des algorithmes et développe des théories purement informatiques sur cet élément clé, le doute s’installe légitimement

[Merlin95]

Quand Alpha peut donner le résultat formellement, il le fait.
Quand il n'y a pas de solutions sous forme de radicaux, il donne une approximation numérique.
Comme un humain en quelque sorte...

C'est plutôt ce résultat dont je parle :20210220_002457.jpg
Ou celle là :
20210220_002327.jpg

Et effectivement wolframalpha les donnes bien.

[stefjm]

C'est plutôt ce résultat dont je parle :
Ou celle là :


Et effectivement wolframalpha les donnes bien.

Oui et alors?
Alpha donne différentes formes plus ou moins pertinentes selon l'usage qu'on veut en faire.

[Merlin95]

Ben rien ça montre juste qu'il fait du calcul formel (sans faire d'approximation donc) pour donner le résultat sous forme habituelle notamment celle d un nombre comple avec sa partie imaginaire et réelle ou sous la forme trigonométrique.