Qu'est-ce qu'une démonstration ?
Jean Fichot
(1, 2)
,
Alberto Naibo
(1, 2)
Jean Fichot
- Fonction : Auteur
- PersonId : 1164792
- IdRef : 069531897
Alberto Naibo
- Fonction : Auteur
- PersonId : 751296
- IdHAL : alberto-naibo
- ORCID : 0000-0001-5335-6412
- IdRef : 250400588
Format du dépôt | Notice |
---|---|
Type de dépôt | Chapitre d'ouvrage |
Titre |
fr
Qu'est-ce qu'une démonstration ?
|
Auteur(s) |
Jean Fichot
1, 2
, Alberto Naibo
1, 2
1
IHPST -
Institut d'Histoire et de Philosophie des Sciences et des Techniques
( 1064581 )
- 13, rue du Four 75006 PARIS
- France
2
UP1 UFR10 -
Université Paris 1 Panthéon-Sorbonne - UFR Philosophie
( 219288 )
- 17, rue de la Sorbonne - 75005 Paris
- France
|
Langue du document |
Français
|
Titre de l'ouvrage |
Précis de philosophie de la logique et des mathématiques
|
ISBN |
979-10-351-0631-7
|
Vulgarisation |
Non
|
Audience |
Internationale
|
Date de publication |
2021-05-27
|
Titre de la collection |
Philosophie de la logique.
|
Volume |
1
|
Page/Identifiant |
49--108
|
Lieu de publication |
Paris
|
URL éditeur |
http://www.editionsdelasorbonne.fr/fr/livre/?GCOI=28405100652910
|
Domaine(s) |
|
Éditeur commercial |
|
Éditeur scientifique |
|
Mots-clés |
fr
Démonstration, Preuve, Construction, Déduction naturelle, Calcul des séquents, Correspondance de Curry-Howard
|
Loading...