Le Forum de l'Alliance Francophone

Boinc et les projets distribués => Mathématiques => Discussion démarrée par: popolito le 29 August 2009 à 13:22

Titre: [Débat] La démonstration de conjectures...
Posté par: popolito le 29 August 2009 à 13:22
Salut,

J'lance un petit débat trollesque parce que bon, ça manquait un peu, pis sur un sujet qui me tient presque à coeur : les maths.

Alors voilà, sur BOINC, on remarque qu'il y a pas mal de projets sur les maths ce qui est très bien.
On remarque aussi qu'il y a pas mal de personnes qui considèrent SETI comme un projet inutile car chercher des petits hommes verts, ça ne sert à rien.
Cependant, la plupart des projets mathématiques cherchent à soit-disant démontrer une conjecture en vérifiant que celle-ci est vraie avec des valeurs allant jusqu'à 10^18 ou je ne sais trop quoi.

Suis-je le seul à trouver ça choquant et tout simplement inutile ? Car il y aurait une démarche vraiment mathématiques, consistant par exemple à développer différents algorithmes pour vérifier le conjecture ce qui pourrait peut-être aider dans la démonstration ou la voie à prendre pour la démonstration, ok, mais chercher bêtemenent toutes les valeurs, c'est tout ce qu'il y a de plus anti-mathématiques (et ça ne démontre rien).
Je ne sais pas, mais je m'imagine mal arriver devant mon prof' de maths qui est agrégé de maths (et je crois docteur), qui tente de nous inculquer une rigueur mathématique et lui dire : ben cette formule je l'ai démontrée en vérifiant pour les 1000 premières valeurs !!

Voilà, à vos claviers, à vos trolls, et presque vive les maths.

ps : j'ai mis ce topic dans la catégorie maths mais je ne suis pas forcément sûr que ce soit la meilleur place.
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: RLDF le 29 August 2009 à 14:11
puisque c'est trollesque allons-y gaiement :
ces projets mathématiques sont inutiles pour le futur de la planète et la sauvegarde des espèces terrestres
A moins de me démontrer le contraire, boycottons ces projets !
vive le progrès  :siflotte:
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: popolito le 29 August 2009 à 14:54
Nan mais faut troller d'une manière intelligente. Je ne dis pas que les maths ne servent à rien, mais que ce genre de projets servant soit-disant à démontrer une conjecture ne sont que de la masturbation de coléoptères en vol. Ca ne démontre rien du tout.
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: la frite le 29 August 2009 à 15:13
D'ac avec toi :) c'est même plutot de la masturbation d'ordinateurs tout simplement! d'ailleurs extrait du petit larousse:

Démonstration: raisonnement établissant la vérité d'une proposition à partir des axiomes que l'on a posés.

Où est le raisonnement dans ces projets??
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: RLDF le 29 August 2009 à 16:12
ce que je voulais dire, c'est que nous attachons nos ordinateurs sur des projets pour 2 raisons :
a) faire avancer la science
b) faire des points

je sous-entend que ces projets ne font pas avancer la science dans le bon sens

si on crunche seulement pour les points, ça ne sert à rien
autant créer notre propre projet boinc avec un bout de programme qui donne plus de points à l'AF qu'aux autres équipes  :cpopossib:
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: luger11 le 29 August 2009 à 16:48
on connait les nombres premiers depuis l'antiquité mais on ne savait pas à quoi cela pouvait servir. Aujourd'hui vous les utilisez pratiquement tous les jours avec votre carte bancaire.
alors peut être que ces calculs ne serviront a rien dans un proche avenir mais serviront beaucoup plus tard :D :D
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: popolito le 29 August 2009 à 20:17
Ouais, enfin là, on en fait des quantités énormes sans savoir pourquoi, pour le fun, pour travailler sur une conjecture mais sans aucun but réel.
Titre: Re : Re : [Débat] La démonstration de conjectures...
Posté par: JeromeC le 02 September 2009 à 17:18
autant créer notre propre projet boinc avec un bout de programme qui donne plus de points à l'AF qu'aux autres équipes  :cpopossib:
En voila une idée qu'elle est bonne !! :D

