Professional Documents
Culture Documents
Uwe Schürmann
Abstract This contribution aims to illustrate that the separation between mathe-
matics and reality is an outcome of several shifts in historic mathematics discourse.
Therefore, Foucault’s method of problematisation and Deleuze’s distinction between
axiomatic and problematic formalisation in mathematics are used to emphasize these
shifts. Afterwards, a special attention is paid to mathematics teaching in German
history. Here, it will be considered how reality was treated in the mathematics
classroom due to the socio-political circumstances at a particular time.
Introduction
U. Schürmann (&)
Westfälische Wilhelms-Universität, Fliednerstraße 21, Münster 48149, Germany
e-mail: schuermann.uwe@uni-muenster.de
distinction that arranges the modelling discourse. With a glance at the history of
mathematics it is evident that this is not a necessary distinction because of its logic,
rather it is a historically developed distinction. There had been distinct opinions
about the ontological status of mathematics and in particular about the question
whether numbers and geometrical objects belong to the world or exist somewhere
outside of it. For the late Pythagoreans it seemed to be clear that the entire structure
of the world (cosmos) follows a numerical order. In contrast, the Platonic ontology
that distinguishes an empirically accessible world and a world of ideas seems to
justify the separation of mathematics and reality (Plato, 2000: 514a–517a).
According to Foucault ‘knowledge’ is not an outcome of rational subjects, but
discursive structures prior to any kind of subjectivity lead to accepted knowledge in
a particular epoch. That implies that different epochs are characterized by different
types of knowledge regimes which Foucault calls ‘episteme’. In “the Order of
Things” (Foucault, 2002) his aim is to describe the different epistemes of the
Renaissance, the classical epoch and modern era. The Episteme of modernity is
characterized by two aspects: primarily by the search for origins and ultimate
justifications and secondly by the role of man for all kinds of knowledge. Since the
human being forms the transcendental basis of all knowledge in the modern epoch
and is entirely dependent on the empirical realities of his times, the human being
was going to be an empirical-transcendental doublet. It is the subject and object of
knowledge at the same time. For human sciences in general and didactics in par-
ticular this way of thinking will be of fundamental importance. For mathematics the
modern conception of knowledge has far-reaching consequences, too. To some
extend, binding knowledge to the human cognition means to undermine the claim
of absolute truth within mathematics.
Below, a shift in mathematical discourse, from Kant to Frege to Hilbert, which
moved mathematics more and more away from reality will be traced. It is illustrated
that shifts in mathematical discourse led to the separation of mathematics from
reality, a powerful narrative which was not even harmed by Russell or Gödel and is
now fundamental to the discourse on modelling in the classroom. Against this
background, i.e. the tension between the claim of absolute truth within mathematics
and the episteme of modernity, firstly the importance of Kant’s “Critique of Pure
Reason” (1787) will be highlighted in a nutshell. Secondly, Frege’s logicism and
Hilbert’s formalism will be discussed in the context of Foucault’s modern episteme.
intension of a concept (e.g. ‘the bachelor is unmarried’) (Kant, 1787: B10 and
B192). Such propositions are a priori true, so no experience is needed to confirm
them. However, according to Kant these propositions will not broaden our horizon
of understanding. We are only able to derive knowledge which had been part of the
concept already before. In contrast, synthetic propositions are assumed to be
empirical. They predicate something which is not already included in a concept
(e.g. ‘the bachelor is 34 years old’) (Kant, 1787: B11). Such propositions actually
expand our horizon of understanding. However, it cannot be said with certainty
whether they are true because they always depend on experience. But what if there
were propositions which are true prior to any kind of experience and yet enhance
our horizon of understanding? Thus, the question is if there can be synthetic a priori
propositions. Kant concludes that synthetic a priori propositions are possible if the
range of possible experience is related to the pure conceptions of the understanding
(categories) and the pure forms of intuition (space and time). To Kant the propo-
sitions of mathematics are examples of synthetic a priori propositions (Kant, 1787:
B14–B16).
In this respect, mathematical knowledge is subjective as it is linked to man’s
faculty of cognition. Nevertheless, because the categories of understanding and the
pure forms of intuition are shared by all rational beings mathematics possesses
objective validity. From this point, Kant could have been seen as an advocate
within mathematical discourse, an advocate who was able to defend the mathe-
matical claim of absolute truth within the modern episteme. Probably this is one of
the reasons why Kant’s epistemology is of outstanding importance for the mathe-
matical and scientific discourses of that time.
Nevertheless, in the early 19th century, when initial works on non-Euclidean
geometry have been started the question arose whether Kant’s conception of
mathematical propositions had to be reconsidered. If the propositions of Euclidean
geometry are not synthetic a priori propositions, the status of all mathematical
propositions can be questioned. Again, it was asked if mathematical propositions
are synthetic and therefore empirical facts or if they are analytic and therefore a
priori true. To emphasize the ambivalent status of mathematics in the 19th century
Frege’s “Foundation of Arithmetic” (1884) have to be considered. Therein, he tries
to base arithmetic only on logical conclusions, he refers to a variety of well-known
mathematicians and philosophers and he expresses an inner need to save arith-
metic’s truth from any kind of relativism. In one respect, Frege’s thinking is
altogether related to the thinking within the modern episteme: he is searching for
origins and ultimate justifications. At the same time, Frege rejects the conception of
binding truth to the faculty of cognition which came along with the episteme of
modernity. In his foundations the risk of relativizing mathematical truth by modern
thinking is always present. Frege’s approach can be seen as an act of resistance
against this relativism.
So to defend arithmetic from any kind of relativisation, Frege must present
arithmetic as independent from subjectivity and experience. For that reason, he
opposed Kant (Frege, 1884: § 87–91) and Mill (Frege, 1884: § 7). To Mill
propositions of arithmetic are empirical facts. They “are not true by definition; they
244 U. Schürmann
are, in Kantian terms, synthetic. But that implies, for Mill, against Kant, that they
are a posteriori, inductive rather than a priori” (Wilson, 2016). Frege rejects this
view on numbers, and he rejects Kant’s view on arithmetic as well. To Frege
arithmetical propositions are analytic. But how to deal with Kant’s problem that
analytic propositions do not enhance our cognition horizon? Unlike Kant his aim
was to show that analytic propositions can enhance our cognition horizon. On
conclusions derived from analytical propositions he writes, “The truth is that they
are contained in the definitions, but as plants are contained in their seeds, not as
beams are contained in a house” (Frege, 1884: § 88). The metaphor of propositions
seen as plants growing from a seed illustrates the way axiomatic mathematicians
would think about their own work. Here, every mathematical truth must already be
contained in axioms. Nevertheless, new proven propositions widen the field of
mathematical knowledge. Also another contemporary view on mathematical
thinking, indicated by the upcoming human sciences, was heavily opposed by
Frege. On the question whether numbers originate in human psychologic conditions
he writes, “For number is no whit more an object of psychology or a product of
mental processes than, let us say, the North Sea is” (Frege, 1884: § 26). Frege
treated numbers as objects. Of course, they are not physical objects or derived from
physical objects but objects established by mental processes.
At this point, Frege’s considerations mark an intermediate stage in mathematical
discourse. On the one hand, he is deeply convinced that arithmetical propositions
are analytic. He rejects any kind of relation between arithmetical truth and human
cognition and he also rejects the view that arithmetical objects have their origin in
real world experience. His work signifies a shift, a shift turning mathematics, here
arithmetic, away from reality, from mental processes and real world experience. On
the other hand, he denies a pure formal interpretation of mathematical propositions.
So it was not an absolute shift, Frege proposed. To understand his objections
against a pure formal interpretation of mathematical propositions, one should have a
look at his distinction between ‘sense’ (Sinn) and ‘reference’ (Bedeutung) of proper
names, and ‘thoughts’ and ‘truth values’ of propositions (Frege, 1892). To Frege
geometrical propositions are not only treating truth values but thoughts as well
(Frege, 1903, 1905). From that point of view, terms used in propositions do make
sense if they are related to an (also immaterial) object in a specific context. It seems
that there is still a string between mathematics and reality.
This intermediate stage had been left and the string between mathematics and
reality had been cut off when Hilbert published the “Foundations of Geometry” in
1899, a formal axiomatic system of geometry. Hilbert does not define objects like
points and lines in respect to their geometrical content but in certain mutual rela-
tions. “The complete and exact description of these relations follows as a conse-
quence of the axioms of geometry”, Hilbert says (Hilbert, 1899: 2). In addition to
this formal conception of axioms as a description of relations between unspecified
things, Hilbert’s aim is to prove the relative consistency of geometry. Here, rela-
tively denotes that geometry is led back to a different mathematical axiom system
whose consistency is required. Hilbert’s proof deals with analytic geometry as a
The Separation of Mathematics from Reality in Scientific … 245
from axioms to theorems and the Archimedean geometry which goes from prob-
lems to solutions can be contrasted to each other in other aspects as well. To
Archimedes the circle is an outcome of a continuous process of rounding, the
square is the result of the process of quadrature, etc. (Smith, 2006: 148). As we
know, Euclidean geometry, the axiomatic way of thinking, prevailed in history of
mathematics. It became the major geometry.
Secondly, by the turn of 17th century the tension between axiomatic and
problematic geometry had shifted to a more general tension between geometry itself
on the one side and algebra and arithmetic on the other side. Here, Fermat’s and
Descartes’s analytic geometry shifted geometry to arithmetic relations which could
be expressed in algebraic equations. This kind of geometry stood in opposition to a
Desargues’ projective geometry like where no algebra had to be used at all (Smith,
2006: 149). Since then arithmetisation became a parent trend in geometry and in
other mathematics’ disciplines; and resulted, for example, in Hilbert’s geometry
where the consistency of axioms is derived from the axioms of real numbers. By
this means the process of arithmetisation within mathematics is related to a second
parent trend, i.e. the axiomatization. It is tried to trace back as many areas of
mathematics as possible to an ideal origin, i.e. an assumed essence of numbers.
Thirdly and finally, in the late 19th century an additional shift took place when
the calculus was formulated in the epsilon-delta criterion by Weierstrass. In its
origins, the calculus was an ideal example of problematic mathematics. The dif-
ferential calculus dealt with the problem how to determine a tangent line to a point
of a given curve. For Newton the calculus referred to a dynamic and infinite
geometric process. That means that analysis was very different compared to
arithmetic. While analysis was about the infinite geometrical processes, arithmetic
dealt with discrete numbers. By the epsilon-delta method dynamic processes were
reformulated in a static way. Of course, the calculus can still be interpreted in a
dynamic way; yet it is not necessary anymore. By the epsilon-delta criterion, the
calculus only refers to the axioms of real numbers (Smith, 2006: 152).
So, what does the distinction between axiomatic and problematic mathematics
tells us about the separation between mathematics and reality? First of all, it seems
that on the problematic side there is no need to separate mathematics from reality.
On this minor side mathematics deals with (real-world) problems, e.g. Desargues’s
projective geometry was used in optics and the calculus already solved physical
problems long before the epsilon-delta criterion was invented. In contrast, due to
predominance of the major side there is an ongoing shift from problems to axioms,
from intuitive geometry to arithmetic and algebra, and from the infinite and
dynamic to the finite and static. All that can be seen as way to separate mathematics
from reality. Nevertheless, it has to be taken into account that even the axiomatic
attempts could not separate mathematics from reality completely. Additionally,
positive outcomes of axiomatic mathematics influenced reality or at least our view
on reality. The non-Euclidean geometry is to some extent the result of a pure
axiomatic problem. Here, the question was, if Euclid’s parallel postulate is in fact a
theorem that can be derived from the rest of Euclid’s axioms/postulates. Then, the
non-Euclidean geometry provided many tools to Einstein’s theory of relativity.
The Separation of Mathematics from Reality in Scientific … 247
While this example might exemplify how an axiomatic problem led to a different
view on reality, another filed of examples illustrates how reality itself is changed by
axiomatic mathematics. At a glance, it can be seen that computer technology, based
on axiomatic mathematics that Hilbert would have had appreciated, is changing our
reality day by day. The examples that could be mentioned here are numerous. So, it
seems that even between axiomatic mathematics and reality there is no gap which
cannot be closed. More likely, the structure of the relationship between axiomatic
formalisation and reality is similar to an ancient Greek tragedy. Like Oedipus who
ran away from his parents trying to avoid the fulfilment of the prophecy, axiomatic
mathematicians tried to avoid any confusion of mathematics by reality. However,
for this means they are faced with reality even more, like Oedipus who made the
prophecy really happen just when he tried to avoid it.
Hitherto, some shifts which led to the separation between mathematics and reality
in scientific discourse have been exemplified. The Foucauldian perspective illus-
trated the tendency of formalisation in mathematics discourse as a way of reacting
to the modern episteme which binds all knowledge to the conditions of human ratio.
By Deleuze’s distinction between axiomatic and problematic formalisation in
mathematics’ history the possibility was given to think about the relation between
mathematics and reality in a more complex way. However, the separation between
mathematics and reality not only plays an important role in scientific discourse on
mathematics, but also in educational research and in mathematics school curricula.
Unsurprisingly, the role which reality plays in school mathematics had changed
several times in history. Against the background of mathematics teaching in
Germany, some of these changes are going to be outlined in regard to particular
socio-political circumstances.
For Foucault’s studies of power relations, the term dispositif (also translated as
apparatus) is of crucial importance. With this term Foucault gets a close look at the
varied connections between discursive and non-discursive practices. He says:
What I’m trying to pick out with this term [dispositif, US] is, firstly, a thoroughly
heterogeneous ensemble consisting of discourses, institutions, architectural forms, regula-
tory decisions, laws, administrative measures, scientific statements, philosophical, moral
and philanthropic propositions–in short, the said as much as the unsaid. Such are the
elements of the apparatus. The apparatus [i.e. the dispositif, US] itself is the system of
relations that can be established between these elements. […]
I understand by the term ‘apparatus’ [i.e. the dispositif, US] a sort of – shall we say –
formation which has as its major function at a given historical moment that of responding to
an urgent need. The apparatus thus has a dominant strategic function. This may have been,
for example, the assimilation of a floating population found to be burdensome for an
essentially mercantilist economy: there was a strategic imperative acting here as the matrix
for an apparatus which gradually undertook the control or subjection of madness, sexual
illness and neurosis. (Foucault, 1977: 194–195)
248 U. Schürmann
The network between the elements which are crucial for the educational dis-
course should be defined as the ‘education dispositif’. With the concept of the
education dispositif the ever-changing role of reality in the mathematics classroom
can be analysed in regard to the multiple relations between pedagogic and scientific
discourses, urgent needs of economy and political circumstances in a particular
period of time. For the modelling discourse that means that you have to explore
why mathematics sometimes was taught as a tool to solve real world problems, and
sometimes as a pure formalistic science. For this purpose some crucial changes in
the history of German mathematics classrooms are going to be outlined now.
Due to the structured school system in German countries, the goals of mathe-
matics teaching may differ depending on the particular type of school, and so the
relation between mathematics teaching and reality may vary from time to time and
from school-type to school-type. For example, in the 19th century, goals of
mathematics teaching in humanistic secondary schools (Gymnasium) were very
different from those of the elementary schools (Volksschule). While elementary
school tried to prepare students for labour and so mathematics was taught using
realistic tasks, applications were nearly totally replaced by the training of logical
thinking in mathematics classroom in secondary schools. Nevertheless, at the
beginning of the 20th century, the will to change teaching of mathematics even in
secondary schools was expressed. The growing industries’ demand was to get well
educated students suitable for engineer professions. Prussia politics’ demand was to
compete with other industrial countries. So, these demands resulted in the Meran
syllabus initiated by Felix Klein who had already attempted to connect mathe-
matics, mathematics teaching and industry on university level. What can be seen
here is a shift in discourse on teaching mathematics as an outcome of the education
dispositive, even if it is not that clear how successful the implementation of the
Meran syllabus really was (Kaiser-Messmer, 1986: 31–42).
In any case, school curricula and mathematical discourse changed during the
times of National Socialism. At this time, Hilbert’s formalism has been defamed as
“Jewish mathematics” by several mathematicians. These mathematicians begun to
publish their works in the journal “German Mathematics” (Vahlen, 1936) whereby
they tried to establish a racially founded typology of scientific research and a return
to intuition in mathematics. So, in Nazi Germany the fundamental dispute between
mathematics formalists and intuitionists was resumed and forcibly decided in
favour of the latter. Teaching mathematics was highly characterized by racism, too.
That means application tasks which were intended to educate students within the
meaning of National Socialist ideology made their way into the classroom. The
following task illustrates that:
On average, the annual expense of the state for a mentally disordered person are 776 RM;
costs for a deaf or a blind person are about 615 RM, a cripple costs 600 RM. In closed
institutions there are: 167,000 mental, 8300 deaf and blind persons, 20,600 cripples. How
many millions of RMs do these infirm people cost annually? (Bewersdorff & Sturhann,
1936: 111, translated by US)
A third moment, when the formation of the education dispositif can be seen at a
glance is the reaction to the so-called Sputnik shock. The launch of the first artificial
satellite by the Soviet Union in 1957 was followed by several educational policy
responses in Europe and the US. Due to the Sputnik shock, the formalistic ‘new
math’ found its way into textbooks and curricula. To get an impression, even
primary school children were confronted with set theory. It is worth to note that
teaching formalistic mathematics was promoted by university mathematicians.
Oriented to Hilbert’s formalism mainly French authors formed the group which is
known as the pseudonym Nicolas Bourbaki. Their textbooks “Elements of
Mathematics”, developed since 1934 (Bourbaki, 1939), serves to illustrate the main
content of (axiomatic) mathematics in a stringent structure. Here, all applied
mathematics was excluded or rejected as unessential.
Intuition-free, purely formal mathematics in the classroom had soon proved to be
problematic. So, only a few years later the introduced reforms have been undone.
Since then, proposals have been made how to involve more applications into
teaching mathematics. In this case, the discussion also focused on the nature of
applications in mathematics teaching. Criticism was expressed that application tasks
often use contexts only to illustrate a pre-given pure mathematical content. In
contrast, modelling tasks are promoted because they provide openness and take
reality more seriously. Also due to the unsatisfactory results of German pupils in the
first PISA surveys, the so-called PISA shock, mathematical modelling is justified by
several authors (Blum et al., 2004: 47) and was implemented in German mathe-
matics curricula. Again, relations between different fields of power and knowledge
—politics, media, research on mathematics teaching, and economy—have led to
changes in mathematics curricula. In both cases, Sputnik and PISA, we can clearly
see an assumed or actual urgent need as an opportunity to implement certain
education policies.
Final Remarks
References
Bewersdorff, O., & Sturhann, H. (1936). Rechenbuch für Knaben- und Mädchen-Mittelschulen
sowie Anstalten mit verwandten Zielen. Heft 4/5, Leipzig, Berlin: Teubner.
Blanchette, P. (2014). The Frege-Hilbert controversy. In E. N. Zalta (Ed.), The Stanford
encyclopedia of philosophy. Online: http://plato.stanford.edu/archives/spr2014/entries/frege-
hilbert/.
Blum, W., Neubrand, M., Ehmke, T., Senkbeil, M., Jordan, A., Ulfig, F. & Carstensen, C. (2004).
Mathematische Kompetenz. In PISA-Konsortium Deutschland (Eds.), PISA 2003. Der
Bildungsstand der Jugendlichen in Deutschland – Ergebnisse des zweiten internationalen
Vergleichs. (S. 47–92). Münster: Waxmann.
Bourbaki, N. (1939–1968). Éléments de mathématique (10 Vols.). Paris: Hermann.
de Freitas, E. (2013). The mathematical event: Mapping the axiomatic and the problematic in
school mathematics. Studies in Philosophy and Education, 32(6), 581–599.
Deleuze, G. (1994). Difference and repetition (P. Patton, Trans.). New York: Columbia University
Press.
Deleuze, G. & Guattari, F. (1987). A thousand plateaus: Capitalism and schizophrenia (B.
Massumo, Trans.). Minneapolis, MN: University of Minnesota Press.
Foucault, M. (1977). The confession of the flesh: Interview. In C. Gordon (Ed.), Power/
knowledge: Selected interviews and other writings (pp. 195–228). New York: Pantheon
(1980).
Foucault, M. (2001–2005). Schriften in vier Bänden (Dits et Écrits) (Vols. I–IV). Frankfurt am
Main: Suhrkamp.
Foucault, M. (2002). The order of things: An archaeology of the human sciences. New York:
Routledge.
Frege, G. (1884). The foundations of arithmetic: A logico-mathematical enquiry into the concept
of Number. New York: Harper (1960).
Frege, G. (1892). Über Sinn und Bedeutung. Zeitschrift für Philosophie und philosophische Kritik,
NF 100, 25–50.
Frege, G. (1903). Über die Grundlagen der Geometrie I. Jahresbericht der Deutschen
Mathematiker-Vereinigung, 12, 293–309 (English translation in Frege 1984).
Frege, G. (1905). Über die Grundlagen der Geometrie II. Jahresbericht der Deutschen
Mathematiker-Vereinigung, 15, 377–403 (English translation in Frege 1984).
Frege, G. (1984). Collected papers on mathematics, logic and philosophy. Oxford: Blackwell
Publishers.
Hilbert, D. (1899). Foundations of geometry. La Salle, IL: Open Court Publishing (1950).
Hilbert, D. (1900). Mathematische Probleme: Vortrag, gehalten auf dem internationalen
Mathematiker-Kongreß zu Paris 1900. Nachrichten der Königlichen Gesellschaft der
Wissenschaften zu Göttingen, mathematisch-physikalische Klasse (pp. 253–297). Göttingen:
Vandenhoeck & Ruprecht.
Kaiser-Messmer, G. (1986). Anwendungen im Mathematikunterricht: Band 1 – Theoretische
Konzeptionen. Bad Salzdetfurth: Franzbecker.
Kant, I. (1787). Critique of pure reason. Cambridge: Cambridge University Press (1998).
Koopman, C. (2014). Problematization. In L. Lawlor & J. Nale (Eds.), The Cambridge foucault
lexicon (pp. 399–403). Cambridge: Cambridge University Press.
Plato (2000). The republic. Cambridge: Cambridge University Press.
Russell, B. (1902). Letter to Frege. In J. van Heijenoort (Ed.), From Frege to Gödel (pp. 124–125).
Cambridge, MA.: Harvard University Press (1967).
Smith, D. W. (2006). Axiomatics and problematics as two modes of formalisation: Deleuze’s
epistemology of mathematics. In S. Duffy (Ed.), Virtual mathematics: The logic of difference
(pp. 145–168). Manchester: Clinamen.
The Separation of Mathematics from Reality in Scientific … 251