Intuitionistic interpretations of the hypothetical judgement

Mark van Atten

Communication dans un congrès Année : 2005

Intuitionistic interpretations of the hypothetical judgement

(1)

1

Mark van Atten

Fonction : Auteur
PersonId : 11478
IdHAL : mark-van-atten
ORCID : 0000-0002-8097-5531
IdRef : 113308310

Institut d'Histoire et de Philosophie des Sciences et des Techniques

Mots clés

philosophy of science

Domaines

Histoire, Philosophie et Sociologie des sciences

Liste complète des métadonnées

Format du dépôt	Notice
Type de dépôt	Communication dans un congrès
Titre	en Intuitionistic interpretations of the hypothetical judgement
Auteur(s)	Mark van Atten ¹ 1 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques ( 1342 ) - 13 Rue du four 75006 PARIS - France Université Paris 1 Panthéon-Sorbonne ( 7550 ) ; Département d'Etudes Cognitives - ENS Paris ( 91936 ) ; École normale supérieure - Paris ( 59704 ) ; Université Paris Sciences et Lettres ( 564132 ) Centre National de la Recherche Scientifique UMR8590 ( 441569 )
Vulgarisation	Non
Comité de lecture	Oui
Actes	Oui
Invité	Oui
Langue du document	Anglais
Date de production/écriture	2005
Audience	Non spécifiée
Titre du congrès	La preuve en mathématique : logique, philosophie, histoire
Date début congrès	2005-05-26
Ville	Lille
Pays	France
Domaine(s)	Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences
Référence interne	LLPM
Mots-clés	en philosophy of science

Mark Van Atten : Connectez-vous pour contacter le contributeur

https://shs.hal.science/halshs-00791533

Soumis le : jeudi 21 février 2013 à 14:00:00

Dernière modification le : vendredi 19 avril 2024 à 16:18:55

Dates et versions

halshs-00791533, version 1 (21-02-2013)

Identifiants

HAL Id : halshs-00791533 , version 1

Citer

Mark van Atten. Intuitionistic interpretations of the hypothetical judgement. La preuve en mathématique : logique, philosophie, histoire, May 2005, Lille, France. ⟨halshs-00791533⟩

Exporter

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-PARIS1 ENS-PARIS CNRS IHPST HIPHISCITECH PSL

33 Consultations

0 Téléchargements

Dernière date de mise à jour le 28/04/2024

Intuitionistic interpretations of the hypothetical judgement

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager