2 résultats : théorie des ensembles

Recherche en cours

Par mots-clef = théorie des ensembles

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

2 résultats

page 1 sur 1

résultats 1 à 2

Les fondements des mathématiques

Description : "La "" crise des fondements "" s'ouvre en 1897 avec le paradoxe de Burali-Forti, une contradiction dans la toute jeune théorie des Ensembles. Parmi les solutions proposées, le "" Programme de Hilbert "" (~ 1925) accorde un rôle privilégié à la non-contradiction formelle. Le théorème d'incomplétude ...

Mots clés : analyse, théorème de Gödel, récessivité, Popperisme, paradoxe, langage informatique, intuitionnisme, Hilbert, formalisme mathématique, expansivité, diagonale de Cantor, arithmétique de Peano, théorie des ensembles

Date : 17-06-2000

Droits : Droits réservés à l'éditeur et aux auteurs.

Les fondements des mathématiques

Ajouter à mon panier

Accéder aux documents

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 ?

Mots clés : ordinateur, logique mathématique, théorie des ensembles, machine de Turing, problème de la décision, histoire de l'informatique, fuscia

Date : 06-02-2006

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

En toute logique : une origine de l’ordinateur

Ajouter à mon panier

Accéder au document

Rebondir