Descripteurs
 > 1305 mathématiques > mathématique > logique mathématique
logique mathématiqueSynonyme(s)logique formelleVoir aussi |
Documents disponibles dans cette catégorie (13)
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 réserve 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 étagère périodiques CDI 07528 Disponible 
Article : texte imprimé
Le point sur la notion d'indécidabilité en mathématiques : définition, l'utilisation de la logique mathématique pour démontrer que certains énoncés sont indécidables c.-à-d. ni vrai ni faux ; les théorèmes d'incomplétudes de Gödel ; les machines[...]Exemplaires
Cote Section Localisation Code-barres Disponibilité aucun exemplaire 
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 étagère périodiques 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 réserve 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é
Illustration, en 2011, par un mathématicien, du principe de Peter, maxime reposant sur l'absurde, appliquée notamment dans le cadre de la promotion.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 05505 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 réserve CDI 07247 Disponible 
Article : texte imprimé
Antoine Chambert-Loir, Auteur | Sophia Publications |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 réserve 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 réserve CDI 1480 Disponible 
Article : texte imprimé
Présentation des stratégies à adopter pour résoudre le problème des 50 prisonniers : la stratégie du hasard, la stratégie "Suivre", l'utilisation des mathématiques pour démontrer que la stratégie "Suivre" est la meilleure, présentation de varian[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 06811 Disponible 
Article : texte imprimé
Le point sur les valeurs mathématiques qui permettent de démontrer la maxime "le tout est plus que la somme des parties ", énoncée par Aristote : impossibilité de vérifier la maxime en prenant pour objets mathématiques les ensembles, les problèm[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 07043 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 réserve CDI 07182 Disponible
