Descripteurs
> 1305 mathématiques > mathématique > logique mathématique
logique mathématiqueSynonyme(s)logique formelleVoir aussi |
Documents disponibles dans cette catégorie (20)
Ajouter le résultat dans votre panier Affiner la recherche
Les 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 [article]Delahaye Jean-Paul. « Les délicats paradoxes de Berry et de Skolem » in Pour la science, 525 (07/2021), p.80-85.
Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives Périodiques lycée CDI Lycée 00073433 Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Discret et continu in Tangente. Hors-série, 13 (octobre 2002)
[article]
Titre : Discret et continu Type de document : texte imprimé Année : 2002 Article : p. 33-47
in Tangente. Hors-série > 13 (octobre 2002)Descripteurs : infini / logique mathématique Résumé : Dossier sur l'objet et l'idée d'objet, des rationnels aux réels, comprendre le continu et ses caractéristiques. Encadrés sur Georg Cantor, Kurt Goedel et l'hypothèse du continu. La diagonale de Cantor. Encadré sur les axiomes de Peano. Graphiques.
Nature du document : documentaire [article]« Discret et continu » in Tangente. Hors-série, 13 (octobre 2002), p. 33-47.
Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité archives Périodiques lycée CDI Lycée 102322 Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Discret et continu (2) in Tangente. Hors-série, 13 (octobre 2002)
[article]
Titre : Discret et continu (2) Type de document : texte imprimé Année : 2002 Article : p. 78-95
in Tangente. Hors-série > 13 (octobre 2002)Descripteurs : arithmétique / infini / logique mathématique Résumé : Dossier : le poids des nombres rationnels, la constante de Planck, le théorème de Brouwer, les intuitionistes. Rappel historique de la conception platonicienne, de la conception formaliste, de la conception intuitionniste et de la conception constructiviste des mathématiques. Le paradoxe du menteur. Bibliographie, webographie.
Nature du document : documentaire [article]« Discret et continu (2) » in Tangente. Hors-série, 13 (octobre 2002), p. 78-95.
Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité archives Périodiques lycée CDI Lycée 102322 Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Du fini à l'infini et réciproquement (2) in Tangente. Hors-série, 13 (octobre 2002)
[article]
Titre : Du fini à l'infini et réciproquement (2) Type de document : texte imprimé Année : 2002 Article : p. 50-77
in Tangente. Hors-série > 13 (octobre 2002)Descripteurs : infini / logique mathématique Résumé : Dossier : représentations géométriques de l'infini, projection, inversion, la méthode de Monte-Carlo, les ensembles compacts, les ordres de grandeurs, l'axiome du choix, applications en probabilités, le théorème de Cantor-Schröder-Bernstein, le transfini. Bibliographie, webographie.
Nature du document : documentaire [article]« Du fini à l'infini et réciproquement (2) » in Tangente. Hors-série, 13 (octobre 2002), p. 50-77.
Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité archives Périodiques lycée CDI Lycée 102322 Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
En finir avec l'hypothèse du continu / Jean-Paul Delahaye / Pour la science (2019) in Pour la science, 504 (10/2019)
[article]
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)
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 [article]Delahaye Jean-Paul. « En finir avec l'hypothèse du continu » in Pour la science, 504 (10/2019), p.26-36.
Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives Périodiques lycée CDI Lycée 068040 Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Lewis Carrol au pays de la logique / Amirouche Moktefi / Pour la science (2009) in Les Génies de la science, 038 (02/2009)
PermalinkLa logique in Tangente. Hors-série, 20 (juin 2004)
PermalinkLa logique élémentaire in Tangente. Hors-série, 15 (mai 2003)
PermalinkLogique et informatique in Tangente. Hors-série, 15-2 (mai 2003)
PermalinkMathémagic / David John Acheson / Belin (2013)
PermalinkLes mathématiciens face au défi des machines / Michael Harris / Pour la science (2022) in Pour la science, 535 (05/2022)
Permalink"Moi, j'ai usé d'un argument d'autorité ?" / Isabelle Andriot / CRAP (2008) in Cahiers pédagogiques (Revue), 466 (10/2008)
PermalinkPetites énigmes mathématiques et logiques / Ian Stewart / Librio (2016)
PermalinkPouvons-nous échapper à l'incomplétude ? / Jean-Paul Delahaye / Pour la science (2022) in Pour la science, 540 (10/2022)
PermalinkLe projet de Hilbert in Tangente. Hors-série, 15 (mai 2003)
Permalink