Vérifier sans faille les démonstrations mathématiques par ordinateur
2 participants
Page 1 sur 1
Vérifier sans faille les démonstrations mathématiques par ordinateur
De nouveaux outils informatiques pourraient révolutionner la pratique des mathématiques en fournissant les démonstrations les plus fiables ayant jamais été produites. Ces outils, basés sur la notion de "preuve formelle", ont été utilisés ces dernières années pour donner des démonstrations presque infaillibles de nombreux résultats importants en mathématiques. Une série de quatre articles écrits par des experts reconnus, et qui vient d'être publiée dans les Notices of the American Mathematical Society, explore des développements nouveaux dans l'utilisation de la preuve formelle en mathématiques.
Pour en savoir plus : http://www.techno-science.net/?onglet=news&news=5990
Pour en savoir plus : http://www.techno-science.net/?onglet=news&news=5990
Julien- Administrateur
- Nombre de messages : 12291
Age : 36
Localisation : Clermont-Ferrand
Profession / Etudes : Ingénieur
Points : 22469
Date d'inscription : 10/03/2005
les démonstrations les plus fiables ayant jamais été produites......
Ces démonstrations tendent plus a convaincre les novices. Actuellement une bonne partie de ces éminents personnages mondialement reconnus sont des vedettes média avec des diplômes chères à l'achat. On a plus de bons orateurs qui soutiennent des faux réalités que des vrais scientifiques.
Mais il est vrai que les outils sont formidables et permettent aux animateurs TV de démontrer pas mal de choses : vraies ou fausses.
Les outils les plus forts : celle que on peut utiliser facilement avec un maximum de résultats, type TV, radio, religions, etc.
Leur rendement dans les démonstrations est vraiment .....et dans tous les domaines.
Quant aux maths, physique, et autres sont devenus presque la prière du pauvre (le scientifique) devant le seigneur du coin (l'animateur TV, radio, asso.)
Mais il est vrai que les outils sont formidables et permettent aux animateurs TV de démontrer pas mal de choses : vraies ou fausses.
Les outils les plus forts : celle que on peut utiliser facilement avec un maximum de résultats, type TV, radio, religions, etc.
Leur rendement dans les démonstrations est vraiment .....et dans tous les domaines.
Quant aux maths, physique, et autres sont devenus presque la prière du pauvre (le scientifique) devant le seigneur du coin (l'animateur TV, radio, asso.)
chenepointu- Membre
- Nombre de messages : 3
Age : 45
Localisation : Paris 20
Profession / Etudes : chercheur
Points : 4516
Date d'inscription : 07/12/2011
Page 1 sur 1
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum
|
|
Jeu 2 Juil 2015 - 15:16 par louaraychi
» Devoir maison sur équilibre et réaction chimique
Dim 1 Fév 2015 - 17:19 par sararose
» Ma présentation
Sam 25 Oct 2014 - 23:29 par Rith
» projet scientique sur la LUMIERE
Ven 26 Sep 2014 - 20:33 par benjamin-010
» La trajectoire de la Terre
Mar 5 Aoû 2014 - 22:19 par Alban
» Equilibrer une réaction redox
Dim 8 Juin 2014 - 21:18 par Courtney ♥
» les effets sur les lignes de transport de l’électricité
Ven 30 Mai 2014 - 17:14 par leila14
» lignes de transport de l'électricité
Ven 30 Mai 2014 - 17:07 par leila14
» Gravitation
Ven 16 Mai 2014 - 20:16 par fatimaa
» Maquette suspension de moto 2D
Jeu 17 Avr 2014 - 17:20 par Sti2d