Les délicats paradoxes de Berry et de Skolem / Jean-Paul Delahaye / Pour la science (2021) in Pour la science, 525 (07/2021)

Public ISBD Aucun avis sur cette notice. [article]  inPour la science > 525 (07/2021) 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) 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

En finir avec l'hypothèse du continu / Jean-Paul Delahaye / Pour la science (2019) in Pour la science, 504 (10/2019)

Public ISBD Aucun avis sur cette notice. [article]  inPour la science > 504 (10/2019) Titre : En finir avec l'hypothèse du continu Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Editeur : Pour la science, 2019 Article : p.26-36 Note générale : Bibliographie, webographie. Langues : Français (fre) 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 . - Pour la science, 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

Des indécidables à portée de main / Jean-Paul Delahaye / Pour la science (2016) in Pour la science, 468 (10/2016)

Public ISBD Aucun avis sur cette notice. [article]  inPour la science > 468 (10/2016) Titre : Des indécidables à portée de main Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Editeur : Pour la science, 2016 Article : p.78-83 Note générale : Bibliographie, webographie. Langues : Français (fre) 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 . - Pour la science, 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

Logique / Xavier Hubaut / Xavier Hubaut (2002)  

Public ISBD Aucun avis sur cette notice. Titre : Logique Type de document : document électronique Auteurs : Xavier Hubaut, Auteur Editeur : Xavier Hubaut, 2002 Description : [env. 3p.] Format : Web Langues : Français (fre) Descripteurs : logique mathématique Résumé : La logique mathématique : la négation, la conjonction, la disjonction, l'implication, l'équivalence, les tautologies (exemple classique du syllogisme). Nature du document : documentaire Genre : Documentaire Niveau : Classe de 3e/Classe de 4e/collège/Secondaire En ligne : http://xavier.hubaut.info/coursmath/var/logique.htm Logique [document électronique] / Xavier Hubaut, Auteur . - Xavier Hubaut, 2002 . - [env. 3p.] ; Web. Langues : Français (fre) Descripteurs : logique mathématique Résumé : La logique mathématique : la négation, la conjonction, la disjonction, l'implication, l'équivalence, les tautologies (exemple classique du syllogisme). Nature du document : documentaire Genre : Documentaire Niveau : Classe de 3e/Classe de 4e/collège/Secondaire En ligne : http://xavier.hubaut.info/coursmath/var/logique.htm

Magic Mathieu compte en moins de 2 ! / Dominique Souder / Belin (2010)

Public ISBD Aucun avis sur cette notice. Titre : Magic Mathieu compte en moins de 2 ! Type de document : texte imprimé Auteurs : Dominique Souder, Auteur ; Pascalyves Souder, Auteur ; Robin, Illustrateur Editeur : Belin, 2010 Description : 111 p ISBN/ISSN : 978-2-7011-5133-5 Prix : 13,50 EUR Note générale : L'initiale "R" de Robin est remplacée par ® Solutions en fin de vol. Descripteurs : logique mathématique / magie Résumé : Magic Mathieu a été surnommé ainsi en CM2 parce que tous le prenaient pour un calculateur prodige ! Dans cet ouvrage, il se raconte un peu et vous explique qu'il n'était pourtant que l'utilisateur ou l'inventeur de calculs astucieux et organisés ! Au fil des pages, il révèle ses " trucs ", qui montrent l'ingénieuse simplicité de ses tours, faciles à réaliser grâce à sa panoplie peu coûteuse de " mathémagicien " : papier, crayons, ciseaux et colle ! Nature du document : documentaire Genre : livre-jeu Niveau : collège Magic Mathieu compte en moins de 2 ! [texte imprimé] / Dominique Souder, Auteur ; Pascalyves Souder, Auteur ; Robin, Illustrateur . - Belin, 2010 . - 111 p. ISBN : 978-2-7011-5133-5 : 13,50 EUR L'initiale "R" de Robin est remplacée par ® Solutions en fin de vol. Descripteurs : logique mathématique / magie Résumé : Magic Mathieu a été surnommé ainsi en CM2 parce que tous le prenaient pour un calculateur prodige ! Dans cet ouvrage, il se raconte un peu et vous explique qu'il n'était pourtant que l'utilisateur ou l'inventeur de calculs astucieux et organisés ! Au fil des pages, il révèle ses " trucs ", qui montrent l'ingénieuse simplicité de ses tours, faciles à réaliser grâce à sa panoplie peu coûteuse de " mathémagicien " : papier, crayons, ciseaux et colle ! Nature du document : documentaire Genre : livre-jeu Niveau : collège

Réservation

Réserver ce document

Exemplaires (1)

Cote	Localisation	Section	Code-barres	Disponibilité
510 SOU	CDI	documentaire	008289	Disponible

Les mathématiciens face au défi des machines / Michael Harris / Pour la science (2022) in Pour la science, 535 (05/2022)

Permalink

Pouvons-nous échapper à l'incomplétude ? / Jean-Paul Delahaye / Pour la science (2022) in Pour la science, 540 (10/2022)

Permalink

Prouver à l'aide de l'infini / Philippe Pajot / Sophia Publications (2018) in La Recherche (Paris. 1970), 534 (04/2018)

Permalink

De la régularité dans le désordre / Antoine Chambert-Loir / Sophia Publications (2020) in La Recherche (Paris. 1970), 563 (11/2020)

Permalink

Des stratégies miraculeuses / Jean-Paul Delahaye / Pour la science (2016) in Pour la science, 465 (07/2016)

Permalink

Trivial, mais puissant : le principe des tiroirs / Jean-Paul Delahaye / Pour la science (2018) in Pour la science, 483 (01/2018)

Permalink