Ressource pédagogique : L’informatique au c?ur des limites de l’esprit

Accédez à la ressource pédagogique L’informatique au c?ur des limites de l’esprit
Les concepts d?algorithmes et de programmes informatiques ont été utilisés par le logicien autrichien Kurt Gödel dans les années 1930, bien avant l?apparition du premier ordinateur afin de démontrer deux théorèmes d?une très grande profondeur, qui portent sur les limites de l?esprit et de la logique...
Mots-clés :
Accéder à la ressource pédagogiqueDroits d'accès : non autorisé
cours / présentation, démonstration - Date de création : 07-09-2022
Auteur(s) : Benoit Monin
Partagez !

Présentation de: L’informatique au c?ur des limites de l’esprit

Informations pratiques sur cette ressource

Français
Type pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Langue de l'apprenant : Français
Contenu : texte, image, ressource interactive
Public(s) cible(s) : apprenant
Document : Document HTML
Age attendu de l'utilisateur : 18+
Droits : pas libre de droits, gratuit
Ce document est diffusé sous licence Creative Commons : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Description de la ressource pédagogique

Description (résumé)

Les concepts d?algorithmes et de programmes informatiques ont été utilisés par le logicien autrichien Kurt Gödel dans les années 1930, bien avant l?apparition du premier ordinateur afin de démontrer deux théorèmes d?une très grande profondeur, qui portent sur les limites de l?esprit et de la logique. Essayons de suivre son cheminement.

  • Granularité : grain
  • Structure : atomique

"Domaine(s)" et indice(s) Dewey

  • (511.3)

Thème(s)

Informations pédagogiques

    Informations techniques sur cette ressource pédagogique

      Intervenants, édition et diffusion

      Intervenants

      Créateur(s) de la métadonnée : Valérie François

      Editeur(s)

      • Inria / Interstices

      Diffusion

      Partagez !

      ÉDITION

      Inria / Interstices

      EN SAVOIR PLUS

      • Identifiant de la fiche
        http://ori.unit-c.fr/uid/unit-ori-wf-1-7571
      • Identifiant
        unit-ori-wf-1-7571
      • Statut de la fiche
        final
      • Schéma de la métadonnée
      • Entrepôt d'origine
        UNIT
      • Date de publication
        22-05-2015