Ensembles

Résumé : En 1935, un groupe de mathématiciens français eut l'ambition de reconstruire tout l'édifice mathématique (sans S pour bien montrer l'unité) selon la pensée formaliste de Hilbert. Les membres fondateurs ont été Henri Cartan, Claude Chevalley, Jean Delsarte, Jean Dieudonné, André Weil auxquels se joindra René de Possel. En juillet 1935 fut donc créé, lors d'un séminaire en Auvergne le groupe 'Nicolas Bourbaki'. Le nom de cette association fait référence en fait à une anecdote qui se passa au sein de l'école nationale supérieure (ENS). Un étudiant de l'ENS vers 1880, dans le but de visiter l'école, se fi passer pour un général : Le général Bourbaki. Ce dernier a réellement existé, élève de saint cyr, il a été renommé dans les guerres en Crimée ou en 1870 dans la guerre du Rhin. L'ouvrage de Bourbaki (l'association) se résume en 40 volumes et quelques 7000 pages. Ils constituent une véritable bible des mathématiques des années 1960-70. Trop complexe cependant, très abstrait, il est aujourd'hui moins cité et peu utilisé par les étudiants. Dans ce volume, nous ne rentrerons pas volontairement dans les détails philosophiques, sémantiques...que soulève la théorie des ensembles. Nous poserons simplement les bases de cette dernière (Z,ZF,ZFC) ainsi que de l'arithmétique (Peano), qui sont, finalement celles que nous utilisons depuis le primaire (cohérentes mais incomplètes !)
Type de document :
Cours
Licence. Ensembles, 2012
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger

https://cel.archives-ouvertes.fr/cel-00765690
Contributeur : Géraud Sarrebourse de La Guillonnière <>
Soumis le : dimanche 16 décembre 2012 - 00:46:06
Dernière modification le : lundi 9 avril 2018 - 12:20:04
Document(s) archivé(s) le : dimanche 17 mars 2013 - 02:35:09

Identifiants

  • HAL Id : cel-00765690, version 1

Collections

Citation

Géraud Sarrebourse de La Guillonnière. Ensembles. Licence. Ensembles, 2012. 〈cel-00765690〉

Partager

Métriques

Consultations de la notice

638

Téléchargements de fichiers

2216