
Mathematical practice comprises the working practices of professional
mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...
s: selecting
theorem
In mathematics and formal logic, a theorem is a statement (logic), statement that has been Mathematical proof, proven, or can be proven. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to esta ...
s to prove, using informal notations to persuade themselves and others that various steps in the final proof are convincing, and seeking
peer review
Peer review is the evaluation of work by one or more people with similar competencies as the producers of the work (:wiktionary:peer#Etymology 2, peers). It functions as a form of self-regulation by qualified members of a profession within the ...
and
publication
To publish is to make content available to the general public.[Berne Convention, articl ...](_blank)
, as opposed to the end result of
proven and published
theorem
In mathematics and formal logic, a theorem is a statement (logic), statement that has been Mathematical proof, proven, or can be proven. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to esta ...
s.
Philip Kitcher has proposed a more formal definition of a mathematical practice, as a quintuple. His intention was primarily to document mathematical practice through its historical changes.
Historical tradition
The evolution of mathematical practice was slow, and some contributors to modern mathematics did not follow even the practice of their time. For example,
Pierre de Fermat
Pierre de Fermat (; ; 17 August 1601 – 12 January 1665) was a French mathematician who is given credit for early developments that led to infinitesimal calculus, including his technique of adequality. In particular, he is recognized for his d ...
was infamous for withholding his proofs, but nonetheless had a vast reputation for correct assertions of results.
One motivation to study mathematical practice is that, despite much work in the 20th century, some still feel that the
foundations of mathematics
Foundations of mathematics are the mathematical logic, logical and mathematics, mathematical framework that allows the development of mathematics without generating consistency, self-contradictory theories, and to have reliable concepts of theo ...
remain unclear and ambiguous. One proposed remedy is to shift focus to some degree onto 'what is meant by a proof', and other such questions of method.
If mathematics has been informally used throughout history, in numerous cultures and continents, then it could be argued that "mathematical practice" is the practice, or use, of mathematics in everyday life. One definition of mathematical practice, as described above, is the "working practices of professional mathematicians". However, another definition, more in keeping with the predominant usage of mathematics, is that mathematical practice is the everyday practice, or use, of math. Whether one is estimating the total cost of their groceries, calculating miles per gallon, or figuring out how many minutes on the treadmill that chocolate éclair will require, math in everyday life relies on practicality (i.e., does it answer the question?) rather than formal proof.
Teaching practice
Mathematical teaching usually requires the use of several important teaching
pedagogies or components. Most
GCSE
The General Certificate of Secondary Education (GCSE) is an academic qualification in a range of subjects taken in England, Wales, and Northern Ireland, having been introduced in September 1986 and its first exams taken in 1988. State schools ...
,
A-Level and
undergraduate
Undergraduate education is education conducted after secondary education and before postgraduate education, usually in a college or university. It typically includes all postsecondary programs up to the level of a bachelor's degree. For example, ...
mathematics require the following components:
#
Textbook
A textbook is a book containing a comprehensive compilation of content in a branch of study with the intention of explaining it. Textbooks are produced to meet the needs of educators, usually at educational institutions, but also of learners ( ...
s or lecture notes which display the mathematical material to be covered/taught within the context of the teaching of mathematics. This requires that the mathematical content being taught at the (say) undergraduate level is of a well documented and widely accepted nature that has been unanimously verified as being correct and meaningful within a mathematical context.
# Workbooks. Usually, in order to ensure that students have an opportunity to learn and test the material that they have learnt, workbooks or question papers enable mathematical understanding to be tested. It is not unknown for exam papers to draw upon questions from such test papers, or to require prerequisite knowledge of such test papers for mathematical progression.
# Exam papers and standardised (and preferably apolitical) testing methods. Often, within countries such as the US, the UK (and, in all likelihood, China) there are standardised qualifications, examinations and workbooks that form the concrete teaching materials needed for secondary-school and pre-university courses (for example, within the UK, all students are required to sit or take Scottish Highers/Advanced Highers, A-levels or their equivalent in order to ensure that a certain minimal level of mathematical competence in a wide variety of topics has been obtained). Note, however, that at the undergraduate,
post-graduate and
doctoral levels within these countries, there need not be any standardised process via which mathematicians of differing ability levels can be tested or examined. Other common test formats within the UK and beyond include the
BMO (which is a multiple-choice test competition paper used in order to determine the best candidates that are to represent countries within the
International Mathematical Olympiad
The International Mathematical Olympiad (IMO) is a mathematical olympiad for pre-university students, and is the oldest of the International Science Olympiads. It is widely regarded as the most prestigious mathematical competition in the wor ...
).
See also
*
Common Core State Standards Initiative: Mathematical practice
*
Foundations of mathematics
Foundations of mathematics are the mathematical logic, logical and mathematics, mathematical framework that allows the development of mathematics without generating consistency, self-contradictory theories, and to have reliable concepts of theo ...
*
Informal mathematics
Informal mathematics, also called naïve mathematics, has historically been the predominant form of mathematics at most times and in most cultures, and is the subject of modern ethno-cultural studies of mathematics. The philosopher Imre Lakatos i ...
*
Philosophy of mathematics
Philosophy of mathematics is the branch of philosophy that deals with the nature of mathematics and its relationship to other areas of philosophy, particularly epistemology and metaphysics. Central questions posed include whether or not mathem ...
Notes
Further reading
* {{cite book , last=Mancosu , first=P. , title=The Philosophy of Mathematical Practice , publisher=OUP Oxford , year=2008 , isbn=978-0-19-929645-3 , url=https://books.google.com/books?id=1bcUDAAAQBAJ , access-date=September 19, 2018 447 pages.
Philosophy of mathematics