Descripteurs
> 1305 mathématiques > mathématique > logique mathématique
logique mathématiqueSynonyme(s)logique formelleVoir aussi |
Documents disponibles dans cette catégorie (11)
Ajouter le résultat dans votre panier Affiner la rechercheLes délicats paradoxes de Berry et de Skolem / Jean-Paul Delahaye / Pour la science (2021) in Pour la science, 525 (07/2021)
[article]
Titre : Les délicats paradoxes de Berry et de Skolem Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Editeur : Pour la science, 2021 Article : p.80-85 Note générale : Bibliographie, webographie. Langues : Français (fre)
in Pour la science > 525 (07/2021)Descripteurs : logique mathématique Résumé : 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. Nature du document : documentaire Genre : / Article de périodique //Article de périodique [article] Les délicats paradoxes de Berry et de Skolem [texte imprimé] / Jean-Paul Delahaye, Auteur . - Pour la science, 2021 . - p.80-85.
Bibliographie, webographie.
Langues : Français (fre)
in Pour la science > 525 (07/2021)
Descripteurs : logique mathématique Résumé : 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. Nature du document : documentaire Genre : / Article de périodique //Article de périodique Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives Documentaire CDI 58 Disponible
[article]
Titre : En finir avec l'hypothèse du continu Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Année : 2019 Article : p.26-36 Note générale : Bibliographie, webographie. Langues : Français (fre)
in Pour la science > 504 (10/2019)Descripteurs : infini / logique mathématique Résumé : 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 non d'un infini intermédiaire entre celui des nombres entiers et celui des nombres réels : la découverte de l'indécidabilité de l'hypothèse du continu dans la théorie ZFC, la recherche de nouveaux axiomes pour compléter la théorie ZFC et lever l'indécidabilité de l'hypothèse du continu ; les travaux du mathématicien Hugh Woodin sur les grands cardinaux pour résoudre la question de l'hypothèse du continu. Nature du document : documentaire Genre : Article de périodique [article] En finir avec l'hypothèse du continu [texte imprimé] / Jean-Paul Delahaye, Auteur . - 2019 . - p.26-36.
Bibliographie, webographie.
Langues : Français (fre)
in Pour la science > 504 (10/2019)
Descripteurs : infini / logique mathématique Résumé : 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 non d'un infini intermédiaire entre celui des nombres entiers et celui des nombres réels : la découverte de l'indécidabilité de l'hypothèse du continu dans la théorie ZFC, la recherche de nouveaux axiomes pour compléter la théorie ZFC et lever l'indécidabilité de l'hypothèse du continu ; les travaux du mathématicien Hugh Woodin sur les grands cardinaux pour résoudre la question de l'hypothèse du continu. Nature du document : documentaire Genre : Article de périodique Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité ARCHIVES Documentaire CDI 19749 Disponible Gödel et l'indécidabilité : des mythes à la réalité / Antoine Houlou-Garcia / Sciences et avenir (2025) in Sciences et avenir (1949), 945 (11/2025)
[article]
Titre : Gödel et l'indécidabilité : des mythes à la réalité Type de document : texte imprimé Auteurs : Antoine Houlou-Garcia Editeur : Sciences et avenir, 2025 Article : p.86-88 Langues : Français (fre)
in Sciences et avenir (1949) > 945 (11/2025)Descripteurs : 20e siècle / Autriche / logique mathématique / mathématicien Mots-clés : loi et principe scientifique Résumé : 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. Nature du document : documentaire Genre : Article de périodique [article] Gödel et l'indécidabilité : des mythes à la réalité [texte imprimé] / Antoine Houlou-Garcia . - Sciences et avenir, 2025 . - p.86-88.
Langues : Français (fre)
in Sciences et avenir (1949) > 945 (11/2025)
Descripteurs : 20e siècle / Autriche / logique mathématique / mathématicien Mots-clés : loi et principe scientifique Résumé : 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. Nature du document : documentaire Genre : Article de périodique Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives Documentaire CDI 2033 Disponible
[article]
Titre : Des indécidables à portée de main Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Année : 2016 Article : p.78-83 Note générale : Bibliographie, webographie. Langues : Français (fre)
in Pour la science > 468 (10/2016)Descripteurs : logique mathématique Résumé : 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 de Turing et les fonctions non-calculables ; la fonction de Rado ; les recherches récentes de Scott Aaronson et Adam Yedidia. Nature du document : documentaire Genre : Article de périodique [article] Des indécidables à portée de main [texte imprimé] / Jean-Paul Delahaye, Auteur . - 2016 . - p.78-83.
Bibliographie, webographie.
Langues : Français (fre)
in Pour la science > 468 (10/2016)
Descripteurs : logique mathématique Résumé : 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 de Turing et les fonctions non-calculables ; la fonction de Rado ; les recherches récentes de Scott Aaronson et Adam Yedidia. Nature du document : documentaire Genre : Article de périodique Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité ARCHIVES Documentaire CDI 17381 Disponible
Titre : Jouer efficacement au sudoku Type de document : document électronique Auteurs : Marc Laforest Editeur : Accromath, 2013 Format : Web Langues : Français (fre) Descripteurs : jeu éducatif / logique mathématique Résumé : 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 Morgan, les notions de simplet nu et de simplet caché, l'exclusion de Jedi ; le théorème de Tuleja sur la structure de la solution d'un Sudoku. Encadré : notions de la théorie des ensembles. Nature du document : documentaire Genre : Documentaire Niveau : Secondaire/Classe de 1ère/Classe de Terminale/Lycée En ligne : https://accromath.uqam.ca/2014/02/jouer-efficacement-au-sudoku/ Jouer efficacement au sudoku [document électronique] / Marc Laforest . - Accromath, 2013 . - ; Web.
Langues : Français (fre)
Descripteurs : jeu éducatif / logique mathématique Résumé : 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 Morgan, les notions de simplet nu et de simplet caché, l'exclusion de Jedi ; le théorème de Tuleja sur la structure de la solution d'un Sudoku. Encadré : notions de la théorie des ensembles. Nature du document : documentaire Genre : Documentaire Niveau : Secondaire/Classe de 1ère/Classe de Terminale/Lycée En ligne : https://accromath.uqam.ca/2014/02/jouer-efficacement-au-sudoku/ PermalinkLes mathématiciens face au défi des machines / Michael Harris / Pour la science (2022) in Pour la science, 535 (05/2022)
PermalinkPouvons-nous échapper à l'incomplétude ? / Jean-Paul Delahaye / Pour la science (2022) in Pour la science, 540 (10/2022)
PermalinkPermalinkLe tout est-il plus que la somme des parties ? / Jean-Paul Delahaye in Pour la science, 477 (07/2017)
PermalinkTrivial, mais puissant : le principe des tiroirs / Jean-Paul Delahaye in Pour la science, 483 (01/2018)
Permalink




