# Intuitionism and formalism

@article{BrouwerIntuitionismAF, title={Intuitionism and formalism}, author={Luitzen Egbertus Jan Brouwer}, journal={Bulletin of the American Mathematical Society}, volume={20}, pages={81-96} }

Publisher Summary This chapter discusses the intuitionism and formalism. In Kant, one find an old form of intuitionism almost completely abandoned in which time and space are taken to be the forms of conception inherent in human reason. For Kant, the axioms of arithmetic and geometry were synthetic a priori judgments, that is, judgments independent of experience and not capable of analytical demonstration and this explained their apodictic exactness in the world of experience as well as in…

## 254 Citations

What is the philosophical basis of intuitionistic mathematics

- Computer Science, Mathematics
- 1995

This chapter explores the philosophical basis of intuitionistic mathematics and provides the key philosophical insights of intuitionism.

WHAT IS MATHEMATICS? INTUITIONISTIC REFLECTIONS

- 2008

Since mathematics does not occupy itself with material objects the status of its subject matter has to receive a treatment which does justice to the abstract nature of numbers, spheres, proofs, etc.…

Epistemology, Ontology and the Continuum

- 2000

Standard wisdom has it that mathematical progress has eclipsed Kant’s view of mathematics on three fronts: intuition, infinity and the continuum. Not surprisingly, these very areas define Brouwer’s…

After Non-Euclidean Geometry: Intuition, Truth and the Autonomy of Mathematics

- 2018

The mathematical developments of the 19th century seemed to undermine Kant’s philosophy. Non-Euclidean geometries challenged Kant’s view that there is a spatial intuition rich enough to yield the…

The Role of Intuition and Formal Thinking in Kant, Riemann, Husserl, Poincare, Weyl, and in Current Mathematics and Physics

- Mathematics
- 2019

Abstract According to Kant, the axioms of intuition, i.e. space and time, must provide an organization of the sensory experience. However, this first orderliness of empirical sensations seems to…

Kant's Mathematical Realism

- Philosophy
- 1984

Though my title speaks of Kant’s mathematical realism, I want in this essay to explore Kant’s relation to a famous mathematical anti-realist. Specifically, I want to discuss Kant’s influence on L. E.…

Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic

- Mathematics
- 2015

Hilbert’s choice operators τ and e, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker…

Continuum as a Primitive Type: Towards the Intuitionistic Analysis

- Mathematics, Computer ScienceJOWO
- 2017

It is a ubiquitous opinion among mathematicians that a real number is just a point in the line, but this rough definition is not enough, so a rigorous approach to express these very intuition in a constructive way is proposed.

Truth and the foundations of mathematics

- Mathematics
- 1998

The concept of truth occupies a central position both in mathematics and in its philosophy. As we shall see in what follows, diierent conceptions of what it means to say of a mathematical statement…

Gödel and ‘the objective existence’ of mathematical objects

- Philosophy
- 2005

This paper is a discussion of Gödel's arguments for a Platonistic conception of mathematical objects. I review the arguments that Gödel offers in different papers, and compare them to unpublished…