Gödel and intuitionism
Mark van Atten
- Fonction : Auteur
- PersonId : 11478
- IdHAL : mark-van-atten
- ORCID : 0000-0002-8097-5531
- IdRef : 113308310
| Format du dépôt | Notice |
|---|---|
| Type de dépôt | Communication dans un congrès |
| Titre |
en
Gödel and intuitionism
|
| Auteur(s) |
Mark van Atten
1
1
IHPST -
Institut d'Histoire et de Philosophie des Sciences et des Techniques
( 1342 )
- 13 Rue du four
75006 PARIS
- France
|
| Vulgarisation |
Non
|
| Comité de lecture |
Oui
|
| Actes |
Oui
|
| Invité |
Oui
|
| Langue du document |
Anglais
|
| Date de production/écriture |
2006
|
| Audience |
Non spécifiée
|
| Titre du congrès |
Joint Session 'Calculability and constructivity: historical and philosophical aspects'
|
| Date début congrès |
2006-11-17
|
| Date fin congrès |
2006-11-18
|
| Ville |
Paris
|
| Pays |
France
|
| Commentaire |
Joint Session of the two Divisions of the International Union for History and Philosophy of Science
|
| Domaine(s) |
|
| Référence interne |
|
| Mots-clés |
en
philosophy of mathematics
|
Loading...