Jean Paul Van Bendegem

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.

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.

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.

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.

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

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.

Everyone is familiar with the measure of beauty that has been proposed by Birkhoff, the famous formula M = O/C. Although I show that the formula in its original form cannot be maintained, I present a reinterpretation that adapts the formula for measuring the beauty of mathematical proofs. However, this type of measure is not the only aesthetic element in mathematics. There exists a 'romantic' side as well, to use the term introduced by François Le Lionnais. Thus, a more complex proposal of mathematical beauty is presented. Finally and as a consequence, I argue against the dichotomy that associates science, including mathematics, with the beauty of simplicity and that associates the arts with the beauty of complexity. As an example, the work of Oulipo, Raymond Queneau in particular, is briefly presented

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

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.

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)

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.