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
Gödel's modernism' revisitedLindström; Per; Palmgren; Erik; Segerberg; Krister; Stoltenberg-Hansen; Viggo. Logicism, Intuitionism and Formalism: What Has Become of Them?, Springer, pp.303-355, 2009, 978-1-402-08925-1
Chapitre d'ouvrage
halshs-00791004v1
|
|||
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
|
|||
|
|
Kurt Gödel Maxims and Philosophical Remarks, vol XII2021
Ouvrages
hal-03142656v1
|
||
Brouwer and the hypothetical judgement. Second thoughts on John Kuiper's Ideas and Explorations: Brouwer's Road to IntuitionismRevue Internationale de Philosophie, 2004, 58 (4), pp.501-516
Article dans une revue
halshs-00790925v1
|
|||
On Gödel's awareness of Skolem's Helsinki lectureHistory and Philosophy of Logic, 2005, 26 (4), pp.321-326. ⟨10.1080/01445340500228292⟩
Article dans une revue
halshs-00790929v1
|
|||
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
|
|||
|
|
A note on Leibniz' argument against infinite wholesBritish Journal for the History of Philosophy, 2011, 19 (1), pp.121-129. ⟨10.1080/09608788.2011.533015⟩
Article dans une revue
halshs-00775348v1
|
||
Construction and constitution in mathematicsNew Yearbook for Phenomenology and Phenomenological Philosophy, 2010, 10, pp.43-90. ⟨10.5840/nyppp2010103⟩
Article dans une revue
halshs-00775347v1
|
|||
Further intuitionistic commentsErwägen Wissen Ethik, 2008, 19, pp.582-584
Article dans une revue
halshs-00775350v1
|
|||
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
|
|||
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
|
|||
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
|
|||
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
|
|||
|
|
Kurt Gödel Maxims and Philosophical Remarks Vol XIV2024
Ouvrages
halshs-04533954v1
|
||
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
|
|||
Gödel and intuitionismJoint Session 'Calculability and constructivity: historical and philosophical aspects', Nov 2006, Paris, France
Communication dans un congrès
halshs-00791542v1
|
|||
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
|
|||
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
|
|||
Why Husserl should have been a strong revisionist in mathematicsHusserl Studies, 2002, 18 (1), pp.1-18
Article dans une revue
halshs-00792155v1
|
|||
|
|
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
|
||
|
|
Intuition, Iteration, InductionPhilosophia Mathematica, 2023, ⟨10.1093/philmat/nkad017⟩
Article dans une revue
hal-04321868v1
|
||
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
|
|||
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 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
|