 > 1305 mathématiques > mathématique > logique mathématique
Synonyme(s)logique formelleVoir aussi |
9 Documents disponibles dans cette catégorie
Article de périodique
Les délicats paradoxes de Berry et de Skolem
- Dans le périodique : Pour la science, n°525 (07/2021) p.80-85
- Auteur : Jean-Paul Delahaye
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.En finir avec l'hypothèse du continu
- Dans le périodique : Pour la science, n°504 (10/2019) p.26-36
- Auteur : Jean-Paul Delahaye
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[...]Gödel et l'indécidabilité : des mythes à la réalité
- Dans le périodique : Sciences et avenir (1949), n°945 (11/2025) p.86-88
- Antoine Houlou-Garcia
Retour sur les théorèmes d'incomplétude de Kurt Gödel, un mathématicien autrichien du 20e siècle : son apport pour les mathématiques ; le contexte de leur formulation. Encadré : un exemple d'incomplétude basé sur le combat entre Hercule et l'hydre.Site web
Jouer efficacement au sudoku
- Auteur : Marc Laforest
- Editeur : Accromath 2013
Le point sur des techniques d'exclusion permettant de résoudre des grilles de Sudoku et sur leur formulation mathématiques : les règles du Sudoku et la contrainte fondamentale ; la technique d'exclusion naïve, l'utilisation de la loi de De Morga[...]Logique
- Auteur : Xavier Hubaut
- Editeur : Mathématique du secondaire 2018
La logique mathématique : la négation, la conjonction, la disjonction, l'implication, l'équivalence, les tautologies (exemple classique du syllogisme).Les mathématiciens face au défi des machines
- Dans le périodique : Pour la science, n°535 (05/2022) p.26-34
- Auteur : Michael Harris
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[...]Pouvons-nous échapper à l'incomplétude ?
- Dans le périodique : Pour la science, n°540 (10/2022) p.80-85
- Jean-Paul Delahaye
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[...]Le tout est-il plus que la somme des parties ?
- Dans le périodique : Pour la science, n°477 (07/2017) p.80-85
- Auteur : Jean-Paul Delahaye
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[...]Trivial, mais puissant : le principe des tiroirs
- Dans le périodique : Pour la science, n°483 (01/2018) p.74-79
- Auteur : Jean-Paul Delahaye
Présentation, en mathématiques, du principe des tiroirs, de ses variantes et de ses différentes applications.
