Javascript must be enabled to continue!

Mathematical Intuitionism

L. E. J. Brouwer, the founder of mathematical intuitionism, believed that mathematics and its objects must be humanly graspable. He initiated a program rebuilding modern mathematics according to that principle. This book introduces the reader to the mathematical core of intuitionism – from elementary number theory through to Brouwer's uniform continuity theorem – and to the two central topics of 'formalized intuitionism': formal intuitionistic logic, and formal systems for intuitionistic analysis. Building on that, the book proposes a systematic, philosophical foundation for intuitionism that weaves together doctrines about human grasp, mathematical objects and mathematical truth.

Cambridge University Press

Carl J. Posy

2020

Title: Mathematical Intuitionism

Description:

Brouwer, the founder of mathematical intuitionism, believed that mathematics and its objects must be humanly graspable.

He initiated a program rebuilding modern mathematics according to that principle.

This book introduces the reader to the mathematical core of intuitionism – from elementary number theory through to Brouwer's uniform continuity theorem – and to the two central topics of 'formalized intuitionism': formal intuitionistic logic, and formal systems for intuitionistic analysis.

Building on that, the book proposes a systematic, philosophical foundation for intuitionism that weaves together doctrines about human grasp, mathematical objects and mathematical truth.

Back

Related Results

Intuitionism in ethics

To intuit something is to apprehend it directly, without recourse to reasoning processes such as deduction or induction. Intuitionism in ethics proposes that we have a capacity for...

INNOVATIVE TECHNOLOGIES IN MATHEMATICS EDUCATION

The introduction of the competence model of Mathematics education involves the actualization of personal and activity factors of development of subjects of the educational process,...

Intuitionism vs. Classicism

In the early twentieth century, the Dutch mathematician L.E.J. Brouwer launched a powerful attack on the prevailing mathematical methods and theories. He developed a new kind of co...

Intuitionism

AbstractThis chapter criticizes moral intuitionism, which claims that some moral beliefs are justified independently of any ability to infer them from other beliefs. It defines mor...

The Impact of Mathematical Reasoning and Critical Thinking Skills on Mathematical Literacy Skills

For learning mathematics, mathematical skills are needed, some of which are mathematical reasoning skills, mathematical critical thinking skill, and mathematical literacy skills. T...

Madura Batik Ethnomatematics: Mathematical Reasoning in Plane Figures

The ethnomathematics approach can simplify mathematical reasoning for students while introducing cultural knowledge. Mathematical concepts in culture are discovered through mathema...

PENERAPAN STRATEGI MATHEMATICAL INVESTIGATION UNTUK MENINGKATKAN HASIL BELAJAR MATEMATIKA SISWA KELAS XI MIPA SMAN 16 PEKANBARU

Abstract: Application of Mathematical Investigation Strategy to Improve Mathematics Learning Outcomes of Class XI MIPA Students at SMAN 16 Pekanbaru. The specific objectives of thi...

Mathematical competence and mathematical abilities: structural relations and development methodology

Abstract In the presented work, the concept of mathematical abilities is rational as both an essential internal characteristic of mathematical competence and an imma...

Email:
Password:

Email: