Rechercher une ressource pédagogique : théorème de Gödel

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.
1 résultat
section 1 sur 1
résultats 1 à 1
Canal-U
Canal-U
22.02.2006
Description : En 1931, Kurt Gödel (1906 - 1978) démontrait, dans un article révolutionnaire, qu'un système d'axiomes cohérent et suffisamment expressif est susceptible de générer des énoncés dont la validité ne peut être démontrée dans le cadre des règles mêmes qui gouvernent la formulation de ces énoncés et ...
  • philosophie des mathématiques
  • théorie mathématique
  • intuitionnisme
  • théorème de Gödel
  • théorie des ensembles
  • théorie des groupes
  • calculabilité
  • formalisation mathématique
  • théorème d’incomplétude