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}
}
  • L. Brouwer
  • Published 1 November 1913
  • Mathematics
  • Bulletin of the American Mathematical Society
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… 
What is the philosophical basis of intuitionistic mathematics
TLDR
This chapter explores the philosophical basis of intuitionistic mathematics and provides the key philosophical insights of intuitionism.
WHAT IS MATHEMATICS? INTUITIONISTIC REFLECTIONS
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
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
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
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
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
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
TLDR
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
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
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
...
1
2
3
4
5
...