Fondements des mathématiques.

[Vassia Pupkin]

Quels sont les axiomes de la théorie NBG des ensembles ?

[Antikhippe]

La théorie NBG reprend les axiomes de la théorie ZFC, dont certains sont modifiés pour tenir compte de l'existence des classes.

[Vassia Pupkin]

... quelles sont ces modifications

[Antikhippe]

Ben dans la théorie NBG, les objets sont des classes, et les ensembles y sont définis comme les classes pour lesquelles il existe des classes les contenant. Après, je ne connais pas grand chose sur ce sujet...

[Vassia Pupkin]

Vlà (par contre y'a plein de trucs hors-sujets). Il faudra surement changé certains points car ils parlent de théorie PNBG, c'est en liaison avec les fonctions récursives.

[Vassia Pupkin]

Le fichier est trop gros ..

[Antikhippe]

Envoie juste le lien, sinon...

[Vassia Pupkin]

Le voilà

http://scholar.google.com/scholar?q=...oe=UTF-8&hl=en

[Antikhippe]

Le voilà

http://scholar.google.com/scholar?q=...oe=UTF-8&hl=en

Et c'est lequel parmi tous ces renvois ?

[Vassia Pupkin]

Le troisième, c'est un pdf sur les fonctions partielles récursives

[Antikhippe]

Le troisième, c'est un pdf sur les fonctions partielles récursives

Ah, ok... Merci !

[A1]

Je l'ouvre plutôt comme ASP,pas PDF!

[A1]

Ah!ok j'vois,j'ai du ouvrir le 4 ème!!

[Vassia Pupkin]

Apparemment il existe une troisième formalisation, celle de Tarski-Grothendieck ...
Vous en avez entendu parler ?