Rechercher une ressource pédagogique : théorie des ensembles

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.

FILTRES

2 résultats
section 1 sur 1
résultats 1 à 2
UNIT
UNIT
06.02.2006
En toute logique : une origine de l’ordinateur
Description : L’ordinateur résout toutes sortes de problèmes n’ayant aucun lien apparent entre eux. Comment, à travers les siècles, s’est développé le principe à partir duquel a pu être imaginée une telle machine universelle ?
  • ordinateur
  • logique mathématique
  • théorie des ensembles
  • machine de Turing
  • problème de la décision
  • histoire de l'informatique
  • fuscia
Canal-U
Canal-U
22.02.2006
Les théorèmes de Gödel : fin d’un espoir ?
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