Nick Haverkamp, "Intuitionism vs. Classicism: A mathematical attack on classical logic" (Frankfurt am Main, Vittorio Klostermann)

Alberto Naibo; Mattia Petrolo

Article dans une revue (Compte-Rendu De Lecture) Revue philosophique de la France et de l'étranger Année : 2016

Nick Haverkamp, "Intuitionism vs. Classicism: A mathematical attack on classical logic" (Frankfurt am Main, Vittorio Klostermann)

(1) ,

1

Alberto Naibo

Fonction : Auteur
PersonId : 751296
IdHAL : alberto-naibo
ORCID : 0000-0001-5335-6412
IdRef : 250400588

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

Mattia Petrolo

Fonction : Auteur

Mots clés

Classical mathematics Revisionism Constructive mathematics Classical Logic Intuitionistic Logic

Domaines

Philosophie

Liste complète des métadonnées

Format du dépôt	Notice
Type de dépôt	Article dans une revue (compte-rendu de lecture)
Titre	en Nick Haverkamp, "Intuitionism vs. Classicism: A mathematical attack on classical logic" (Frankfurt am Main, Vittorio Klostermann)
Auteur(s)	Alberto Naibo ¹ , Mattia Petrolo 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 )
Langue du document	Anglais
Nom de la revue	Revue philosophique de la France et de l'étranger (ISSN : 0035-3833) Publié par Presses Universitaires de France
Vulgarisation	Non
Comité de lecture	Oui
Audience	Internationale
Date de publication	2016-01-01
Volume	141
Numéro	1
Page/Identifiant	101-103
Type de la publication	Compte-rendu d'ouvrage ou Note de Lecture
Domaine(s)	Sciences de l'Homme et Société/Philosophie
Mots-clés	en Classical mathematics, Revisionism, Constructive mathematics, Classical Logic, Intuitionistic Logic

Alberto Naibo : Connectez-vous pour contacter le contributeur

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

Soumis le : dimanche 5 juin 2016 à 11:44:10

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

Dates et versions

halshs-01326736, version 1 (05-06-2016)

Identifiants

HAL Id : halshs-01326736 , version 1

Citer

Alberto Naibo, Mattia Petrolo. Nick Haverkamp, "Intuitionism vs. Classicism: A mathematical attack on classical logic" (Frankfurt am Main, Vittorio Klostermann). Revue philosophique de la France et de l'étranger, 2016, 141 (1), pp.101-103. ⟨halshs-01326736⟩

Exporter

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-PARIS1 ENS-PARIS CNRS IHPST HIPHISCITECH PSL

147 Consultations

0 Téléchargements

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

Nick Haverkamp, "Intuitionism vs. Classicism: A mathematical attack on classical logic" (Frankfurt am Main, Vittorio Klostermann)

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager