Ces paradoxes qui ébranlèrent les mathématiques / Bertrand Hauchecorne / Archimède (2020) in Tangente (Paris), 192 (02/2020)

Public ISBD [article]  inTangente (Paris) > 192 (02/2020) Titre : Ces paradoxes qui ébranlèrent les mathématiques Type de document : texte imprimé Auteurs : Bertrand Hauchecorne, Auteur Editeur : Archimède, 2020 Article : p.28-30 Note générale : Bibliographie. Langues : Français (fre) Descripteurs : logique mathématique théorie des ensembles Mots-clés : raisonnement scientifique Résumé : Présentation du théorème sur la cardinalité de l'ensemble des parties d'un ensemble de Georg Cantor dont la démonstration (diagonale de Cantor) est basée sur l'autoréférence (circularité ou raisonnement circulaire) : le paradoxe de Russell ; les paradoxes mis en lumière par Jules Richard, les mots hétérologiques de Kurt Grelling et Leonard Nelson ; les réticences de Jules Henri Poincaré en matière de logistique et la réponse à celles-ci de Bertrand Russell favorable à une refonte des fondements de la logique (théorie des types). Encadré : le théorème de Cantor. Nature du document : documentaire Genre : / Article de périodique/Article de périodique [article] Ces paradoxes qui ébranlèrent les mathématiques [texte imprimé] / Bertrand Hauchecorne, Auteur . - Archimède, 2020 . - p.28-30. Bibliographie. Langues : Français (fre) in Tangente (Paris) > 192 (02/2020) Descripteurs : logique mathématique théorie des ensembles Mots-clés : raisonnement scientifique Résumé : Présentation du théorème sur la cardinalité de l'ensemble des parties d'un ensemble de Georg Cantor dont la démonstration (diagonale de Cantor) est basée sur l'autoréférence (circularité ou raisonnement circulaire) : le paradoxe de Russell ; les paradoxes mis en lumière par Jules Richard, les mots hétérologiques de Kurt Grelling et Leonard Nelson ; les réticences de Jules Henri Poincaré en matière de logistique et la réponse à celles-ci de Bertrand Russell favorable à une refonte des fondements de la logique (théorie des types). Encadré : le théorème de Cantor. Nature du document : documentaire Genre : / Article de périodique/Article de périodique

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
42494	Archives	périodique	Archives	documentaire	Disponible

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 [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

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
045065	Archives	périodique	Archives	documentaire	Disponible

Les diagrammes chez Lewis Carroll / Cesco Reale / Archimède (2022) in Tangente (Paris), 205 (05/2022)

Public ISBD [article]  inTangente (Paris) > 205 (05/2022) Titre : Les diagrammes chez Lewis Carroll Type de document : texte imprimé Auteurs : Cesco Reale Editeur : Archimède, 2022 Article : p.16-17 Langues : Français (fre) Descripteurs : jeu éducatif logique mathématique Mots-clés : schéma et diagramme Résumé : Présentation du jeu de la logique inventé par Lewis Carroll : la représentation des prémisses ; le carré triadique d'opposition. Encadré : le vocabulaire de la Reine des merveilles. Schémas. Nature du document : documentaire Genre : Article de périodique [article] Les diagrammes chez Lewis Carroll [texte imprimé] / Cesco Reale . - Archimède, 2022 . - p.16-17. Langues : Français (fre) in Tangente (Paris) > 205 (05/2022) Descripteurs : jeu éducatif logique mathématique Mots-clés : schéma et diagramme Résumé : Présentation du jeu de la logique inventé par Lewis Carroll : la représentation des prémisses ; le carré triadique d'opposition. Encadré : le vocabulaire de la Reine des merveilles. Schémas. Nature du document : documentaire Genre : Article de périodique

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
046589	Archives	périodique	Archives	documentaire	Disponible

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

Public ISBD [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

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
41622	Archives	périodique	Archives	documentaire	Disponible

Un génie hors des sentiers battus / Bertrand Hauchecorne / Archimède (2022) in Tangente (Paris), 206 (07/2022)

Public ISBD [article]  inTangente (Paris) > 206 (07/2022) Titre : Un génie hors des sentiers battus Type de document : texte imprimé Auteurs : Bertrand Hauchecorne Editeur : Archimède, 2022 Article : p.18-20 Langues : Français (fre) Descripteurs : logique mathématique Mots-clés : époque contemporaine (19e-21e siècle) Résumé : Le point sur l'élaboration progressive de la logique mathématique à partir du 19e siècle (construction des fondements des mathématiques sur un édifice théorique) : les apports des mathématiciens Carl Gustav Jacobi, George Boole et Augustus de Morgan (algèbre de la logique), Charles Peirce (logique propositionnelle), Giuseppe Peano (axiomatique) ; les apports de Bertrand Russel (logicisme, théorie des ensembles, notion d'autoréférence en logique) et d'Alfred Whitehead (logicisme) ; la théorie des types. Encadré : présentation de l'ouvrage Principles of Mathematics (objectifs, contenu) de B. Russel s'intéressant à l'approche logiciste des mathématiques. Bibliographie. Nature du document : documentaire Genre : Article de périodique [article] Un génie hors des sentiers battus [texte imprimé] / Bertrand Hauchecorne . - Archimède, 2022 . - p.18-20. Langues : Français (fre) in Tangente (Paris) > 206 (07/2022) Descripteurs : logique mathématique Mots-clés : époque contemporaine (19e-21e siècle) Résumé : Le point sur l'élaboration progressive de la logique mathématique à partir du 19e siècle (construction des fondements des mathématiques sur un édifice théorique) : les apports des mathématiciens Carl Gustav Jacobi, George Boole et Augustus de Morgan (algèbre de la logique), Charles Peirce (logique propositionnelle), Giuseppe Peano (axiomatique) ; les apports de Bertrand Russel (logicisme, théorie des ensembles, notion d'autoréférence en logique) et d'Alfred Whitehead (logicisme) ; la théorie des types. Encadré : présentation de l'ouvrage Principles of Mathematics (objectifs, contenu) de B. Russel s'intéressant à l'approche logiciste des mathématiques. Bibliographie. Nature du document : documentaire Genre : Article de périodique

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
046861	Archives	périodique	Archives	documentaire	Disponible

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

Public ISBD [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. 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. 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)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
035555	Archives	périodique	Archives	documentaire	Disponible

Logique / Xavier Hubaut (2018)  

Public ISBD Titre : Logique Type de document : document électronique Editeur : Xavier Hubaut, 2018 Format : Web 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, 2018 . -  ; Web. 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

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

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

Public ISBD [article]  inPour la science > 535 (05/2022) Titre : Les mathématiciens face au défi des machines Type de document : texte imprimé Auteurs : Michael Harris, Auteur Editeur : Pour la science, 2022 Article : p.26-34 Descripteurs : intelligence artificielle logique mathématique Mots-clés : raisonnement scientifique Résumé : 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 machines en mathématiques, l'apport des ordinateurs dans le développement des mathématiques, la formulation de conjectures par les mathématiciens sur la base de données produites par les ordinateurs, la polémique liée au statut d'une preuve mathématique non vérifiable par l'être humain, la formalisation des preuves en mathématiques, l'importance de ne pas mettre en compétition êtres humains et machines et de ne pas oublier la part de créativité que l'homme apporte aux mathématiques. Nature du document : documentaire Genre : Article de périodique [article] Les mathématiciens face au défi des machines [texte imprimé] / Michael Harris, Auteur . - Pour la science, 2022 . - p.26-34. in Pour la science > 535 (05/2022) Descripteurs : intelligence artificielle logique mathématique Mots-clés : raisonnement scientifique Résumé : 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 machines en mathématiques, l'apport des ordinateurs dans le développement des mathématiques, la formulation de conjectures par les mathématiciens sur la base de données produites par les ordinateurs, la polémique liée au statut d'une preuve mathématique non vérifiable par l'être humain, la formalisation des preuves en mathématiques, l'importance de ne pas mettre en compétition êtres humains et machines et de ne pas oublier la part de créativité que l'homme apporte aux mathématiques. Nature du document : documentaire Genre : Article de périodique

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
046563	Archives	périodique	Archives	documentaire	Disponible

"Moi, j'ai usé d'un argument d'autorité ?" / Isabelle Andriot / CRAP (2008) in Cahiers pédagogiques (Revue), 466 (10/2008)

Public ISBD [article]  inCahiers pédagogiques (Revue) > 466 (10/2008) Titre : "Moi, j'ai usé d'un argument d'autorité ?" Type de document : texte imprimé Auteurs : Isabelle Andriot, Auteur Editeur : CRAP, 2008 Article : p.11-12 Descripteurs : 2000- France logique mathématique mathématiques : discipline pédagogie Résumé : Analyse, en 2008, de la construction de l'objet mathématique dans l'enseignement en France : le choix d'une axiomatique, l'établissement de règles communes, le jeu collectif. Nature du document : documentaire Genre : Article de périodique [article] "Moi, j'ai usé d'un argument d'autorité ?" [texte imprimé] / Isabelle Andriot, Auteur . - CRAP, 2008 . - p.11-12. in Cahiers pédagogiques (Revue) > 466 (10/2008) Descripteurs : 2000- France logique mathématique mathématiques : discipline pédagogie Résumé : Analyse, en 2008, de la construction de l'objet mathématique dans l'enseignement en France : le choix d'une axiomatique, l'établissement de règles communes, le jeu collectif. Nature du document : documentaire Genre : Article de périodique

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
015950	Archives	périodique	Archives	documentaire	Disponible

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

Public ISBD [article]  inPour la science > 540 (10/2022) Titre : Pouvons-nous échapper à l'incomplétude ? Type de document : texte imprimé Auteurs : Jean-Paul Delahaye Editeur : Pour la science, 2022 Article : p.80-85 Descripteurs : logique mathématique Résumé : 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 énoncés par Kurt Gödel, la thèse de Daniel Isaacson. Nature du document : documentaire Genre : Article de périodique [article] Pouvons-nous échapper à l'incomplétude ? [texte imprimé] / Jean-Paul Delahaye . - Pour la science, 2022 . - p.80-85. in Pour la science > 540 (10/2022) Descripteurs : logique mathématique Résumé : 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 énoncés par Kurt Gödel, la thèse de Daniel Isaacson. Nature du document : documentaire Genre : Article de périodique

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
047179	Archives	périodique	Archives	documentaire	Disponible

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

Public ISBD [article]  inLa Recherche (Paris. 1970) > 534 (04/2018) Titre : Prouver à l'aide de l'infini Type de document : texte imprimé Auteurs : Philippe Pajot, Auteur Editeur : Sophia Publications, 2018 Article : p.61-62 Descripteurs : informatique logique mathématique Résumé : Présentation du travail de la chercheuse post-doctorante Amina Doumane qui a réussi à prouver un théorème de l'informatique théorique grâce à une preuve circulaire (ou infinitaire) : le lien entre théorie de la démonstration et logiques infinitaires. Encadré : les preuves circulaires. Nature du document : documentaire Genre : Article de périodique [article] Prouver à l'aide de l'infini [texte imprimé] / Philippe Pajot, Auteur . - Sophia Publications, 2018 . - p.61-62. in La Recherche (Paris. 1970) > 534 (04/2018) Descripteurs : informatique logique mathématique Résumé : Présentation du travail de la chercheuse post-doctorante Amina Doumane qui a réussi à prouver un théorème de l'informatique théorique grâce à une preuve circulaire (ou infinitaire) : le lien entre théorie de la démonstration et logiques infinitaires. Encadré : les preuves circulaires. Nature du document : documentaire Genre : Article de périodique

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
038666	Archives	périodique	Archives	documentaire	Disponible

RécréaMaths bis : énigmes et jeux mathématiques / Ivan Moscovich / [Cologne (Allemagne)] : H. F. Ullmann (2009)

Public ISBD Titre : RécréaMaths bis : énigmes et jeux mathématiques Type de document : texte imprimé Auteurs : Ivan Moscovich, Auteur Editeur : [Cologne (Allemagne)] : H. F. Ullmann, 2009 Description : 192 p Présentation : ill ISBN/ISSN : 978-3-8331-5375-4 Descripteurs : logique logique mathématique raisonnement Index. décimale : 510 Mathématiques Note de contenu : Logique, géométrie, raisonnement : ces ouvrages vous feront travailler vos capacités intellectuelles en jouant. Ils constituent l outil idéal pour faire travailler sa matière grise et stimuler son cerveau. Il n'est pas nécessaire d'être un crack en maths pour s'amuser, découvrez-le avec Récréamaths ! Nature du document : documentaire Niveau : COL/LYC/LYCSUP Discipline : Toutes matières RécréaMaths bis : énigmes et jeux mathématiques [texte imprimé] / Ivan Moscovich, Auteur . - [Cologne (Allemagne)] : H. F. Ullmann, 2009 . - 192 p : ill. ISBN : 978-3-8331-5375-4 Descripteurs : logique logique mathématique raisonnement Index. décimale : 510 Mathématiques Note de contenu : Logique, géométrie, raisonnement : ces ouvrages vous feront travailler vos capacités intellectuelles en jouant. Ils constituent l outil idéal pour faire travailler sa matière grise et stimuler son cerveau. Il n'est pas nécessaire d'être un crack en maths pour s'amuser, découvrez-le avec Récréamaths ! Nature du document : documentaire Niveau : COL/LYC/LYCSUP Discipline : Toutes matières

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
027412	510 MOS	livre	CDI-rayon 500 sciences	documentaire	Disponible

RécréaMaths : énigmes et jeux mathématiques / Ivan Moscovich / [Cologne (Allemagne)] : H. F. Ullmann (2009)

Public ISBD Titre : RécréaMaths : énigmes et jeux mathématiques Type de document : texte imprimé Auteurs : Ivan Moscovich, Auteur Editeur : [Cologne (Allemagne)] : H. F. Ullmann, 2009 Description : 192 p Présentation : ill ISBN/ISSN : 978-3-8331-5366-2 Descripteurs : logique logique mathématique raisonnement Index. décimale : 510 Mathématiques Note de contenu : Logique, géométrie, raisonnement : ces ouvrages vous feront travailler vos capacités intellectuelles en jouant. Ils constituent l outil idéal pour faire travailler sa matière grise et stimuler son cerveau. Il n'est pas nécessaire d'être un crack en maths pour s'amuser, découvrez-le avec Récréamaths ! Nature du document : documentaire Niveau : COL/LYC/LYCSUP Discipline : Toutes matières RécréaMaths : énigmes et jeux mathématiques [texte imprimé] / Ivan Moscovich, Auteur . - [Cologne (Allemagne)] : H. F. Ullmann, 2009 . - 192 p : ill. ISBN : 978-3-8331-5366-2 Descripteurs : logique logique mathématique raisonnement Index. décimale : 510 Mathématiques Note de contenu : Logique, géométrie, raisonnement : ces ouvrages vous feront travailler vos capacités intellectuelles en jouant. Ils constituent l outil idéal pour faire travailler sa matière grise et stimuler son cerveau. Il n'est pas nécessaire d'être un crack en maths pour s'amuser, découvrez-le avec Récréamaths ! Nature du document : documentaire Niveau : COL/LYC/LYCSUP Discipline : Toutes matières

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
027411	510 MOS	livre	CDI-rayon 500 sciences	documentaire	Disponible

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

Public ISBD [article]  inLa Recherche (Paris. 1970) > 563 (11/2020) Titre : De la régularité dans le désordre Type de document : texte imprimé Auteurs : Antoine Chambert-Loir, Auteur Editeur : Sophia Publications, 2020 Article : p.106-112 Descripteurs : logique mathématique Résumé : Présentation de la théorie de Ramsey, du nom du mathématicien britannique Franck Ramsey, en référence au théorème démontré en 1930. Encadré : le principe des tiroirs, outil inépuisable. Nature du document : documentaire Genre : Article de périodique [article] De la régularité dans le désordre [texte imprimé] / Antoine Chambert-Loir, Auteur . - Sophia Publications, 2020 . - p.106-112. in La Recherche (Paris. 1970) > 563 (11/2020) Descripteurs : logique mathématique Résumé : Présentation de la théorie de Ramsey, du nom du mathématicien britannique Franck Ramsey, en référence au théorème démontré en 1930. Encadré : le principe des tiroirs, outil inépuisable. Nature du document : documentaire Genre : Article de périodique

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
043955	Archives	périodique	Archives	documentaire	Disponible

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

Public ISBD [article]  inPour la science > 465 (07/2016) Titre : Des stratégies miraculeuses Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Editeur : Pour la science, 2016 Article : p.78-83 Note générale : Bibliographie. Descripteurs : logique mathématique probabilité problème mathématique Résumé : 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 variantes au problème des 50 prisonniers. Nature du document : documentaire Genre : Article de périodique [article] Des stratégies miraculeuses [texte imprimé] / Jean-Paul Delahaye, Auteur . - Pour la science, 2016 . - p.78-83. Bibliographie. in Pour la science > 465 (07/2016) Descripteurs : logique mathématique probabilité problème mathématique Résumé : 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 variantes au problème des 50 prisonniers. Nature du document : documentaire Genre : Article de périodique

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
035016	Archives	périodique	Archives	documentaire	Disponible

Les théorèmes d'incomplétude de Gödel / Hervé Lehning / Archimède (2020) in Tangente (Paris), 192 (02/2020)

Public ISBD [article]  inTangente (Paris) > 192 (02/2020) Titre : Les théorèmes d'incomplétude de Gödel Type de document : texte imprimé Auteurs : Hervé Lehning, Auteur Editeur : Archimède, 2020 Article : p.32-33 Note générale : Bibliographie. Descripteurs : logique mathématique Résumé : Explication et illustration à partir d'exemples des théorèmes d'incomplétude de Gödel basés sur les assertions indécidables et l'autoréférence. Encadré : un exemple d'une assertion improuvable sans l'axiome du choix. Nature du document : documentaire Genre : / Article de périodique/Article de périodique [article] Les théorèmes d'incomplétude de Gödel [texte imprimé] / Hervé Lehning, Auteur . - Archimède, 2020 . - p.32-33. Bibliographie. in Tangente (Paris) > 192 (02/2020) Descripteurs : logique mathématique Résumé : Explication et illustration à partir d'exemples des théorèmes d'incomplétude de Gödel basés sur les assertions indécidables et l'autoréférence. Encadré : un exemple d'une assertion improuvable sans l'axiome du choix. Nature du document : documentaire Genre : / Article de périodique/Article de périodique

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
42494	Archives	périodique	Archives	documentaire	Disponible

Le tout est-il plus que la somme des parties ? / Jean-Paul Delahaye / Pour la science (2017) in Pour la science, 477 (07/2017)

Public ISBD [article]  inPour la science > 477 (07/2017) Titre : Le tout est-il plus que la somme des parties ? Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Editeur : Pour la science, 2017 Article : p.80-85 Note générale : Bibliographie, webographie. Descripteurs : logique mathématique Résumé : 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èmes algorithmiques ou la complexité de Kolmogorov, le recours à la cryptographie visuelle et à la profondeur logique de Bennett, le cas des systèmes complexes. Nature du document : documentaire Genre : Article de périodique [article] Le tout est-il plus que la somme des parties ? [texte imprimé] / Jean-Paul Delahaye, Auteur . - Pour la science, 2017 . - p.80-85. Bibliographie, webographie. in Pour la science > 477 (07/2017) Descripteurs : logique mathématique Résumé : 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èmes algorithmiques ou la complexité de Kolmogorov, le recours à la cryptographie visuelle et à la profondeur logique de Bennett, le cas des systèmes complexes. Nature du document : documentaire Genre : Article de périodique

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
037454	Archives	périodique	Archives	documentaire	Disponible

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

Public ISBD [article]  inPour la science > 483 (01/2018) Titre : Trivial, mais puissant : le principe des tiroirs Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Editeur : Pour la science, 2018 Article : p.74-79 Note générale : Bibliographie. Descripteurs : logique mathématique Mots-clés : loi et principe scientifique Résumé : Présentation, en mathématiques, du principe des tiroirs, de ses variantes et de ses différentes applications. Nature du document : documentaire Genre : Article de périodique [article] Trivial, mais puissant : le principe des tiroirs [texte imprimé] / Jean-Paul Delahaye, Auteur . - Pour la science, 2018 . - p.74-79. Bibliographie. in Pour la science > 483 (01/2018) Descripteurs : logique mathématique Mots-clés : loi et principe scientifique Résumé : Présentation, en mathématiques, du principe des tiroirs, de ses variantes et de ses différentes applications. Nature du document : documentaire Genre : Article de périodique

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
038193	Archives	périodique	Archives	documentaire	Disponible

Tu as plutôt une intelligence logico-mathématique / Bayard Presse (2022) in Phosphore (Paris), 2210 (11/2022)

Public ISBD [article]  inPhosphore (Paris) > 2210 (11/2022) Titre : Tu as plutôt une intelligence logico-mathématique Type de document : texte imprimé Editeur : Bayard Presse, 2022 Article : p.62-70 Descripteurs : logique mathématique métier Mots-clés : compétence (psychologie) Résumé : Présentation de métiers qui nécessitent des aptitudes en logique et en mathématiques : archiviste, épidémiologiste, bio-informaticien, data scientist, comptable, cryptologue, microtechnologue, ingénieur algorithme et IA, sociologue, référenceur web, ingénieur logiciel, développeur, technicien, intégrateur satellite, trader, responsable sécurité des systèmes d'information, contrôleur financier, ingénieur de recherche, data miner. Interview d'un analyste data visualisation. Nature du document : documentaire Genre : Article de périodique [article] Tu as plutôt une intelligence logico-mathématique [texte imprimé] . - Bayard Presse, 2022 . - p.62-70. in Phosphore (Paris) > 2210 (11/2022) Descripteurs : logique mathématique métier Mots-clés : compétence (psychologie) Résumé : Présentation de métiers qui nécessitent des aptitudes en logique et en mathématiques : archiviste, épidémiologiste, bio-informaticien, data scientist, comptable, cryptologue, microtechnologue, ingénieur algorithme et IA, sociologue, référenceur web, ingénieur logiciel, développeur, technicien, intégrateur satellite, trader, responsable sécurité des systèmes d'information, contrôleur financier, ingénieur de recherche, data miner. Interview d'un analyste data visualisation. Nature du document : documentaire Genre : Article de périodique

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
047317	ORI FOR	périodique	Espace Orientation	documentaire	Disponible