Add to ORKG◮ Intuitionism was developed in the early 20th century by Brouwer and has elements in common logicism, formalism and Kant. ◮ Intuitionists see mathematics as fundamentally a mental process of construction and proof. ◮ The crucial difference is that, for intuitionists, the meaning of mathematical language is not independent of the constructive process. ◮ So in this respect it is very different from logicism, formalism and Kant. ◮ It presents a very different philosophical view of mathematics
Following developments in modern geometry, logic and physics, many scientists and philosophers in th...
International audienceThe ultimate justification of intuitionism lies in îts conception of truth. Th...
When the traditional distinction between a mathematical concept and a mathematical intuition is test...
Intuitionism derives philosophically from Kant\u27s Conceptualism -- the object of the mathematical ...
In the nineteenth and twentieth centuries many mathematicians referred to intuition as the indispen...
In the early twentieth century, the Dutch mathematician L.E.J. Brouwer launched a powerful attack on...
Brouwer's contribution to the study of foundations of mathematics is generally cepted, yet the great...
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in...
International audienceThe Dutch mathematician and philosopher L. E. J. Brouwer (1881-1966) developed...
Intuitionistic logic, as a non-classical logic, encompasses the principles of logical reasoning whic...
Almost a century ago, Brouwer launched his first intuitionistic pro-gramme for mathematics. He did s...
The mathematical developments of the 19th century seemed to undermine Kant’s philosophy. Non-Euclide...
In this paper I offer an interpretation of the role of intuition in mathematical cognition in Kant’...
This dissertation is about the initial period of Brouwer's role in the foundational debate in mathem...
Intuitionist mathematics has claimed a philosophy deriving from Kant. This paper aims to draw attent...
Following developments in modern geometry, logic and physics, many scientists and philosophers in th...
International audienceThe ultimate justification of intuitionism lies in îts conception of truth. Th...
When the traditional distinction between a mathematical concept and a mathematical intuition is test...
Intuitionism derives philosophically from Kant\u27s Conceptualism -- the object of the mathematical ...
In the nineteenth and twentieth centuries many mathematicians referred to intuition as the indispen...
In the early twentieth century, the Dutch mathematician L.E.J. Brouwer launched a powerful attack on...
Brouwer's contribution to the study of foundations of mathematics is generally cepted, yet the great...
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in...
International audienceThe Dutch mathematician and philosopher L. E. J. Brouwer (1881-1966) developed...
Intuitionistic logic, as a non-classical logic, encompasses the principles of logical reasoning whic...
Almost a century ago, Brouwer launched his first intuitionistic pro-gramme for mathematics. He did s...
The mathematical developments of the 19th century seemed to undermine Kant’s philosophy. Non-Euclide...
In this paper I offer an interpretation of the role of intuition in mathematical cognition in Kant’...
This dissertation is about the initial period of Brouwer's role in the foundational debate in mathem...
Intuitionist mathematics has claimed a philosophy deriving from Kant. This paper aims to draw attent...
Following developments in modern geometry, logic and physics, many scientists and philosophers in th...
International audienceThe ultimate justification of intuitionism lies in îts conception of truth. Th...
When the traditional distinction between a mathematical concept and a mathematical intuition is test...