Descripteurs
> 1305 mathématiques > mathématique > logique mathématique > démonstration mathématique
démonstration mathématique |
Documents disponibles dans cette catégorie (41)
Ajouter le résultat dans votre panier Affiner la recherche
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[...]Article : texte imprimé
Présentation du "programme de Langlands", ensemble de conjectures qui établit des correspondances entre la théorie des nombres et d'autres parties des mathématiques, telle la théorie des représentations des groupes et la théorie de certaines fon[...]Article : texte imprimé
Le point sur le recours aux dessins ou aux diagrammes pour aider à visualiser des situations non géométriques en apparence et des propriétés mathématiques ou géométriques : des preuves sans mots (le théorème de Pythagore, le théorème de Viviani,[...]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[...]Article : texte imprimé
Présentation, en 2010, par un mathématicien, d'exemples mettant en évidence les liens étroits entre les mathématiques et la physique : comment des méthodes de raisonnement physiques démontrent plus simplement des problèmes mathématiques complexe[...]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.document électronique
Le point sur la notion de rigueur en mathématique pour les Grecs antiques : l'influence d'Aristote, la rigueur de la démarche déductive ; la place de la rigueur et celle de l'intuition ; les traités "La méthode" et "La quadrature de la parabole"[...]Article : texte imprimé
Présentation, en mathématiques, de la conjecture de Syracuse-Collatz et des différentes avancées pour tenter de la prouver.Article : texte imprimé
Analyse, en 2011, par un historien des sciences, d'un manuscrit de Blaise Pascal, témoignant de son oeuvre mathématique : démonstration d'un théorème sur le calcul de volumes.Article : texte imprimé
Le point sur la vérification du théorème de Feit-Thompson par l'équipe de Georges Gonthier du Centre commun de recherche Inria-Microsoft en septembre 2012, grâce aux outils informatiques : du théorème à sa démonstration, la question de l'efficac[...]Article : texte imprimé
Le point sur la démonstration proposée par Eric Larson et Isabel Vogt, deux mathématiciens américains, pour résoudre le problème d'interpolation : un problème géométrique consistant à trouver par combien de points il est possible de forcer une c[...]