Forum d'entraide en sciences
Bienvenue sur le forum d'entraide en sciences ! Inscrivez-vous gratuitement pour accéder à l'intégralité du forum ou connectez-vous si c'est déjà fait !

Bonne visite !

Vérifier sans faille les démonstrations mathématiques par ordinateur

Voir le sujet précédent Voir le sujet suivant Aller en bas

Vérifier sans faille les démonstrations mathématiques par ordinateur

Message par Julien le Mar 25 Nov 2008 - 21:40

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
avatar
Julien
Administrateur
Administrateur

Masculin Nombre de messages : 12291
Age : 30
Localisation : Clermont-Ferrand
Profession / Etudes : Ingénieur
Points : 20169
Date d'inscription : 10/03/2005

Revenir en haut Aller en bas

les démonstrations les plus fiables ayant jamais été produites......

Message par chenepointu le Sam 10 Déc 2011 - 8:34

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.)
avatar
chenepointu
Membre
Membre

Masculin Nombre de messages : 3
Age : 38
Localisation : Paris 20
Profession / Etudes : chercheur
Points : 2216
Date d'inscription : 07/12/2011

Revenir en haut Aller en bas

Voir le sujet précédent Voir le sujet suivant Revenir en haut

- Sujets similaires

 
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum