Descripteurs
> 1305 mathématiques > mathématique > logique mathématique > démonstration mathématique
démonstration mathématique |
Documents disponibles dans cette catégorie (22)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
Origine de la science mathématique de la calculabilité, permettant d'élaborer des algorithmes, grâce au 10e problème de Hilbert demandant de concevoir un algorithme général capable de déterminer si une équation diophantienne quelconque peut être[...]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, 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[...]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"[...]Exemplaires
Disponibilité aucun exemplaire 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é
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[...]