Professional Documents
Culture Documents
Maheshwor Pokhrel
Introduction
Philosophy of mathematics is the views about the nature of mathematics. The
philosophy of mathematics is the branch of philosophy that studies the philosophical
assumptions, foundations, and implications of mathematics. Philosophy of mathematics is the
branch of philosophy whose task is to reflect on, and account for the nature of mathematics. The
philosophy of mathematics address such questions: What is the basis for mathematics? What is
the nature of mathematical truth? What is the truth of mathematics? What is the justification for
their assertion? Why is the truth of mathematics necessary truth? (Ernest, 1991.p.XII). The
philosophy of mathematics solves that type of question. The answer of that type of question
gives the philosophy of mathematics. The answer of above questions is different aspect with
different view. The answer of different view of that questions are varies different philosophy of
mathematics. Philosophy of mathematics and mathematics education are related with its
metaphysics, epistemology, axiology and logics.
According to lerman (1990) and Tuge (2008) there are main current in the philosophy of
mathematics, namely the absolutist and fallibilism philosophy of mathematics.
Many people think that mathematics and mathematics education are same. Mathematics
and mathematics education are two separate disciplines in the field of education. Mathematics is
the subject which has its own axioms, postulates and theorem but in mathematics education it
does not have own axioms, postulates and theorem. A broad view of mathematics education
takes it as the study of how people learn and do mathematics. Mathematics education is both the
set of practice as well as field of knowledge. Mathematics education must view mathematics
within the context of total education of the individuals (James, 2000).
Philosophical Foundation of mathematics education are related to curriculum,
teaching ,learning, pedagogy, psychology, sociology,technology,culture and content .The aim of
mathematics education at all level should excite the creative faculty of the learner and develop
his/her precise mathematic habit of thinking. Nature of mathematics and mathematics education
are different .So philosophy of mathematics and philosophy education is different but related to
each other. Philosophy is relevant with the philosophy of mathematics which inquires into nature
of mathematics including its objects and knowledge .Philosophy of Mathematics education is
also related with learning theory, sociology, philosophy and education.
Methodology
Philosophy of mathematics
The philosophy of mathematics is the philosophical study of concepts and methods and
mathematical knowledge from philosophical point of views. The philosophy of mathematics
address such questions: What is the basis for mathematics? What is the nature of mathematical
truth? What is the truth of mathematics? What is the justification for their assertion? Why is the
truth of mathematics necessary truth? (Ernest, 1991.p.XII) . The philosophy of mathematics
solves that type of question. The answer of that type of question gives the philosophy of
mathematics. The philosophy of mathematics is systematic concepts of all mathematical
knowledge, theory of absolute truths, system of values, result of logical thinking, logical
mathematical knowledge of reality, scientific thinking and critical composition of reality. The
philosophy of mathematics is the philosophical study of the concept and methods of mathematics
from philosophical point of view. It places mathematics at the core of human knowledge as
crucial element of the process of abstraction. it concerns with the nature of number, geometrical
objects and other mathematical concepts. Further, it is concerned with their cognitive origins and
their applications to reality. The philosophy of mathematics deals with the special problems that
arise from our possession of mathematical knowledge.
The philosophy of mathematics is in the midst of a Kuhnian revolution. For over two
thousand years, mathematics has been dominated by an absolutist paradigm, which views it as a
body of infallible and objective truth, far removed from the affairs and values of humanity.
Currently this is being challenged by a growing number of philosophers and mathematicians,
including Lakatos (1976), Davis and Hersh (1980) and Tymoczko (1986). Instead, they are
affirming that mathematics is fallible, changing, and like any other body of knowledge, the
product of human inventiveness (Ernest, 1991, p.xi).
According to lerman (1990) and Tuge (2008) there are main current in the philosophy of
mathematics, namely the absolutist and fallibilism philosophy of mathematics.
Absolutism
At the hands of Bertrand Russell the claims of logicism received the clearest and most explicit
formulation. There are two claims such that all the concepts of mathematics can ultimately be
reduced to logical concepts, provided that these are taken to include the concepts of set theory or
some system of similar power, such as Russell’s Theory of Types and all mathematical truths can
be proved from the axioms and rules of inference of logic alone (Ernest, 1991, p.9).
Formalism
Formalism views claims that pure mathematics can be expressed as the uninterpreted
formal systems, in which the truth of mathematics is representing by theorem. This views focus
that the safety of this formal systems can be demonstrate in terms of their freedom from
inconsistency , by meant of meta-mathematics (Ernest,1991,p.10). Formalists contend that it is
the mathematical symbols themselves, and not any meaning that might be ascribed to them, that
are the basic objects of mathematical thought.
Ernest (1991) argues that traces of a formalist philosophy of mathematics can be found in
the writings of Bishop Berkeley, but the major proponents of formalism are David Hilbert
(1925), early J.von Neumann (1931) and H.Curry (1951). Hilbert’s formalist programmed aimed
to translate mathematics into uninterpreted formal systems. By means of a restricted but
meaningful Meta mathematics the formal systems were to be shown to be adequate for
mathematics, by deriving formal counterparts of all mathematical truths, and to be safe for
mathematics, through consistency proofs. The formalist thesis comprises two claims such as pure
mathematics can be expressed as uninterpreted formal systems, in which the truths of
mathematics are represented by formal theorems and the safety of these formal systems can be
demonstrated in terms of their freedom from inconsistency, by means of Meta mathematics
(p.10).
The formalist wishes to select the truly mathematical language from among the many
symbolic languages that may be consistency developed. The main problem with formalist is that
the actual mathematical ideas that occupy mathematicians are removed from the minute string
manipulation games. This philosophy focused that mathematical knowledge must be restructure
by the help of formal rules and meta mathematics bur themes knowledge are not change. it focus
the contradictory relation with consistency of proof.
Intuitionism (constructivism)
In intuitionism (constructivism), mathematics is conceived as the intellectual activity
in which mathematical concept are seen as mental construction regulated by natural law
(Acharya, 2072, p.14). The constructivist programme is one of reconstructing mathematical
knowledge (and reforming mathematical practice) in order to safeguard it from loss of meaning,
and from contradiction. To this end, constructivists reject non-constructive arguments such as
Cantor’s proof that the Real numbers are uncountable, and the logical Law of the Excluded
Middle (Ernest, 1991, p.11).
It is involved in a process of meaning making, knowledge construction and knowledge is
actively constructed by the learner. Constructivism is a perspective of teaching and learning in
which a learner constructs learning from experience and interaction with others and teacher’s
role is to provide meaningful experience for students.
Constructivists view that classical mathematics may be unsafe, and that it needs to be
rebuilt by ‘constructive’ methods and reasoning. Constructivists claim that both mathematical
truths and the existence of mathematical objects must be established by constructive methods.
This means that mathematical constructions are needed to establish truth or existence, as opposed
to methods relying on proof by contradiction. For constructivists knowledge must be established
through constructive proofs, based on restricted constructivist logic, and the meaning of
mathematical terms/objects consists of the formal procedures by which they are constructed
(Ernest,1991,p.11).
In restricted areas where there are both classical and constructivist proofs of a
result, the latter is often preferable as more informative. Whereas a classical existence proof
May merely demonstrate the logical necessity of existence, a constructive existence Proof shows
how to construct the mathematical object whose existence is asserted.
This lends strength to the positive thesis, from a mathematical point of view.
However, the negative thesis is much more problematic, since it not only fails to account for the
substantial body of non-constructive classical mathematics, but also denies its validity. The
constructivists have not demonstrated that there are inescapable problems facing classical
mathematics nor that is it incoherent and invalid. Indeed both pure and applied classical
mathematics have gone from strength to strength since the constructivist programme was
proposed. Therefore, the negative thesis of intuitionism is rejected. Another problem for the
constructivist view is that some of its results are inconsistent with classical mathematics. Thus,
for example, the real number continuum, as defined by the intuitionists, is countable. This
contradicts the classical result not because there is an inherent contradiction, but because the
definition of real numbers is different. Constructivist notions often have a different meaning
from the corresponding classical notions (Ernest, 1991, p.12). According to intuitionist,
philosophy of mathematics should be defined as a mental activity and not as a set of theorems.
Conclusition
The philosophy of mathematics is the philosophical study of concepts and methods and
mathematical knowledge from philosophical point of views. There are two types philosophy of
mathematics such as absolutism and fallibilism. The absolutist views of mathematical knowledge
is that it consists of certain and unchangeable truths. In the fallibilism views, reality is constantly
changing; knowledge is not static which in turns shows that mathematics objects are not statistics
and absolute. Philosophy of mathematics is one branch of philosophy mathematics
education.philosphy of mathematics and philosophy mathematics education is related and
influence to each other. Key philosophy of mathematics education that are critical theory,
philosophy of mathematics, Epistemology, ontology and ethics. I have been discussion about
philosophy of mathematic and mathematics education, impact of philosophy of mathematics in
mathematics education in Nepal. I share views of my experience about philosophy of
mathematics in context of Nepal.
Reference