Descripteurs
 > 1305 mathématiques > mathématique > logique mathématique > démonstration mathématique
démonstration mathématique |
Documents disponibles dans cette catégorie (20)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
Présentation de cinq énigmes mathématiques et de leurs solutions parfois étonnantes.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 07053 Disponible 
Article : texte imprimé
Présentation par un chercheur en mathématiques du problème de vérification des longues démonstrations mathématiques : exemple de domaines où il existe de très longues démonstrations mathématiques ; les notions de calcul et de démonstration et l'[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 06484 Disponible 
Article : texte imprimé
Explication, en 2012, par un mathématicien, d'un point de la théorie des nombres : la conjecture ABC. Démonstration non encore réalisée, mais pistes de recherches. Théorèmes découlant de la conjecture ABC : le théorème de Fermat notamment.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 05795 Disponible 
Article : texte imprimé
Retour sur la résolution de la conjecture de Poincaré par le mathématicien russe Grigori Perelman, en 2002 : un problème de topologie, l'énoncé de la conjecture de Poincaré, la conjecture de Thurston, les travaux d'Hamilton et de Perelman.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 07149 Disponible 
Article : texte imprimé
Enquête sur le logiciel Coq permettant de vérifier l’exactitude des théorèmes mathématiques : retour sur le fonctionnement de ce programme informatique capable de vérifier les raisonnements ; historique de ce travail de preuves à partir du théor[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 05936 Disponible 
Article : texte imprimé
Rappel du problème des pentagones convexes pouvant remplir complètement une surface et présentation de la démonstration. Encadrés : schémas des quinze types de pentagones qui pavent le plan ; les pavages apériodiques.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 07223 Disponible 
Article : texte imprimé
Le point, en mathématiques, sur la résolution de la conjecture de la sensitivité par un jeune mathématicien chinois, Hao Huang : la conjecture de la sensitivité portant sur la complexité des fonctions booléennes, l'utilisation des hypercubes pou[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 07907 Disponible 
Article : texte imprimé
Cédric Villani, Personne interviewée ; Maurice Mashaal, Intervieweur | Pour la science |Interview de Cédric Villani, mathématicien, sur les différents essais de démonstrations du grand théorème de Fermat jusqu'à la réussite, en 1995, du mathématicien Andrew Wiles.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 07149 Disponible 
Article : texte imprimé
Présentation de la disjonction de Gödel qui propose une réflexion mathématique sur la nature même de l'esprit humain : les deux termes de la disjonction énoncée par Kurt Gödel, l'indécidabilité mathématique et les théorèmes d'incomplétude de Göd[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 07240 Disponible 
Article : texte imprimé
Présentation de huit énigmes mathématiques et de leurs solutions parfois étonnantes.Exemplaires
Cote Section Localisation Code-barres Disponibilité aucun exemplaire 
Article : texte imprimé
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.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 03028 Disponible 
Article : texte imprimé
Point, en 2011, par un mathématicien, sur les différents aspects de la démonstration mathématique. Grâce à l'apport de l'informatique, introduction de la notion de preuve interactive (dialogue entre prouveur et vérifieur). Utilisations dans le d[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 05308 Disponible 
Article : texte imprimé
Analyse, en 2012, par un mathématicien, des caractéristiques d'une démonstration mathématique et des différentes formes qu'elle peut prendre : preuves sans mots, preuves par la physique, preuves mentales, démonstrations par manipulation, par ord[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 05656 Disponible 
Article : texte imprimé
Le point, avec l'exemple du grand théorème de Fermat, sur l'importance d'obtenir pour chaque théorème une preuve vérifiable par ordinateur pour éliminer le risque d'erreur : l'utilisation des assistants de preuves et leurs limites ; la démonstra[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 06992 Disponible 
Article : texte imprimé
Point, en 2011, par un mathématicien, sur le rôle des ordinateurs dans la validation de résultats mathématiques : apports et limites de l'informatique comme assistant de preuve pour aider à la formalisation de la démonstration de théorème.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 05385 Disponible
