Filtrer vos résultats
- 70
- 20
- 27
- 21
- 18
- 10
- 10
- 3
- 1
- 2
- 1
- 90
- 33
- 2
- 36
- 20
- 1
- 3
- 4
- 3
- 4
- 1
- 3
- 4
- 2
- 2
- 1
- 2
- 1
- 2
- 3
- 11
- 10
- 7
- 9
- 10
- 5
- 1
- 1
- 78
- 9
- 3
- 62
- 16
- 9
- 7
- 3
- 90
- 8
- 8
- 5
- 3
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
90 résultats
Monads and sets. On Gödel, Leibniz, and the reflection principleRahman, Shahid, Primiero, Giuseppe. Judgement and Knowledge. Papers in honour of B.G. Sundholm, King's College Publications, pp.3-33, 2009
Chapitre d'ouvrage
halshs-00792058v1
|
|||
Phenomenology and Transcendental Argument in Mathematics: The Case of Brouwer's Bar TheoremOskar Becker Tagung, Feb 2007, Hagen, Germany
Communication dans un congrès
halshs-00791544v1
|
|||
Les multiplicités définies de Husserl et les Théorèmes d’incomplétude de GödelFarges, Julien; Pradelle, Dominique. Husserl - La phénoménologie et fondements des sciences, , 2019, 9791037000811
Chapitre d'ouvrage
hal-03738898v1
|
|||
|
|
Kurt Gödel Maxims and Philosophical Remarks Vol XIV2024
Ouvrages
halshs-04533954v1
|
||
Intuitionism as PhenomenologyPhénoménologie discrète. Le parcours intellectuel de Gian-Carlo Rota entre mathématiques et philosophie, Nov 2009, Lille, France
Communication dans un congrès
halshs-00775378v1
|
|||
Johannes Daubert's transcript of Husserl's logical-mathematical exercises (Summer Semester 1905). Introduction, transcription into German, and English translationNew Yearbook for Phenomenology and Phenomenological Philosophy, 2004, 4, pp.284-317
Article dans une revue
halshs-00790926v1
|
|||
Gian-Carlo Rota's Lectures on Being and Time (1998)New Yearbook for Phenomenology and Phenomenological Philosophy, 2008, 8, pp.225-319
Article dans une revue
halshs-00791007v1
|
|||
|
|
The Creating Subject, the Brouwer-Kripke Schema, and infinite proofs2018
Pré-publication, Document de travail
halshs-01781435v1
|
||
|
|
Weyl and intuitionistic infinitesimals2018
Pré-publication, Document de travail
halshs-01730473v2
|
||
|
|
Corrigenda to Essays on Gödel's Reception of Leibniz, Husserl, and Brouwer2016
Pré-publication, Document de travail
halshs-01408420v1
|
||
The development of intuitionistic logicChapitre d'ouvrage halshs-03738965v1 |
|||
|
|
Kurt Gödel Maxims and Philosophical Remarks, vol.IX2020
Ouvrages
hal-02892852v1
|
||
Dummett's objection to the ontological route to intuitionistic logic: a rejoinderInquiry, 2022, 65 (6), pp.725-742. ⟨10.1080/0020174X.2019.1651091⟩
Article dans une revue
hal-03738910v1
|
|||
Intuitionistic interpretations of the hypothetical judgementSeminar of the Kurt Gödel Society, Jun 2005, Vienne, Austria
Communication dans un congrès
halshs-00791535v1
|
|||
The proper interpretation of intuitionistic logic1907-2007: One Hundred Years of Intuitionism, Jun 2007, Cerisy, France
Communication dans un congrès
halshs-00791547v1
|
|||
Gödel and German IdealismYoung Scholars Competition, Horizons of Truth: Gödel Centenary 2006, Apr 2006, Vienna, Austria
Communication dans un congrès
halshs-00791539v1
|
|||
The correspondence between Oskar Becker and Arend HeytingPeckhaus, Volker. Oskar Becker und die Philosophie der Mathematik, Fink Verlag, pp.119-142, 2005, Neuzeit und Gegenwart (München), 3-7705-4126-X
Chapitre d'ouvrage
halshs-00790930v1
|
|||
|
|
Intuition, Iteration, InductionPhilosophia Mathematica, 2023, ⟨10.1093/philmat/nkad017⟩
Article dans une revue
hal-04321868v1
|
||
Why Husserl should have been a strong revisionist in mathematicsHusserl Studies, 2002, 18 (1), pp.1-18
Article dans une revue
halshs-00792155v1
|
|||
Phenomenology and transcendental argument in mathematics: the case of Brouwer's Bar TheoremColloquium 'Phenomenology: Between First Philosophy and the Sciences', Jan 2007, Jérusalem, Israel
Communication dans un congrès
halshs-00791543v1
|
|||
|
|
Kant and real numbersPeter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm. Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, 27, Springer, pp.203-213, 2012, Logic, Epistemology, and the Unity of Science, 978-94-007-4434-9. ⟨10.1007/978-94-007-4435-6_10⟩
Chapitre d'ouvrage
halshs-00775352v1
|
||
Phenomenology and transcendental argument in mathematicsAnnual meeting of the Husserl Circle, Apr 2007, Prague, Czech Republic
Communication dans un congrès
halshs-00791546v1
|
|||
The hypothetical judgement in the history of intuitionistic logicLogic, Methodology, and Philosophy of Science XIII (LMPS XIII), Aug 2007, Pékin, Chine. pp.662
Communication dans un congrès
halshs-00791548v1
|
|||
Monads and sets: on Leibniz, Gödel, and the reflection principleVIIIth International Ontology Congress, Sep 2008, San Sebastián, Spain
Communication dans un congrès
halshs-00775355v1
|
|||
The interpretation of Ex FalsoReconnaître, confirmer, vérifier : Autour de la théorie phénoménologique du remplissement, Jun 2009, Paris, France
Communication dans un congrès
halshs-00775381v1
|
|||
Gödel and intuitionismJoint Session 'Calculability and constructivity: historical and philosophical aspects', Nov 2006, Paris, France
Communication dans un congrès
halshs-00791542v1
|
|||
Phenomenology's reception of Brouwer's choice sequencesPeckhaus, Volker. Oskar Becker undie Philosophie der Mathematik, Fink Verlag, pp.101-117, 2005, Neuzeit und Gegenwart (München), 3-7705-4126-X
Chapitre d'ouvrage
halshs-00790931v1
|
|||
The development of intuitionistic logicThe Stanford Encyclopedia of Philosophy, 2008, pp.en ligne
Article dans une revue
halshs-00791687v1
|
|||
Gödel and intuitionismBourdeau, Michel, Dubucs, Jacques,. Constructivity and calculability, Springer, pp.31, 2009
Chapitre d'ouvrage
halshs-00792145v1
|
|||
The foundations of mathematics as a study of life: an effective but non-recursive functionProgress in Theoretical Physics, 2008, 173, pp.38-47
Article dans une revue
halshs-00791006v1
|