Enfin bon, on commencerait alors à ressembler un tout petit peu à susanne...  :o
Titre: Re : Re : Re : [Débat] La démonstration de conjectures...
Posté par: RLDF le 02 September 2009 à 23:41
Enfin bon, on commencerait alors à ressembler un tout petit peu à susanne...  :o
je vois les fanatiques des crédits au fond de l'AF qui s'agitent pour le FB ou le général  :bounce: :grmblbl: :gun: :yahoo: :vientbat: :jm@rc: :banana: :winner2: :adonf:
ça me rappelle jusqu'où certains ont poussé la réflexion lors de la bataille sur proteins ...
Titre: Re : Re : [Débat] La démonstration de conjectures...
Posté par: Ramichou le 03 September 2009 à 12:19
on connait les nombres premiers depuis l'antiquité mais on ne savait pas à quoi cela pouvait servir. Aujourd'hui vous les utilisez pratiquement tous les jours avec votre carte bancaire.
alors peut être que ces calculs ne serviront a rien dans un proche avenir mais serviront beaucoup plus tard :D :D

Le jour ou il y en aura besoin tu demandera a ton ordinateur quantique qui tient dans la taille de ton ipod actuel, et il te calculera en 10s tout ce que nos PC actuels se triturent à calculer avec des années et des années de temps processeur :)

Donc bref, autant cruncher sur des trucs vraiment utiles qui donnent des espoirs incroyables dans le futur proche pour l'humanité entière comme la recherche d'ondes gravitationnelle. :coffeetime:

Enfin, rechercher des ET sur les ondes radio, je ne suis absolument pas fan du tout. Mais il est vrai que Seti a fait beaucoup pour le calcul distribué.

