Descripteurs
> 1305 mathématiques > mathématique > logique mathématique
logique mathématiqueSynonyme(s)logique formelleVoir aussi |
Documents disponibles dans cette catégorie (22)
Ajouter le résultat dans votre panier Affiner la recherche
Pouvons-nous échapper à l'incomplétude ? / Jean-Paul Delahaye / Pour la science (2022) in Pour la science, 540 (10/2022)
[article]
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 Langues : Français (fre)
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 [article]Delahaye Jean-Paul. « Pouvons-nous échapper à l'incomplétude ? » in Pour la science, 540 (10/2022), 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 00076226 Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Le projet de Hilbert in Tangente. Hors-série, 15 (mai 2003)
[article]
Titre : Le projet de Hilbert Type de document : texte imprimé Année : 2003 Article : p. 27-40
in Tangente. Hors-série > 15 (mai 2003)Descripteurs : logique mathématique / théorie des ensembles Résumé : Dossier sur les assertions vraies et non prouvables, le paradoxe du menteur, la preuve de Godel, vrai faux et indéterminé, les énigmes de Raymond Smullyan, les machines de Turing. Comment le programme du mathématicien "formaliste" Hilbert s'appuyant sur une démonstration absolue de la non-contradiction des mathématiques sera mis en cause par les théorèmes d'incomplétude de Godel. Bibliographie.
Nature du document : documentaire [article]« Le projet de Hilbert » in Tangente. Hors-série, 15 (mai 2003), p. 27-40.
Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Prouver à l'aide de l'infini / Philippe Pajot / Sophia Publications (2018) in La Recherche (Paris. 1970), 534 (04/2018)
[article]
Titre : Prouver à l'aide de l'infini Type de document : texte imprimé Auteurs : Philippe Pajot, Auteur Editeur : Sophia Publications, 2018 Article : p.61-62 Langues : Français (fre)
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 [article]Pajot Philippe. « Prouver à l'aide de l'infini » in La Recherche (Paris. 1970), 534 (04/2018), p.61-62.
Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité archives Périodiques lycée CDI Lycée 063320 Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
De la régularité dans le désordre / Antoine Chambert-Loir / Sophia Publications (2020) in La Recherche (Paris. 1970), 563 (11/2020)
[article]
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 Langues : Français (fre)
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 [article]Chambert-Loir Antoine. « De la régularité dans le désordre » in La Recherche (Paris. 1970), 563 (11/2020), p.106-112.
Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité archives Périodiques lycée CDI Lycée 071495 Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Le tout est-il plus que la somme des parties ? / Jean-Paul Delahaye / Pour la science (2017) in Pour la science, 477 (07/2017)
[article]
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. Langues : Français (fre)
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 [article]Delahaye Jean-Paul. « Le tout est-il plus que la somme des parties ? » in Pour la science, 477 (07/2017), 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 061098 Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Trivial, mais puissant : le principe des tiroirs / Jean-Paul Delahaye / Pour la science (2018) in Pour la science, 483 (01/2018)
PermalinkTu as plutôt une intelligence logico-mathématique / Bayard Presse (2022) in Phosphore. Hors-série, 2210 (11/2022)
Permalink