Descripteurs
 > 1305 mathématiques > mathématique > logique mathématique
logique mathématiqueSynonyme(s)logique formelleVoir aussi |
Documents disponibles dans cette catégorie (9)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
Le point en mathématiques sur les paradoxes de la définissabilité : l'exemple du paradoxe de Berry, les notions de théorie et de métathéorie, l'utilité des paradoxes dans la découverte de procédés de démonstration, le paradoxe de Skolem.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives documentaire CDI 07965 Disponible 
Article : texte imprimé
Le point sur les avancées de la recherche concernant le concept d'infini en mathématiques : la théorie des ensembles de Georg Cantor ; la question de l'hypothèse du continu ; les différentes recherches pour résoudre la question de l'existence ou[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives documentaire CDI 07528 Disponible 
Article : texte imprimé
Réflexion sur la place de l'humain face aux performances grandissantes des machines dans le domaine des mathématiques : la confirmation pour la première fois en 2020 d'un théorème par un logiciel sans vérification humaine, l'usage ancien des mac[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Pério documentaire CDI 08143 Disponible 
Article : texte imprimé
Le point sur les idées neuves en mathématiques : retour sur l’histoire de l’avènement des "maths modernes" jusqu’au développement de la notion de type par Bertrand Russel ; explications concernant l’évolution des théories, des systèmes et de la [...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives documentaire CDI 06016 Disponible 
Article : texte imprimé
Le point sur la remise en cause, formulée par le philosophe et logicien Daniel Isaacson, de l'incomplétude du système d'axiomes de Peano : le principe du raisonnement par récurrence, le système d'axiomes de Peano, les théorèmes d'incomplétude én[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Pério documentaire CDI 015952 Disponible 
Article : texte imprimé
Présentation du travail de la chercheuse post-doctorante Amina Doumane qui a réussi à prouver un théorème de l'informatique théorique grâce à une preuve circulaire (ou infinitaire) : le lien entre théorie de la démonstration et logiques infinita[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives documentaire CDI 07247 Disponible 
Article : texte imprimé
Présentation de la théorie de Ramsey, du nom du mathématicien britannique Franck Ramsey, en référence au théorème démontré en 1930. Encadré : le principe des tiroirs, outil inépuisable.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives documentaire CDI 07814 Disponible 
Article : texte imprimé
Rappel de l'origine de la théorie de l'âme sœur, qui remonte à l'Antiquité grecque. Point sur les recherches de mathématiciens pour élaborer une méthode permettant de calculer les probabilités de trouver l'âme sœur. Explication de la logique mat[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives documentaire CDI 1480 Disponible 
Article : texte imprimé
Présentation, en mathématiques, du principe des tiroirs, de ses variantes et de ses différentes applications.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives documentaire CDI 07182 Disponible
