Aide à la recherche   Recherche Avancée   Imprimer la fiche   Aidez-nous à améliorer cette fiche

Titre : Information, complexité et hasard.
English title: Information, complexity and randomness.

Editeur : Hermès Paris, 1994 Collection : Langue, raisonnement, calcul
Format : 275 p. Bibliogr. p. 251-266
ISBN : 2-86601-410-3 EAN : 9782866014100  ISSN : 0988-0569

Type : ouvrage (au sens classique de l'édition) Langue : Français Support : papier

Public visé : élève ou étudiant, enseignant Niveau Niveau scolaire visé par l'article : master Age : 21, 22, 23

Classification : E25Métamathématique. Aspects philosophiques et éthiques des mathématiques. Épistémologie des mathématiques
Enseignement supérieur E35Logique. Acquisition des capacités de raisonnement logique.
Enseignement supérieur 

Cet ouvrage décrit les nouvelles avancées de la théorie du calcul et de la logique. Il examine spécialement la théorie algorithmique de l'information.

Notes :
Cet ouvrage a été réédité en 1999.

Mots clés :

• aléatoire
• algorithme
• automate
• "axiomatique de Zermelo-Fraenkel"
• "codage informatique"
• "complexité aléatoire"
• "complexité de Bennett"
• "complexité de Kolmogorov"
• "conjecture P=NP"
• "décidabilité et indécidabilité"
• déterminisme
• discrétisation
• effectivité
• "ensemble dénombrable"
• "ensemble incompressible"
• "ensemble infini"
• "ensemble récursif"
• "ensemble récursivement énumérable"
• "fonction calculable"
• "fonction récursive"
• informatique
• logique
• "logique formelle"
• "logique mathématique"
• "machine de Turing"
• "mathématiques et biologie"
• "mathématiques et philosophie"
• "nombre calculable"
• "nombre imprédictible"
• "nombre récursif"
• "paradoxe du menteur"
• "paradoxe sémantique"
• "philosophie de la logique"
• "raisonnement inductif"
• "suite aléatoire"
• "système formel"
• "théorème d'incomplétude de Gödel"
• "théorème de Shannon"
• "théorie de l'information"
• "théorie de la calculabilité"
• "théorie de types de Russell"
• "théorie des ensembles"
• "thèse de Chaitin"
• "thèse de Church"
• "thèse de Church-Turing"
• "thèse de Martin-Löf"
• "thèse de Von Mises"
• vérité
• "vérité d'Austin"
• "vérité de Kripke"
• "vérité de Tarski"

Aide à la recherche   Recherche Avancée   Imprimer la fiche   Aidez-nous à améliorer cette fiche