Descripteurs
> 1305 mathématiques > mathématique > logique mathématique
logique mathématiqueSynonyme(s)logique formelleVoir aussi |
Documents disponibles dans cette catégorie (2)
Ajouter le résultat dans votre panier Affiner la recherche
Des indécidables à portée de main / Jean-Paul Delahaye / Pour la science (2016) in Pour la science, 468 (10/2016)
[article]
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)
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 [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 Des stratégies miraculeuses / Jean-Paul Delahaye / Pour la science (2016) in Pour la science, 465 (07/2016)
[article]
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. Langues : Français (fre)
in Pour la science > 465 (07/2016)Descripteurs : logique mathématique
probabilité
problème mathématiqueRé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.
Langues : Français (fre)
in Pour la science > 465 (07/2016)
Descripteurs : logique mathématique
probabilité
problème mathématiqueRé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