Catégories
 > 2 Science > 2.15 Mathématiques et statistiques > Mathématiques > Logique mathématique
Logique mathématiqueVoir aussi |
Documents disponibles dans cette catégorie (8)
Faire une suggestion Affiner la recherche Interroger des sources externes
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.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[...]
texte imprimé
Apostolos K. Doxiadis, Auteur ; Christos Papadimitriou, Auteur ; Alecos Papadatos, Auteur | Paris : Vuibert | 2010Angleterre, 1884. dans la solitude d'un vieux manoir anglais, le petit Bertie Russel découvre, fasciné, la puissance de la Logique. Cette découverte va guider son existence. Sur un campus américain, 1939. Alors que les troupes nazies envahissent[...]
texte imprimé
Ce livre est un recueil des articles que l'auteur a publiés dans la rubrique Logique et Calcul du magazine Pour la Science. Lasélection a pour thème la logique dans toute sa diversité.
texte imprimé
C'est le renouveau de la logique depuis un siècle qui a suscité un renouveau de son histoire. L'auteur expose les cheminements de cette science et précise les apports successifs des philosophes et des mathématiciens. L'étude des systèmes est con[...]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[...]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[...]Article : texte imprimé
Présentation, en mathématiques, du principe des tiroirs, de ses variantes et de ses différentes applications.
