Inês Hipólito
Humboldt-University, Berlin
Kurt Gödel wrote (1964, p. 272), after he had read Husserl, that the notion of objectivity raises a question: “the question of the objective existence of the objects of mathematical intuition (which, incidentally, is an exact replica of the question of the objective existence of the outer world)”. This “exact replica” brings to mind the close analogy Husserl saw between our intuition of essences in Wesensschau and of physical objects in perception. What is it like to experience a mathematical proving process? What is the ontological status of a mathematical proof? Can computer assisted provers output a proof? Taking a naturalized world account, I will assess the relationship between mathematics, the physical world and consciousness by introducing a significant conceptual distinction between proving and proof. I will propose that proving is a phenomenological conscious experience. This experience involves a combination of what Kurt Gödel called intuition, and what Husserl called intentionality. In contrast, proof is a function of that process — the mathematical phenomenon — that objectively self-presents a property in the world, and that results from a spatiotemporal unity being subject to the exact laws of nature. In this essay, I apply phenomenology to mathematical proving as a performance of consciousness, that is, a lived experience expressed and formalized in language, in which there is the possibility of formulating intersubjectively shareable meanings.
Keywords Mathematical proof  Natural science
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Facing Up to the Problem of Consciousness.David Chalmers - 1995 - Journal of Consciousness Studies 2 (3):200-19.
Signs.Maurice Merleau-Ponty - 2018 - Chiasmi International 20:231-231.

View all 38 references / Add more references

Citations of this work BETA

Mind-Life Continuity: A Qualitative Study of Conscious Experience.Inês Hipólito & J. Martins - 2017 - Progress in Biophysics and Molecular Biology 131:432-444.
Integral Biomathics Reloaded: 2015.Plamen L. Simeonov & Ron Cottam - forthcoming - Journal Progress in Biophysics and Molecular Biology 119 (2).

Add more citations

Similar books and articles

What is a Proof?Reinhard Kahle - 2015 - Axiomathes 25 (1):79-91.
Proof, Logic and Formalization.Michael Detlefsen (ed.) - 1992 - London, England: Routledge.
Kurt Godel and Phenomenology.Richard Tieszen - 1992 - Philosophy of Science 59 (2):176-194.
Mathematical Fit: A Case Study.Manya Raman-Sundström & Lars-Daniel Öhman - forthcoming - Philosophia Mathematica:nkw015.
On Automating Diagrammatic Proofs of Arithmetic Arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
Arguing Around Mathematical Proofs.Michel Dufour - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Dordrecht: Springer. pp. 61-76.
Proof: Its Nature and Significance.Michael Detlefsen - 2008 - In Bonnie Gold & Roger A. Simons (eds.), Proof and Other Dilemmas: Mathematics and Philosophy. Mathematical Association of America. pp. 1.


Added to PP index

Total views
391 ( #22,827 of 2,456,152 )

Recent downloads (6 months)
78 ( #8,745 of 2,456,152 )

How can I increase my downloads?


My notes