Des ordinateurs matheux

Dans le périodique : Sciences et avenir. Hors série, n°140 (octobre-novembre 2004)
• Auteur : Jean-Paul Delahaye
• Pages : p. 40-44
• • Nature du document : documentaire
  • Note générale : bibliographie
    
  • Résumé :

    Rôle de l'ordinateur dans la démonstration automatique de théorèmes mathématiques. Limites de la vérification humaine. Capacité de contrôle des mathématiciens.
    

• • Descripteurs : démonstration mathématique / mathématicien / ordinateur / théorème