(notez le double troll de mon post, que j'espère habile)
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: JeromeC le 03 September 2009 à 14:54
Double troll récursif qui se consume de lui même ?
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: tristesire le 03 September 2009 à 23:20
Merci d'en revenir au sujet du fil de discussion et d'éviter ces digressions.
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: bcoz le 04 September 2009 à 11:43
Bon, … plusieurs remarques :

Tout d’abord il y a un biais observationnel : la nature de BOINC fait qu’on y rencontre forcement des projets où il s’agit de réaliser plein de calculs unitairement simples et indépendant les uns des autres. Si on connaissait, pour un sujet donné, une méthode plus maline que des calculs répétitifs en grand nombre, on ne viendrait pas sur BOINC pour résoudre (ou débroussailler) ce sujet.

Le reproche de tester numériquement des cas plutôt que de trouver des méthodes de résolution globales s’applique à plein de projets, qu’ils soient mathématiques ou non. C’est assez nul de tester toutes les possibilités combinatoires de repliement d’une protéine, plutôt que de chercher directement son repliement optimal ;  idem quand on calcule les trajectoires des étoiles d’une galaxie satellite,  ou les multiples combinaisons de paramètres de modèles climatiques.

Sur les conjectures : ce qui fait qu’un problème irrésolu et une hypothèse sur sa solution devient une conjecture connue est son coté exemplaire ou intriguant ou généralisable. Les revues de math professionnelles sont remplies de conjectures à chaque numéro. La plupart disparaissent et ne suscitent aucun intérêt. Une infime minorité est commentée, reprise, développée et devient une conjecture célèbre, parce qu’elle est riche d’implications diverses.  C’est le cas de Syracuse/3x+1/ Collatz qui est l’archétype d’un énoncé simple avec des implications immenses dans des domaines extrêmement variés.

Il est clair que pour les conjectures de la théorie des nombres, le seul espoir que l’on puisse avoir est de trouver un contre exemple, en aucun cas de démontrer la conjecture. Mais ce serait déjà extrêmement intéressant.  D’autres conjectures peuvent être démontrées par ce genre de méthodes (c’est le cas de la conjecture de Kepler sur les empilements de sphères).

Quant à l’idée qu’en attendant un peu on aura les moyens de traiter tout ces problèmes plus facilement, c’est con qu’on y ai pas pensé avant, on aurait pu économiser quelques centaines de milliers d’années à tailler des pierres en attendant l’invention de l’acier, Ader n’aurait pas du se faire chier à construire un avion en bois et toile alors que c’est si facile en composite, et que dire de tous ces crétins qui ont fait des calculs à la main au lieu d’attendre les calculettes !

C’était ma contribution au troll de l’été … :siflotte:
 
Titre: Re : Re : [Débat] La démonstration de conjectures...
Posté par: JeromeC le 04 September 2009 à 12:11
Excellente contribution :lol:

Je suis fan  :love:

C’est assez nul de tester toutes les possibilités combinatoires de repliement d’une protéine, plutôt que de chercher directement son repliement optimal ;  idem quand on calcule les trajectoires des étoiles d’une galaxie satellite,  ou les multiples combinaisons de paramètres de modèles climatiques.
Je comprends pas bien ta remarque: tu veux dire qu'on connait la méthode pour trouver direct le repliement optimal ? Parce que sinon, le brute force ça a son intérêt aussi : trouver un résultat !
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: la frite le 04 September 2009 à 13:27
Ouah! :love: tu devrais passer direct du grade boinceur junior au grade boinceur respectable pr cette intervention vraiment très pertinente!!  je suis d'accord que la force brute existe dans ts les domaines, et que boinc y est particulièrement adapté, je suis aussi ton idée à propos du "on s'en fout on calcule pas, dans 1000 ans ils auront des processeurs intégrés ds leur cervelle qui feront largement plus que nos pc actuels" c'est contre le progrès cette pensée!

Par contre pr revenir à la problématique de base, là je maintiens tjrs que la force brute n'est pas un outil "digne" des mathématiques et ne constitue en aucun cas une démonstration.

Merci pr ton avis, j'espère que d'autres viendront le lire! :)
Titre: Re : Re : Re : [Débat] La démonstration de conjectures...
Posté par: bcoz le 04 September 2009 à 15:02
Je comprends pas bien ta remarque: tu veux dire qu'on connait la méthode pour trouver direct le repliement optimal ? Parce que sinon, le brute force ça a son intérêt aussi : trouver un résultat !
C'était de l'ironie. On ne connait pas d'algo prédisant le repliement d'une protéine, on teste étape par étape. On ne sais pas démontrer ou infirmer la conjecture de Collatz, on cherche des contre exemples en testant tout les cas. C'est pas satisfaisant mais c'est mieux que rien, et les résultats obtenus peuvent aider.
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: JeromeC le 04 September 2009 à 15:05
En fait j'avais pensé que tu le disais dans ce sens au début puis j'avais eu des doutes sur la formulation :jap:
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: Hildor le 05 September 2009 à 02:44
Merci, bcoz pour cette intervention !

Je suis assez d'accord avec toi et tu l'a exprimé beaucoup mieux que ce que je voulais faire  :jap:
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: xipehuz le 06 September 2009 à 11:05
C'est marant, c'est exactement ce que je voulais dire !

Dommage que j'ai pas eu le temps de poster en permier.

 :marcp:

Merci à toi, bcoz, pour avoir su si bien exprimer notre pensée  :capello:
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: popolito le 06 September 2009 à 11:39
Merci des réponses, bon, ça ne m'a pas fait changer d'avis car je suis un gros connard, mais c'est toujours intéressant.  :jap:
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: RLDF le 08 September 2009 à 22:52
c'est quand même un bon gros troll ce post  :gniak:
ça me rappelle quand un mec dans un amphi s'est levé un jour et a sorti que les maths ça servait à rien...
le cours traitait au départ d'algorithmique mais bon.. le prof s'est pas démonté, il était chercheur au labo de maths de mon université  :coffeetime:

nous avons eu droit à une belle démonstration de l'utilité des différents domaines mathématiques, arithmétiques et géométriques en partant du fondement philosophique avec aristote pour arriver à la logique et aux débouchés en astro, physique, aéronautique, biologie et même en musique ou en dessin avec les fractales  :lol:
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: Jim PROFIT le 09 September 2009 à 16:11
C'est clair que ce post était voué aux trolls....

:hello:
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: JeromeC le 09 September 2009 à 17:16
Bon c'est la 1ère ligne de popolito hein : "J'lance un petit débat trollesque "

(http://media.larlet.fr/david/conferences/django/img/MountainTroll.jpg)
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: tristesire le 09 September 2009 à 20:26
NEVERWINTERNIGHT II
Titre: Re : Re : [Débat] La démonstration de conjectures...
Posté par: popolito le 10 September 2009 à 12:21
c'est quand même un bon gros troll ce post  :gniak:
ça me rappelle quand un mec dans un amphi s'est levé un jour et a sorti que les maths ça servait à rien...
le cours traitait au départ d'algorithmique mais bon.. le prof s'est pas démonté, il était chercheur au labo de maths de mon université  :coffeetime:

nous avons eu droit à une belle démonstration de l'utilité des différents domaines mathématiques, arithmétiques et géométriques en partant du fondement philosophique avec aristote pour arriver à la logique et aux débouchés en astro, physique, aéronautique, biologie et même en musique ou en dessin avec les fractales  :lol:
Ah nan, je n'ai jamais dit que les maths servent à rien, bien au contraire !!! C'est la discipline scientifique qui demande le plus de rigueur et qui est à la base de tout le reste (j'en bouffe 10h/semaine, donc j'ai un peu pas le choix d'aimer  :lol:).
Malgré le post de *désolé, j'ai oublié le pseudo :electric:*, je ne trouve pas la démarche intéressante... Ce n'est que mon avis.  :miam:
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: JeromeC le 10 September 2009 à 13:34
Tu parles du post de bcoz ?
Titre: Re : Re : Re : [Débat] La démonstration de conjectures...
Posté par: bcoz le 10 September 2009 à 16:45
Malgré le post de *désolé, j'ai oublié le pseudo :electric:*, je ne trouve pas la démarche intéressante... Ce n'est que mon avis.  :miam:

Pour popolito (même si je sais d'avance que ça ne te convaincra pas  :/):

D’accord avec toi que les essais numériques, modèles heuristiques, réfutations par contre-exemples, …, ne sont pas aussi intéressants qu’un raisonnement « fulgurant » qui devient une évidence quand on l’a compris.
Néanmoins, en y réfléchissant un peu, est-ce si différent de bien des démos qui prennent des dizaines de pages et passent par des détours pour le moins scabreux (même si formellement corrects).

Pour moi, les connaissances mathématiques forment un tout, composé à la foi de connaissances empiriques et numériques, de démonstrations brillantes, de moins brillantes, de franchement obscures. Pour faire un parallèle avec la géométrie, certaines démonstrations visuelles sont bien plus élégantes que leur équivalent en géométrie algébrique.

De toute façon il ne faut pas oublier deux ou trois trucs de base sur les maths :

-   Les théorèmes sont des béquilles que nous utilisons pour pallier notre faiblesse intellectuelle : toutes les maths sont incluses dans les axiomes et les règles logiques de base. Les théorèmes sont juste là pour nous éviter de refaire le raisonnement à chaque fois, compte tenu de nos limitations. Il n’y a donc aucune créativité intrinsèque dans ces théorèmes, simplement une bonne adéquation entre l’usage que l’on en a et le besoin de compacité de nos raisonnements.

-   Quand on utilise les math pour un usage réel  (je veux dire non purement mathématique), en réalité on fait de la physique, c'est-à-dire qu’on utilise un modèle en espérant qu’il colle à la réalité. Dans ce cadre, peu importe si ce que l’on utilise vient d’un raisonnement ou d’un essai numérique,  la seule chose qui compte c’est l’efficacité.

-   Historiquement, c’est souvent après des approches à tâtons et des essais numériques, ou en se basant sur des tables de calcul que sont venus des théorèmes intéressants en théorie des nombres (en tous cas, tous les grands anciens ont passé par là).

-   Quasiment toutes les démonstrations mathématiques sont basées sur un raisonnement purement syntaxique, agrémenté soit de récurrence, soit de preuve par l’absurde. Or la preuve par l’absurde n’est finalement que la généralisation du contre exemple.
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: JeromeC le 10 September 2009 à 16:54
Fiouuuuuu.... et bé, c'est beau d'aimer les maths, je regrette presque de m'en être détaché, telle la feuille morte de sa branche à l'automne :D
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: popolito le 10 September 2009 à 17:57
Bien sûr bcoz, je te suis, et je suis en partie d'accord avec toi :
Citer
-Les théorèmes sont des béquilles que nous utilisons pour pallier notre faiblesse intellectuelle : toutes les maths sont incluses dans les axiomes et les règles logiques de base. Les théorèmes sont juste là pour nous éviter de refaire le raisonnement à chaque fois, compte tenu de nos limitations. Il n’y a donc aucune créativité intrinsèque dans ces théorèmes, simplement une bonne adéquation entre l’usage que l’on en a et le besoin de compacité de nos raisonnements.
Complètement d'accord. D'ailleurs, ça ne me dérange pas si ça reste des conjectures  :D

Citer
Quand on utilise les math pour un usage réel  (je veux dire non purement mathématique), en réalité on fait de la physique, c'est-à-dire qu’on utilise un modèle en espérant qu’il colle à la réalité. Dans ce cadre, peu importe si ce que l’on utilise vient d’un raisonnement ou d’un essai numérique,  la seule chose qui compte c’est l’efficacité.
Oui, dans ces moments là, on adapte un peu les maths (d'ailleurs, en général, la physique, ça ressemble à d'la magouille pour trouver le résultat que l'on veut  :lol:).

Citer
Historiquement, c’est souvent après des approches à tâtons et des essais numériques, ou en se basant sur des tables de calcul que sont venus des théorèmes intéressants en théorie des nombres (en tous cas, tous les grands anciens ont passé par là).
Ouais mais, est-ce qu'ils sont allés jusqu'à tester 1 000 000 000 000 000 000 000 000 de possibilités avec une petite feuille et une plume ? C'est justement ce qui me dérange.

Citer
Quasiment toutes les démonstrations mathématiques sont basées sur un raisonnement purement syntaxique, agrémenté soit de récurrence, soit de preuve par l’absurde. Or la preuve par l’absurde n’est finalement que la généralisation du contre exemple.
Mais si à chaque fois qu'on bute, on cherche un contre-exemple qui n'existe peut-être pas, on ne s'en sort pas. Bon, et en ce qui concerne la récurrence, je n'ai qu'une chose à dire : http://desencyclopedie.wikia.com/wiki/Démonstration_par_récurrence  :electric:
Titre: Re : Re : [Débat] La démonstration de conjectures...
Posté par: bcoz le 10 September 2009 à 18:17
http://desencyclopedie.wikia.com/wiki/Démonstration_par_récurrence  :electric:
:lol:
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: JeromeC le 10 September 2009 à 20:02
Excellent la désencyclopédie, comme d'hab :D
Titre: Re : [Débat] La démonstration de conjectures...
Posté par: alipse le 10 September 2009 à 20:30
j'adore le lien...  :love: