Méthode axiomatique et formalisme (Record no. 3752)
[ view plain ]
| 010 ## - ISBN | |
|---|---|
| ISBN | 2-7056-5941-2 |
| disponibilité et/ou prix | 13.72Eur |
| 100 ## - Données générales de traitement | |
| a | 20150504 frey50 |
| 101 ## - Langue | |
| langue doc. | français |
| 105 ## - Zone de données codées : textes, monographies | |
| données codées - monographies | a jq 000yy |
| 200 ## - Titre | |
| titre propre | Méthode axiomatique et formalisme |
| sous-titre | Essai sur le problème du fondement des mathématiques |
| auteur | CAVAILLES Jean |
| auteur secondaire | Introd. de Jean-Toussaint Desanti ; Préf. de Henri Cartan |
| type document | Livre |
| 210 ## - Editeur | |
| lieu de publication | Paris |
| nom de l'éditeur | Hermann |
| date de publication | 1981 |
| 215 ## - Description | |
| Importance matérielle | 196 p. |
| 320 ## - Note | |
| note | Bibliogr.p.184-191 |
| 320 ## - Note | |
| note | Index p.192-194 |
| 330 ## - Résumé | |
| Résumé | Le problème posé par la crise de la théorie des ensembles. - Axiomatisations et formalisations au dix-neuvième siècle. - La méthode axiomatique. - Définition d'un système formel en général. - Le formalisme hilbertien et l'analyse. - les démonstrations de non-contradiction |
| 345 ## - note | |
| Renseignements sur l'acquisition | |
| 600 ## - sujets | |
| sujet | Ackermann |
| subdiv. sujet | Méthode de valuation |
| 600 ## - sujets | |
| sujet | Borel |
| subdiv. sujet | Empirisme |
| 600 ## - sujets | |
| sujet | Brouwer |
| subdiv. sujet | Intuitionnisme |
| 600 ## - sujets | |
| sujet | Dedekind |
| 600 ## - sujets | |
| sujet | Desargues |
| subdiv. sujet | Théorème de |
| 600 ## - sujets | |
| sujet | Descartes |
| subdiv. sujet | Etendue |
| 600 ## - sujets | |
| sujet | Frege |
| 600 ## - sujets | |
| sujet | Gentzen |
| 600 ## - sujets | |
| sujet | Godel |
| subdiv. sujet | Théorème de |
| 600 ## - sujets | |
| sujet | Grassmann |
| 600 ## - sujets | |
| sujet | Hankel |
| 600 ## - sujets | |
| sujet | Herbrand |
| subdiv. sujet | Théorème de |
| 600 ## - sujets | |
| sujet | Hilbert |
| 600 ## - sujets | |
| sujet | Kant |
| subdiv. sujet | Schématisme |
| -- | Intuition spatiale |
| 600 ## - sujets | |
| sujet | Lebesgue |
| subdiv. sujet | Nommable |
| 600 ## - sujets | |
| sujet | Leibniz |
| subdiv. sujet | Panlogisme |
| 600 ## - sujets | |
| sujet | Loewenheim Skolem |
| subdiv. sujet | Théorème de |
| 600 ## - sujets | |
| sujet | Pasch |
| subdiv. sujet | Géométrie projective |
| 600 ## - sujets | |
| sujet | Russell |
| 600 ## - sujets | |
| sujet | Von Neumann |
| 606 ## - sujets | |
| sujet | Axiomatisation |
| 606 ## - sujets | |
| sujet | Axiome |
| 606 ## - sujets | |
| sujet | Calcul Desarguien |
| 606 ## - sujets | |
| sujet | Continu |
| 606 ## - sujets | |
| sujet | FORMALISME |
| 606 ## - sujets | |
| sujet | Méthode axiomatique |
| 606 ## - sujets | |
| sujet | Valuation |
| subdiv. sujet | Méthode de |
| 608 ## - sujets | |
| sujets | EPISTEMOLOGIE |
| 610 ## - sujets | |
| sujet | EPISTEMOLOGIE |
| 610 ## - sujets | |
| sujet | HISTOIRE DES MATHEMATIQUES |
| 700 1# - Auteur | |
| auteur | Cavaillès |
| prénom | Jean |
| fonction auteur | Auteur |
| 702 1# - Auteur secondaire | |
| nom | Cartan |
| prénom | Henri |
| qualificatifs | Préf. |
| 702 1# - Auteur secondaire | |
| nom | Desanti |
| prénom | Jean-Toussaint |
| qualificatifs | Introd. |
| 801 ## - source de catalogage | |
| pays | TN |
| agence de catalogage | BIB.CEC |
| date de la transaction | 20030530 |
| règles de catalogage utilisées | UNIMARC |
| Propriétaire | Dépositaire | Localisation | Cote | date d'inventaire | Numéro d'inventaire | Exclu du prêt |
|---|---|---|---|---|---|---|
| Bibliothèque Centre d'Etudes de Carthage | Bibliothèque Centre d'Etudes de Carthage | Magasin | IIH/Ma/CAV | 06/02/2021 | 19 854 | Exclu du prêt |