Méthode axiomatique et formalisme. Essai sur le problème du fondement des mathématiques
Par :Formats :
- Paiement en ligne :
- Livraison à domicile ou en point Mondial Relay indisponible
- Retrait Click and Collect en magasin gratuit
- Nombre de pages196
- PrésentationBroché
- FormatGrand Format
- Poids0.37 kg
- Dimensions16,9 cm × 24,3 cm × 1,2 cm
- ISBN2-7056-5941-2
- EAN9782705659417
- Date de parution01/10/1981
- ÉditeurHermann
- PréfacierJean-Toussaint Desanti
- PréfacierHenri Cartan
Résumé
Préfaces de d'Henri Cartan et de J. -T Desanti. Jeune philosophe, martyr de la Résistance dont l'action et le rôle furent liés à ceux de Jean Moulin, Cavaillès est l'un des penseurs qui ont marqué la génération de Sartre et de Camus et qui continue à influencer profondément la philosophie contemporaine. Le problème posé par la crise de la théorie des ensembles. Axiomatisation et formalisation au dix-neuvième siècle.
La méthode axiomatique. Défintion d'un système formel en général. Le formalisme hilbertien et l'analyse. Les démonstrations de non-contradiction.
La méthode axiomatique. Défintion d'un système formel en général. Le formalisme hilbertien et l'analyse. Les démonstrations de non-contradiction.
Préfaces de d'Henri Cartan et de J. -T Desanti. Jeune philosophe, martyr de la Résistance dont l'action et le rôle furent liés à ceux de Jean Moulin, Cavaillès est l'un des penseurs qui ont marqué la génération de Sartre et de Camus et qui continue à influencer profondément la philosophie contemporaine. Le problème posé par la crise de la théorie des ensembles. Axiomatisation et formalisation au dix-neuvième siècle.
La méthode axiomatique. Défintion d'un système formel en général. Le formalisme hilbertien et l'analyse. Les démonstrations de non-contradiction.
La méthode axiomatique. Défintion d'un système formel en général. Le formalisme hilbertien et l'analyse. Les démonstrations de non-contradiction.