Accueil Publimath  Aide à la recherche   Recherche Avancée   Imprimer la fiche   Aidez-nous à améliorer cette fiche  Vidéo d
Certification IDDN Valid HTML 4.01 Transitional
Auteur(s) : Delahaye Jean-Paul

Titre : Bulletin de l'APMEP. N° 442. p. 602-612. Les ordinateurs mathématiciens.
English title: The computer as a mathematician. (ZDM/Mathdi)

Une version texte intégral est sur le site Bibliothèque numérique des IREM et de l'APMEP  Télécharger 

Editeur : APMEP Association des Professeurs de Mathématiques de l'Enseignement Public (APMEP) Paris, 2002
Format : 17 cm x 24 cm, p. 602-612  ISSN : 0240-5709

Type : article de périodique ou revue Langue : Français Support : papier

Public visé : chercheur, enseignant, formateur

Classification : A39Revues, article de revue
Formation à l'enseignement, initiale et continue.
 E59Raisonnements et démonstrations en mathématiques
Formation à l'enseignement, initiale et continue.
 R49Intelligence artificielle et apprentissage
Formation à l'enseignement, initiale et continue.
 

Résumé :

Après le jeu d'échecs, l'intelligence artificielle triomphera-t-elle des mathématiques ? L'auteur cite plusieurs exemples (théorème des quatre couleurs, le plan projectif d'ordre 10, une conjecture relative à l'algèbre de Boole et l'axiome de Robbins) dans lesquels l'ordinateur n'a été qu'un intermédiaire irremplaçable. Le démonstrateur automatique fait essentiellement des calculs. Néanmoins, la capacité à découvrir de nouvelles démonstrations non triviales et à vérifier celles produites par les mathématiciens commence à atteindre actuellement un niveau intéressant. Il semble que tous les mathématiciens l'utiliseront d'ici .

Notes :
Cet article est publié sous la rubrique "Les conférences".

Ce numéro contient les textes des conférences et des comptes rendus de divers ateliers des Journées Nationales APMEP qui se sont tenues en 2001 à Lille.
Le Bulletin de l'APMEP (appelé "Bulletin Vert") s'efforce, par des articles de fond : de couvrir l'actualité de l'enseignement des mathématiques de la maternelle à l'université, de contribuer à la formation approfondie des enseignants, d'entretenir, chez ceux-ci, l'esprit de recherche et de susciter des échanges avec ses lecteurs.
Il paraît 5 fois par an de sa création à 2018, année où suite à un changement de politique éditoriale, l'APMEP publie une revue unique Au Fil des Maths - le Bullletin de l'APMEP.


Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 16/10/2019
Accueil Publimath  Aide à la recherche   Recherche Avancée   Imprimer la fiche   Aidez-nous à améliorer cette fiche  Video d'aide
Certification IDDN Valid HTML 4.01 Transitional