Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-07152-5
Lecture notes in mathematics , 0450
Localisation : Collection 1er étage
action nilpotente sur groupe nilpotent # anneau commutatif # anneau de polynôme commutatif # anneau de série de puissance # classe d'axiome # forcing # logique et fondation # logique modale propositionnelle # système de remplacement # théorie de la dimension # théorie de récursion et algèbre # théorème de Church- Rosser # théorème de structure pour inverse semi-groupe
00-02 ; 00Bxx ; 01A05 ; 01A60 ; 03-03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Localisation : Salle de manutention
algèbre commutative # analyse # calcul formel # forme quadratique # géométrie algorithmique # géométrie algébrique réelle # géométrie analytique # histoire des mathématiques # logique # théorie de la complexité # théorie des modèles # topologie algébrique # topologie différentielle # équation
03-03 ; 12-03 ; 14-03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 273 p.
ISBN 978-2-8417-4372-8
Philosophia scientiae , 0005
Localisation : Salle de manutention
histoire des mathématiques # épistémologie # mathématique Grecques # théorie des types # fondement des mathématiques # preuve algébrique # Hindenburg # Grassman # Ausdehnungslehre # leopold Kronecker # Cantor #perspective hétérodoxe # Russell # Zermelo # théorie des ensembles # Hilbert # L.E.J. Brouwer # Roger Apéry # E. Nelson # G. Reeb
01-06 ; 03-03 ; 03A05 ; 01A20 ; 01A60 ; 01A55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-90-277-0614-0
The university of western ontario series in philosophy of science , 0006
Localisation : Colloque 1er étage (LOND)
application minimum de principe de changement # application épistémique # changement de croyance itéré # changement de croyance rationnel # changement de préférence # cinématique de probabilité # complexité de calcul # conditionnalisation # conditionnel contrefactuel # conditionnel de test de Ramsey # description incomplète et langage # fonction de Popper # fondation # indépendance stochastique # inférence statistique # logique pour croyance subjective # observation # probabilité de conditionnel # probabilité précédente # simplicité # stabilité de fréquence relative # théorie des probabilités # théorie statistique de la science
application minimum de principe de changement # application épistémique # changement de croyance itéré # changement de croyance rationnel # changement de préférence # cinématique de probabilité # complexité de calcul # conditionnalisation # conditionnel contrefactuel # conditionnel de test de Ramsey # description incomplète et langage # fonction de Popper # fondation # indépendance stochastique # inférence statistique # logique pour croyance ...
03-03 ; 03-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-87656-0
Studies in logic and the foundations of mathematics , 0114
Localisation : Colloque 1er étage (SALZ)
fondements des mathematiques # logique # philosophie des sciences
00A35 ; 00A69 ; 03-03 ; 03A05 ; 03E25 ; 00A30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8176-3444-5
Localisation : Colloque 1er étage (CHIC)
histoire de la logique # histoire des mathematiques # logique mathematique # logique symbolique
03-03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 566 p.
ISBN 978-0-8284-0238-5
Localisation : Ouvrage RdC (BOCH)
philosophie et fondation des mathématiques # histoire # logique
03-03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 70 p.
Notre Dame Mathematical Lectures , 0008
Localisation : Ouvrage RdC (SKOL)
axiome de Zermelo et Fraenkel # ensemble ordonné # exponentiation des alephs # logique à plusieurs valeurs # mathématique intuitioniste # mathématique opérative de Lorenz # ordinal et aleph # quantificateurs # relativisme de la théorie des ensembles # suite infinie simple # théorie de Cantor # théorie de Quine # théorie des ensembles abstraite # théorie des ensembles prédicative # théorie ramifiée des types
03-03 ; 03B15 ; 03B50 ; 03Exx ; 04-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xv-142 p.
ISBN 978-0-691-15574-6
Localisation : Ouvrage RdC (TURING)
oeuvres # Alan Turing # histoire # logique # philosophie des mathématiques # 20ème siècle # théorie de la peuve
01A75 ; 03-03 ; 03A05 ; 00A30 ; 01A60 ; 03F03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- vi; 425p.
ISBN 978-0-521-80240-6
Localisation : Biographie RdC (TARS)
Alfred Tarski # biographie #logique # histoire des mathématiques # histoire de la logique
01A70 ; 03-03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiv; 361 p.
ISBN 978-0-521-85784-0
Cambridge introductions to philosophy
Localisation : Ouvrage RdC (SMIT)
théorème d'incomplétude de Gödel # logique # histoire des mathématiques # arithmétique # épistémologie
03-01 ; 03-02 ; 03-03 ; 03F30 ; 03F40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xxxii; 613 p.
ISBN 978-0-521-67026-5
Cambridge introductions to philosophy
Localisation : Ouvrage RdC (PRIE)
logique # histoire de la logique # phylosophie # sous-système de la logique classique # logique modale # logique sous-structurelle # logique multi-valuée # logique floue # logique intermédiaire
03-01 ; 03-03 ; 03A05 ; 03B20 ; 03B45 ; 03B47 ; 03B50 ; 03B52 ; 03B55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 122 p.
Studies in logic and the foundations of mathematics
Localisation : Ouvrage RdC (BOCH)
histoire # biographie
03-03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 100 p.
Studies in logic and the foundations of mathematics
Localisation : Ouvrage RdC (MCCA)
Théophrastus et Lukasiewicz # conversion complémentaire # dilemne d'Hintikka # interprétation de Mescher # les deux Barbaras # mode # mode Q-L-X-M # mode assertorique # mode contingent # procédure de décision # subalternation # subordination modale # syllogisme modal d'Aristote # système des modes apodéitiques
03-03 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 124 p.
ISBN 978-3-487-00623-9
Localisation : Ouvrage RdC (FREG)
logique # histoire des mathématiques # Frege # begriffsschrift
01A75 ; 03-03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 380 p.
ISBN 978-3-7873-0450-9
Philosophische bibliothek , 0259
Localisation : Ouvrage RdC (BOLZ)
histoire des mathématiques # Bolzano # logiquqe # fondement des mathématiques
01A75 ; 01A55 ; 03-03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 390 p.
ISBN 978-3-487-06961-6
Studien und materialien zur geschichte der philosophie
Localisation : Bibliographie de math. RdC
00A15 ; 01A35 ; 03-03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 293 p.
Studien und materialien zur geschichte der philosophie
Localisation : Bibliographie de math. RdC
00A15 ; 03-03 ; 03Bxx
... Lire [+]