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.

In this paper several arguments are discussed and evaluated concerning the possibility of discrete space and time.

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. (shrink)

A solution of the zeno paradoxes in terms of a discrete space is usually rejected on the basis of an argument formulated by hermann weyl, The so-Called tile argument. This note shows that, Given a set of reasonable assumptions for a discrete geometry, The weyl argument does not apply. The crucial step is to stress the importance of the nonzero width of a line. The pythagorean theorem is shown to hold for arbitrary right triangles.

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. (shrink)

Philosophy of mathematics today has transformed into a very complex network of diverse ideas, viewpoints, and theories. Sometimes the emphasis is on the "classical" foundational work (often connected with the use of formal logical methods), sometimes on the sociological dimension of the mathematical research community and the "products" it produces, then again on the education of future mathematicians and the problem of how knowledge is or should be transmitted from one generation to the next. The editors of this book felt (...) the urge, first of all, to bring together the widest variety of authors from these different domains and, secondly, to show that this diversity does not exclude a sufficient number of common elements to be present. In the eyes of the editors, this book will be considered a success if it can convince its readers of the following: that it is warranted to dream of a realistic and full-fledged theory of mathematical practices, in the plural. If such a theory is possible, it would mean that a number of presently existing fierce oppositions between philosophers, sociologists, educators, and other parties involved, are in fact illusory. (shrink)

Most philosophers still tend to believe that mathematics is basically about producing formal proofs. A consequence of this view is that some aspects of mathematical practice are entirely lost from view. My contention is that it is precisely in those aspects that similarities can be found between practices in the exact sciences and in mathematics. Hence, if we are looking for a (more) unified treatment of science and mathematics it is necessary to incorporate these elements into our view of what (...) mathematics is about. As a helpful tool I introduce the notion of a mathematical argument as a more liberalized version of the notion of mathematical proof. (shrink)

It is a generally accepted idea that strict finitism is a rather marginal view within the community of philosophers of mathematics. If one therefore wants to defend such a position (as the present author does), then it is useful to search for as many different arguments as possible in support of strict finitism. Sometimes, as will be the case in this paper, the argument consists of, what one might call, a “rearrangement” of known materials. The novelty lies precisely in the (...) rearrangement, hence on the formal-axiomatic level most of the results presented here are not new. In fact, the basic results are inspired by and based on Mycielski (1981). (shrink)

An international group of distinguished scholars brings a variety of resources to bear on the major issues in the study and teaching of mathematics, and on the problem of understanding mathematics as a cultural and social phenomenon. All are guided by the notion that our understanding of mathematical knowledge must be grounded in and reflect the realities of mathematical practice. Chapters on the philosophy of mathematics illustrate the growing influence of a pragmatic view in a field traditionally dominated by platonic (...) perspectives. In a section on mathematics, politics, and pedagogy, the emphasis is on politics and values in mathematics education. Issues addressed include gender and mathematics, applied mathematics and social concerns, and the reflective and dialogical nature of mathematical knowledge. The concluding section deals with the history and sociology of mathematics, and with mathematics and social change. Contributors include Philip J. Davis, Helga Jungwirth, Nel Noddings, Yehuda Rav, Michael D. Resnik, Ole Skovsmose, and Thomas Tymoczko. (shrink)

The heuristics and strategies presented in Lakatos' Proofs and Refutations are well-known. However they hardly present the whole story as many authors have shown. In this paper a recent, rather spectacular, event in the history of mathematics is examined to gather evidence for two new strategies. The first heuristic concerns the expectations mathematicians have that a statement will be proved using given methods. The second heuristic tries to make sense of the mathematicians' notion of the quality of a proof.

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. (shrink)

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. (shrink)

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. (shrink)

In previous papers (see Van Bendegem [1993], [1996], [1998], [2000], [2004], [2005], and jointly with Van Kerkhove [2005]) we have proposed the idea that, if we look at what mathematicians do in their daily work, one will find that conceiving and writing down proofs does not fully capture their activity. In other words, it is of course true that mathematicians spend lots of time proving theorems, but at the same time they also spend lots of time preparing the ground, (...) if you like, to construct a proof. (shrink)

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. (shrink)

Journal Name: Semiotica - Journal of the International Association for Semiotic Studies / Revue de l'Association Internationale de Sémiotique Volume: 2013 Issue: 196 Pages: 307-323.

Kurt Gödel’s incompleteness theorems and the limits of knowledge In this paper a presentation is given of Kurt Gödel’s pathbreaking results on the incompleteness of formal arithmetic. Some biographical details are provided but the main focus is on the analysis of the theorems themselves. An intermediate level between informal and formal has been sought that allows the reader to get a sufficient taste of the technicalities involved and not lose sight of the philosophical importance of the results. Connections are established (...) with the work of Alan Turing and Hao Wang to show the present-day relevance of Gödel’s research and how it relates to the limitations of human knowledge, mathematical knowledge in particular. (shrink)

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. (shrink)

Philosophy as an academic discipline has grown into something highly specific. This raises the question whether alternatives are available within the academic world itself – what I call the Lutheran view – and outside of academia – what I call the Calvinist view. Since I defend the thesis that such alternatives partially exist and as yet non-existent possibilities could in principle be realised, the main question thus becomes what prevents us from acting appropriately. In honour of Paul Smeyers, the fitting (...) metaphor has to be the Wittgensteinian fly-bottle. (shrink)

Is alternative mathematics possible? More specifically,is it possible to imagine that mathematics could havedeveloped in any other than the actual direction? Theanswer defended in this paper is yes, and the proofconsists of a direct demonstration. An alternativemathematics that uses vague concepts and predicatesis outlined, leading up to theorems such as ``Smallnumbers have few prime factors''.