La théorie des ensembles : introduction à une théorie de l'infini et des grands cardinaux / Patrick, Dehornoy [ Livre]

Auteur principal: Dehornoy, Patrick, 1952-....Langue: Français ; de l'oeuvre originale, Français.Publication : Paris : Calvage & Mounet, 2017Description : 1 vol. (xx-649 p.) ; 24 cmISBN: 9782916352404.Collection: Tableau noir, 106Classification: 510 MathématiquesRésumé: Non, la théorie des ensembles, ce n'est pas dessiner des patates et des flèches... c'est élaborer en une théorie mathématique notre exploration de l'infini, ni plus, ni moins. Non, la théorie des ensembles n'est pas le système fondationnel unique des mathématiques... c'est un des systèmes possibles, tout comme par exemple la récente théorie homotopique des types. Non, l'entier 2 n'est pas l'ensemble {0,{0}}... celui-ci n'est qu'une représentation de l'entier 2 par un ensemble. Non, la non-prouvabilité de l'hypothèse du continu à partir du système ZF n'indique pas que la question doive rester à jamais ouverte... c'est juste le signe que les bases axiomatiques actuelles sont incomplètes : le système ZF a d'ores et déjà été amendé, et le sera probablement à nouveau dans le futur. Oui, la théorie des ensembles est une magnifique théorie qui, peu à peu, apporte de la lumière dans le monde de l'infini, et Oui, même si les détails sont parfois arides et exigeants, il est possible de bien saisir les grandes étapes de son cheminement. C'est le sujet de ce livre. .Sujet - Nom commun: Théorie des ensembles | Grands nombres cardinaux
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Mathématiques
510 DEH (Browse shelf) Available 510 Mathématiques 037616

Non, la théorie des ensembles, ce n'est pas dessiner des patates et des flèches... c'est élaborer en une théorie mathématique notre exploration de l'infini, ni plus, ni moins. Non, la théorie des ensembles n'est pas le système fondationnel unique des mathématiques... c'est un des systèmes possibles, tout comme par exemple la récente théorie homotopique des types. Non, l'entier 2 n'est pas l'ensemble {0,{0}}...
celui-ci n'est qu'une représentation de l'entier 2 par un ensemble. Non, la non-prouvabilité de l'hypothèse du continu à partir du système ZF n'indique pas que la question doive rester à jamais ouverte... c'est juste le signe que les bases axiomatiques actuelles sont incomplètes : le système ZF a d'ores et déjà été amendé, et le sera probablement à nouveau dans le futur. Oui, la théorie des ensembles est une magnifique théorie qui, peu à peu, apporte de la lumière dans le monde de l'infini, et Oui, même si les détails sont parfois arides et exigeants, il est possible de bien saisir les grandes étapes de son cheminement.
C'est le sujet de ce livre.

Powered by Koha