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 !

Rejoignez le forum, c'est rapide et facile

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 !
Forum d'entraide en sciences
Vous souhaitez réagir à ce message ? Créez un compte en quelques clics ou connectez-vous pour continuer.
Le deal à ne pas rater :
Google Pixel 7 5G – Smartphone 6,3″ OLED FHD+ 8 Go + 128 Go
316 €
Voir le deal

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

2 participants

Aller en bas

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

Message par Julien 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
Julien
Julien
Administrateur
Administrateur

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

Revenir en haut Aller en bas

Vérifier sans faille les démonstrations mathématiques par ordinateur Empty les démonstrations les plus fiables ayant jamais été produites......

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

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

Revenir en haut Aller en bas

Revenir en haut

- Sujets similaires

 
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum
Ne ratez plus aucun deal !
Abonnez-vous pour recevoir par notification une sélection des meilleurs deals chaque jour.
IgnorerAutoriser