 > 1305 mathématiques > mathématique > logique mathématique
Synonyme(s)logique formelleVoir aussi |
15 Documents disponibles dans cette catégorie
Article de périodique
Le défi des paradoxes
- Dans le périodique : Science & vie junior. Dossier hors série, n°73 (07/2008) p.3-97
En 2008, dossier sur les paradoxes et les contradictions dans le domaine scientifique, complété par une bande dessinée et des jeux.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[...]A l'hôtel de l'infini
- Dans le périodique : Science & vie junior. Dossier hors série, n°73 (07/2008) p.78-83
- Auteur : Jean Lopez
En 2008, explication sur la notion d'infini en mathématiques : l'exemple de l'hôtel d'Hilbert, le nombre aleph, les nombres entiers naturels, la cardinalité, les découvertes de Georg Cantor, aleph pour comprendre l'infini.Des indécidables à portée de main
- Dans le périodique : Pour la science, n°468 (10/2016) p.78-83
- Auteur : Jean-Paul Delahaye
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[...]Site web
Jouer efficacement au sudoku
- Auteur : Marc Laforest
- Editeur : Accromath 12/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).Des paradoxes sans fin
- Dans le périodique : Science & vie junior. Dossier hors série, n°119 (09/2016) p.78-89
- Auteur : Robin Jamet
Le point sur les paradoxes scientifiques résolus par les mathématiques : explications et preuves apportées aux problèmes en apparence illogiques (caillou qui n'atteint pas son but, casse-tête de Zénon, l'escargot et le géant, les cubes mangeurs [...]Penser types plutôt qu'ensembles
- Dans le périodique : Science & vie, n°1153 (10/2013) p.111-120
- Auteur : Philippe Pajot
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 [...]Petits calculs contre grandes manipulations
- Dans le périodique : L'Eléphant (Paris), n°033 (01/2021) p.54-55
- Auteur : Gaël Guillaumé
Présentation des problèmes aux problèmes de Fermi : principes, le cas pratique de l'épidémie de Covid-19.Pourquoi 1+1 = 2
- Editeur : Remi Explique 2018 1 vidéo : 4 min 09 s
Présentation vidéo sur la différence entre les nombres et les chiffres ainsi que sur le fonctionnement d'une addition par des axiomes de Peano (tout entier naturel a un unique successeur).Une simple affaire de logique
- Dans le périodique : Science & vie junior. Dossier hors série, n°087 (04/2011) p.28-33
- Auteur : Robin Jamet
Interview fictive, en 2011, de George Boole, mathématicien anglais du 19e siècle. Encadrés : brève biographie ; rappel du calcul en base 2 ou binaire ; présentation de quelques connecteurs logiques de Boole et leur addition.Des stratégies miraculeuses
- Dans le périodique : Pour la science, n°465 (07/2016) p.78-83
- Auteur : Jean-Paul Delahaye
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[...]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.
