Jean Paul Van Bendegem

The Polymath Project is an online collaborative enterprise that was initiated in 2009, when Timothy Gowers asked whether and how groups could work together to solve mathematical problems that “do not naturally split up into a vast number of subtasks.” Gowers proposed to answer this question himself by actually trying to set up such a collaboration, based on interactions taking place in the comment-threads of a series of posts on a WordPress blog. Hence, the first project officially started in early 2009, to be proclaimed successful only 6 weeks later (Gowers and Nielsen 2009). From its inception until April 2018, 15 more Polymath problems (and a handful of smaller or related ones) have been launched. These projects have attracted attention from different scholarly communities, including the philosophy of mathematical practices, from the perspective of which the Polymath Project can be seen as a vast repository of mathematics in action. This chapter continues previous work by its authors on the topic in question and topics related. More specifically, for the purposes of this volume, it is our aim to both summarize and expand upon these earlier contributions. The starting point is the above observation that in the past decade, the issue of “massively collaborative mathematics” (to be qualified below) has drawn quite some attention. However, does it also warrant intensive philosophical attention in particular? For, as exciting as these developments might be from mathematical and other points of view, the enhanced possibilities that have come with it do not per se give rise to any philosophical import. In Van Bendegem (2011), one of us has indeed tentatively argued for the philosophical relevance of these new dynamics of proof construction flowing from the wide availability and efficiency of Internet technology. We shall below briefly rehearse and update the argument given there.

In this chapter, the possibility of experiments in mathematics is examined. A general scheme is proposed as a tool to handle the different forms of experiments that are being used in mathematical practices: computations, “experimental mathematics” as a new research domain in mathematics and computer science, real-world experiments, and thought experiments. In a final section, extensions of the scheme are proposed that further support the conclusion that mathematical experiments are indeed facts and the future.

For the first time in history, scholars working on language and culture from within an evolutionary epistemological framework, and thereby emphasizing complementary or deviating theories of the Modern Synthesis, were brought together. Of course there have been excellent conferences on Evolutionary Epistemology in the past, as well as numerous conferences on the topics of Language and Culture. However, until now these disciplines had not been brought together into one all-encompassing conference. Moreover, previously there never had been such stress on alternative and complementary theories of the Modern Synthesis. Today we know that natural selection and evolution are far from synonymous and that they do not explain isomorphic phenomena in the world. ‘Taking Darwin seriously’ is the way to go, but today the time has come to take alternative and complementary theories that developed after the Modern Synthesis, equally seriously, and, furthermore, to examine how language and culture can merit from these diverse disciplines. As this volume will make clear, a specific inter- and transdisciplinary approach is one of the next crucial steps that needs to be taken, if we ever want to unravel the secrets of phenomena such as language and culture.

It has been observed many times before that, as yet, there are no encompassing, integrated theories of mathematical practice available.To witness, as we currently do, a variety of schools in this field elaborating their philosophical frameworks, and trying to sort out their differences in the course of doing so, is also to be constantly reminded of the fact that a lot of epistemic aspects, extremely relevant to this task, remain dramatically underexamined. This volume wants to contribute to the stock of studies filling this perceived lacuna. It contains papers by established, upcoming, as well as beginning scholars, covering general, metaphilosophical themes such as naturalism, semiotics, pragmaticism, or empiricism, next to more specific topics including the unity of mathematical theories, thruth-flow in mathematics, diagrammatic reasoning, erroneous argumentation, or numerical analysis.

Suppose you attend a seminar where a mathematician presents a proof to some of his colleagues. Suppose further that what he is proving is an important mathematical statement Now the following happens: as the mathematician proceeds, his audience is amazed at first, then becomes angry and finally ends up disturbing the lecture (some walk out, some laugh, …). If in addition, you see that the proof he is presenting is formally speaking (nearly) correct, would you say you are witnessing an extraordinary event in urgent need of explanation? Surely, your answer would be yes. But do events of this type actually occur? The matter of the fact is, yes, they do. This paper presents the details of such an event, suggests a possible explanation and examines its implications for our understanding of mathematical practice.

The complex story of mathematics in the Tractatus In this paper some thoughts are presented about the treatment of mathematics in the Tractatus Logico-Philosophicus of Ludwig Wittgenstein. After introducing a metaphor for the mathematical ‘building’, we look at the scattered ideas about mathematics in the Tractatus itself. Although the general consensus is that Wittgenstein rejects the entire ‘building’, there are recent insights that suggest that a more coherent view of ‘Tractarian’ mathematics can be presented, if we are willing to leave behind a foundational form of thinking. What this means will be outlined in some detail. The concluding general assessment is that the final word on the status of mathematics in the Tractatus is still pending.

The development of the philosophy of science in the twentieth century has created a framework where issues concerning funding dynamics can be easily accommodated. It combines the historical-philosophical approach of Thomas Kuhn. The University of Chicago Press, Chicago, [1962] ) with the sociological approach of Robert K. Merton The sociology of science. Theoretical and empirical investigations. The University of Chicago Press, Chicago, pp 267–278, [1942] ), linking the ‘exact’ sciences to economy and politics. Out of this came a new domain, namely the study of scientific practices : Science as practice and culture. The University of Chicago Press, Chicago, 1992). Given this broad theoretical framework, we will specify by looking at the case of STEM education and its variant Science, Technology, Engineering and Mathematics with Art education as an example par excellence. Without going into the technical details of the financial support of the projects, we prefer to open a philosophical debate on the way how policies on academic subjects influence a whole society and the personal life of both researchers and people/pupils involved in education.

It is a rather safe statement to claim that the social dimensions of the scientific process are accepted in a fair share of studies in the philosophy of science. It is a somewhat safe statement to claim that the social dimensions are now seen as an essential element in the understanding of what human cognition is and how it functions. But it would be a rather unsafe statement to claim that the social is fully accepted in the philosophy of mathematics. And we are not quite sure what kind of statement it is to claim that the social dimensions in theories of mathematics education are becoming more prominent, compared to the psychological dimensions. In our contribution we will focus, after a brief presentation of the above claims, on this particular domain to understand the successes and failures of the development of theories of mathematics education that focus on the social and not primarily on the psychological

This chapter looks at the impact of recent societal approaches of knowledge and science from the perspectives of two rather distant educational domains, mathematics and music. Science’s attempt at ‘self-understanding’ has led to a set of control mechanisms, either generating ‘closure’—the scientists’ non-involvement in society—or ‘economisation’, producing patents and other lucrative benefits. While scientometrics became the tool and the rule for measuring the economic impact of science, counter movements, like the slow science movement, citizen science, empowering music-art initiatives and other critical approaches focus on intrinsic and ethical questions of education and knowledge. Thinking about knowledge and research in terms of quantifiable products impacts heavily upon the domains of science and arts, while the complexity of knowledge acquisition forces society to consider also other parameters like equality, personal development and participatory processes.

Except in very poor mathematical contexts, mathematical arguments do not stand in isolation of other mathematical arguments. Rather, they form trains of formal and informal arguments, adding up to interconnected theorems, theories and eventually entire fields. This paper critically comments on some common views on the relation between formal and informal mathematical arguments, most particularly applications of Toulmin’s argumentation model, and launches a number of alternative ideas of presentation inviting the contextualization of pieces of mathematical reasoning within encompassing bodies of explicit and implicit, formal and informal background knowledge.

The paper gives an impression of the multi-dimensionality of mathematics as a human activity. This 'phenomenological' exercise is performed within an analytic framework that is both an expansion and a refinement of the one proposed by Kitcher. Such a particular tool enables one to retain an integrated picture while nevertheless welcoming an ample diversity of perspectives on mathematical practices, that is, from different disciplines, with different scopes, and at different levels. Its functioning is clarified by fitting in illustrations based on actual research.

We explore aspects of an experimental approach to mathematical proof, most notably number crunching, or the verification of subsequent particular cases of universal propositions. Since the rise of the computer age, this technique has indeed conquered practice, although it implies the abandonment of the ideal of absolute certainty. It seems that also in mathematical research, the qualitative criterion of effectiveness, i.e. to reach one’s goals, gets increasingly balanced against the quantitative one of efficiency, i.e. to minimize one’s means/ends ratio. Our story will lead to the consideration of some limit cases, opening up the possibility of proofs of infinite length being surveyed in a finite time. By means of example, this should show that mathematical practice in vital aspects depends upon what the actual world is like.

The first part of this paper presents asympathetic and critical examination of the approachof Shahid Rahman and Walter Carnielli, as presented intheir paper “The Dialogical Approach toParaconsistency”. In the second part, possibleextensions are presented and evaluated: (a) top-downanalysis of a dialogue situation versus bottom-up, (b)the specific role of ambiguities and how to deal withthem, and (c) the problem of common knowledge andbackground knowledge in dialogues. In the third part,I claim that dialogue logic is the best-suitedinstrument to analyse paradoxes of the Sorites type.All these considerations lead to philosophicallyrelevant observations concerning principles of charityon the one hand, and compactness on the other.

Except in very poor mathematical contexts, mathematical arguments do not stand in isolation of other mathematical arguments. Rather, they form trains of formal and informal arguments, adding up to interconnected theorems, theories and eventually entire fields. This paper critically comments on some common views on the relation between formal and informal mathematical arguments, most particularly applications of Toulmin’s argumentation model, and launches a number of alternative ideas of presentation inviting the contextualization of pieces of mathematical reasoning within encompassing bodies of explicit and implicit, formal and informal background knowledge.