Détail de l'auteur
Auteur Hervé Lehning |
Documents disponibles écrits par cet auteur (47)
Ajouter le résultat dans votre panier Affiner la recherche
Les théorèmes d'incomplétude de Gödel / Hervé Lehning / Archimède (2020) in Tangente (Paris), 192 (02/2020)
[article]
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. Langues : Français (fre)
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 [article] Les théorèmes d'incomplétude de Gödel [texte imprimé] / Hervé Lehning, Auteur . - Archimède, 2020 . - p.32-33.
Bibliographie.
Langues : Français (fre)
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 Les tunnels / Hervé Lehning / Archimède (2010) in Tangente (Paris), 132 (01/2010)
[article]
Titre : Les tunnels Type de document : texte imprimé Auteurs : Hervé Lehning, Auteur Editeur : Archimède, 2010 Article : p.35-41 Langues : Français (fre)
in Tangente (Paris) > 132 (01/2010)Descripteurs : mathématique appliquée / tunnel Résumé : Dossier, réalisé en 2010, sur les calculs et méthodes d'arpentage antiques pour creuser un tunnel à Samos. Les techniques contemporaines de perçage. Encadré : les profils de tunnel. Nature du document : documentaire Genre : Article de périodique/Enquête, reportage [article] Les tunnels [texte imprimé] / Hervé Lehning, Auteur . - Archimède, 2010 . - p.35-41.
Langues : Français (fre)
in Tangente (Paris) > 132 (01/2010)
Descripteurs : mathématique appliquée / tunnel Résumé : Dossier, réalisé en 2010, sur les calculs et méthodes d'arpentage antiques pour creuser un tunnel à Samos. Les techniques contemporaines de perçage. Encadré : les profils de tunnel. Nature du document : documentaire Genre : Article de périodique/Enquête, reportage