We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...) be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

In his seminal 1960 paper, the physicist Eugene Wigner formulated the question of the applicability of mathematics in physics in a way nobody had before. This formulation has been entirely overlooked due to an exclusive concern with solving Wigner’s problem and explaining the effectiveness of mathematics in the natural sciences, in one way or another. Many have attempted to attribute Wigner’s unjustified conclusion—that mathematics is unreasonably effective in the natural sciences—to his formalist views on mathematics. My goal is to show (...) that this reading misses out on Wigner’s highly original formulation of the problem which is presented throughout his body of work in physics as well as in philosophy. This formulation, as I will show, leads us in a new direction in solving the applicability problem. (shrink)

Aesthetics in philosophy of mathematics is too narrowly construed. Beauty is not the only feature in mathematics that is arguably aesthetic. While not the highest aesthetic value, being interesting is a sine qua non for publishability. Of the many ways to be interesting, being explanatory has recently been discussed. The motivational power of what is interesting is important for both directing research and stimulating education. The scientific satisfaction of curiosity and the artistic desire for beautiful results are complementary but both (...) aesthetic. (shrink)

This thesis constructs a model of the material causes of the capacity of individuals to act at work, by using the ontology of scientific realism to facilitate a synthesis between Marx and Foucault. This synthetic model is submitted as a solution to the long-standing problem of Industrial Relations theory, now manifest in the deconstruction of the organon of 'control'. The problems of 'control' are rooted in the radical concept of power and traditional, base/superstructure, interpretations of Marx. Developing an alternative to (...) the last provides the means of transcending the limitations of the first and the second. A realist, chronological-bibliographic reading of Marx provides an alternative to traditional interpretations, by creating a novel concept of his object, his initial explicandum and his putative explicans. This reading identifies a fresh problem with his model of capital: it cannot explain how labour is organized into a productive power and subsumed to capital. Foucault provides the means of resolving these deficiencies of Marx's explicans. A realist interpretation turns Marx and Foucault around to face each other, renders them compatible and establishes points of contact between their work. Together they constitute a model of the operative logic of production relations capable of explaining the organization of labour, its subsumption to capital and the materialism of civil society and the idealism of the state. On this basis, the contemporary form of the problem of Industrial Relations theory is explained. (shrink)

Although all mathematical truths are necessary, mathematicians take certain combinations of mathematical truths to be ‘coincidental’, ‘accidental’, or ‘fortuitous’. The notion of a ‘ mathematical coincidence’ has so far failed to receive sufficient attention from philosophers. I argue that a mathematical coincidence is not merely an unforeseen or surprising mathematical result, and that being a misleading combination of mathematical facts is neither necessary nor sufficient for qualifying as a mathematical coincidence. I argue that although the components of a mathematical coincidence (...) may possess a common explainer, they have no common explanation ; that two mathematical facts have a unified explanation makes their truth non-coincidental. I suggest that any motivation we may have for thinking that there are mathematical coincidences should also motivate us to think that there are mathematical explanations, since the notion of a mathematical coincidence can be understood only in terms of the notion of a mathematical explanation. I also argue that the notion of a mathematical coincidence plays an important role in scientific explanation. When two phenomenological laws of nature are similar, despite concerning physically distinct processes, it may be that any correct scientific explanation of their similarity proceeds by revealing their similarity to be no mathematical coincidence. (shrink)

The present paper will argue that, for too long, many nominalists have concentrated their researches on the question of whether one could make sense of applications of mathematics (especially in science) without presupposing the existence of mathematical objects. This was, no doubt, due to the enormous influence of Quine's "Indispensability Argument", which challenged the nominalist to come up with an explanation of how science could be done without referring to, or quantifying over, mathematical objects. I shall admonish nominalists to enlarge (...) the target of their investigations to include the many uses mathematicians make of concepts such as structures and models to advance pure mathematics. I shall illustrate my reasons for admonishing nominalists to strike out in these new directions by using Hartry Field's nominalistic view of mathematics as a model of a philosophy of mathematics that was developed in just the sort of way I argue one should guard against. I shall support my reasons by providing grounds for rejecting both Field's fictionalism and also his deflationist account of mathematical knowledge—doctrines that were formed largely in response to the Indispensability Argument. I shall then give a refutation of Mark Balaguer's argument for his thesis that fictionalism is "the best version of anti-realistic anti-platonism". (shrink)

W.D. Hamilton, Narrow Roads of Gene Land: The Collected Papers of W.D. Hamilton.

Our meta-argumentative vocabulary supplies the conceptual tools used to reflectively analyse, regulate, and evaluate our argumentative performances. Yet, this vocabulary is susceptible to misunderstanding and abuse in ways that make possible new discursive mistakes and pathologies. Thus, our efforts to self-regulate our reason-transacting practices by articulating their norms makes possible new ways to violate and flout those very norms. Scott Aikin identifies the structural possibility of this vicious feedback loop as the Owl of Minerva Problem. In the spirit of a (...) shared concern for the flourishing or our rational, argumentative practices, this paper approaches the Owl of Minerva Problem from a vantage point that, by comparison with Aikin’s, affords perspectives that are more pessimistic in some aspects and more optimistic in others. Pessimistically, the problem at the root of the weaponization of our meta-argumentative vocabulary is motivational, not structural. Its motivational nature explains its resistance to the normal repertoire of reparative argumentative maneuvers, as well as revealing a profound and deeply entrenched misunderstanding of the connection between our reasons-transacting practices and the goods achievable within them. Optimistically, in the absence of this motivational problem, the misunderstandings and errors made possible by our meta-argumentative vocabularies are amenable to remedy by familiar techniques of discursive instruction and repair. More optimistically, even though our meta-argumentative vocabularies are generated only retrospectively, they can be used prospectively, thereby making possible an aspirational motivation resulting in a virtuous cycle of increasingly autonomous normative self-regulation. Properly harnessed, the Owl of Minerva releases the Lark of Arete. (shrink)

Records of online collaborative mathematical activity provide us with a novel, rich, searchable, accessible and sizeable source of data for empirical investigations into mathematical practice. In this paper we discuss how the resources of crowdsourced mathematics can be used to help formulate and answer questions about mathematical practice, and what their limitations might be. We describe quantitative approaches to studying crowdsourced mathematics, reviewing work from cognitive history (comparing individual and collaborative proofs); social psychology (on the prospects for a measure of (...) collective intelligence); human–computer interaction (on the factors that led to the success of one such project); network analysis (on the differences between collaborations on open research problems and known-but-hard problems); and argumentation theory (on modelling the argument structures of online collaborations). We also give an overview of qualitative approaches, reviewing work from empirical philosophy (on explanation in crowdsourced mathematics); sociology of scientific knowledge (on conventions and conversations in online mathematics); and ethnography (on contrasting conceptions of collaboration). We suggest how these diverse methods can be applied to crowdsourced mathematics and when each might be appropriate. (shrink)

In 2003 I published a survey of Wittgenstein’s lectures in Public and Private Occasions. Much has been learned about his lectures since then. This paper revisits the earlier survey and provides additional material and corrections, which amount to over 25%. In case it is useful, I have provided interlinear pagination from the original publication.

This paper argues that in at least some cases, one proof of a given theorem is deeper than another by virtue of supplying a deeper explanation of the theorem — that is, a deeper account of why the theorem holds. There are cases of scientific depth that also involve a common abstract structure explaining a similarity between two otherwise unrelated phenomena, making their similarity no coincidence and purchasing depth by answering why questions that separate, dissimilar explanations of the two phenomena (...) cannot correctly answer. The connections between explanation, depth, unification, power, and coincidence in mathematics and science are compared. (shrink)

Abstract: Philosophy is often conceived in the Anglophone world today as a subject that focuses on questions in particular “core areas,” pre-eminently epistemology and metaphysics. This article argues that the contemporary conception is a new version of the scholastic “self-indulgence for the few” of which Dewey complained nearly a century ago. Philosophical questions evolve, and a first task for philosophers is to address issues that arise for their own times. The article suggests that a renewal of philosophy today should turn (...) the contemporary conception inside out, attending to and developing further the valuable work being done on the supposed “periphery” and attending to the “core areas” only insofar as is necessary to address genuinely significant questions. (shrink)

We characterize abstraction in computer science by first comparing the fundamental nature of computer science with that of its cousin mathematics. We consider their primary products, use of formalism, and abstraction objectives, and find that the two disciplines are sharply distinguished. Mathematics, being primarily concerned with developing inference structures, has information neglect as its abstraction objective. Computer science, being primarily concerned with developing interaction patterns, has information hiding as its abstraction objective. We show that abstraction through information hiding is a (...) primary factor in computer science progress and success through an examination of the ubiquitous role of information hiding in programming languages, operating systems, network architecture, and design patterns. (shrink)

Mathematicians often conduct aesthetic judgements to evaluate mathematical objects such as equations or proofs. But is there a consensus about which mathematical objects are beautiful? We used a comparative judgement technique to measure aesthetic intuitions among British mathematicians, Chinese mathematicians, and British mathematics undergraduates, with the aim of assessing whether judgements of mathematical beauty are influenced by cultural differences or levels of expertise. We found aesthetic agreement both within and across these demographic groups. We conclude that judgements of mathematical beauty (...) are not strongly influenced by cultural difference, levels of expertise, and types of mathematical objects. Our findings contrast with recent studies that found mathematicians often disagree with each other about mathematical beauty. (shrink)

Many mathematicians, physicists, and philosophers have suggested that the fact that mathematics—an a priori discipline informed substantially by aesthetic considerations—can be applied to natural science is mysterious. This paper sharpens and responds to a challenge to this effect. I argue that the aesthetic considerations used to evaluate and motivate mathematics are much more closely connected with the physical world than one might presume, and (with reference to case-studies within Galois theory and probabilistic number theory) show that they are correlated with (...) generally recognized theoretical virtues, such as explanatory depth, unifying power, fruitfulness, and importance. (shrink)

There is a tendency in contemporary (analytic) aesthetics to consider- ably restrict the scope of things that can be beautiful or ugly. This peculiarly modern tendency is holding back progress in aesthetics and robbing it of its potential contribution to other domains of inquiry. One view that has suffered neglect as a result of this tendency is the moral beauty view, whereby the moral virtues are beautiful and the moral vices are ugly. This neglect stems from an assumption to the (...) effect that virtues and vices simply cannot be beautiful or ugly. The aim of this paper is twofold. First, it develops an account of form, under which, it argues, possession of form suffices for an object’s candidature for beauty and ugliness. Second, it argues that, under the foregoing proposal, the moral beauty view turns out to be a coherent position, and so should be taken seriously in both aesthetics and ethics. (shrink)

I will discuss the history and prospects for new machines and instruments as anticipated in the newly announced EU Flagship for Quantum Technology. The program of Richard Feynman, as announced almost 60 years ago, to go to the “bottom” in the miniaturization of information-processing technology, has come to fruition, and a set of well-defined technologies, in the areas of quantum computing, quantum simulation, quantum sensing and metrology, and quantum communication, have emerged. I give a perspective on the sometimes abstruse significance (...) of these coming technologies. The scientists will continue beyond these technologies to new unfoldings of quantum knowledge, whose technological significance we can barely fathom today. (shrink)

The first part of the paper is devoted to surveying the remarks that philosophers and mathematicians such as Maddy, Hardy, Gowers, and Zeilberger have made about mathematical depth. The second part is devoted to the question of whether we can make the notion precise by a more formal proof-theoretical approach. The idea of measuring depth by the depth and bushiness of the proof is considered, and compared to the related notion of the depth of a chess combination.

Mathematics stand in a privileged relationship with aesthetics: a relationship that follows two main directions. The first concerns the introduction of mathematical considerations into aesthetic discourse. For instance, it is common to mention the mathematical architecture of certain artistic productions. The second leads from aesthetics to mathematics. In this case, the question is that of the role and meaning that aesthetic considerations may assume in mathematics. It is indeed a widely held view among mathematicians, of whatever socio-historical context, not only (...) to see their discipline as presenting a strong aesthetic dimension, but also to consider that this dimension plays a fundamental role in the process of developing and understanding mathematics. The main ambition of this paper is to show how Nelson Goodman’s aesthetics can be used to justify this point of view and to propose a thesis concerning the aesthetic functioning of mathematics. This first result allows to resituate Goodman’s aesthetics within a very classical tradition that will be described. Finally, the underlying ambition is to show the keys provided by Goodman’s theory for the philosophy of mathematics. (shrink)

I discuss the applicability of mathematics via a detailed case study involving a family of mathematical concepts known as ‘fractional derivatives.’ Certain formulations of the mystery of applied mathematics would lead one to believe that there ought to be a mystery about the applicability of fractional derivatives. I argue, however, that there is no clear mystery about their applicability. Thus, via this case study, I think that one can come to see more clearly why certain formulations of the mystery of (...) applied mathematics are not convincing. (shrink)

I argue that a recent version of the doctrine of mathematical naturalism faces difficulties arising in connection with Wigner's old puzzle about the applicability of mathematics to natural science. I discuss the strategies to solve the puzzle and I show that they may not be available to the naturalist.

A rationalist and realist model of scientific revolutions will be constructed by reference to two categories of criteria of theory-evaluation, denominated indicators of truth and of beauty. Whereas indicators of truth are formulateda priori and thus unite science in the pursuit of verisimilitude, aesthetic criteria are inductive constructs which lag behind the progression of theories in truthlikeness. Revolutions occur when the evaluative divergence between the two categories of criteria proves too wide to be recomposed or overlooked. This model of revolutions (...) depends upon a substantial new treatment of aesthetic criteria in science with which much of the paper will therefore be occupied. (shrink)

Journal of Philosophy of Education, EarlyView.

In his seminal 1960 paper, the physicist Eugene Wigner formulated the question of the applicability of mathematics in physics in a way nobody had before. This formulation has been entirely overlooked due to an exclusive concern with solving Wigner’s problem and explaining the effectiveness of mathematics in the natural sciences, in one way or another. Many have attempted to attribute Wigner’s unjustified conclusion—that mathematics is unreasonably effective in the natural sciences—to his formalist views on mathematics. My goal is to show (...) that this reading misses out on Wigner’s highly original formulation of the problem which is presented throughout his body of work in physics as well as in philosophy. This formulation, as I will show, leads us in a new direction in solving the applicability problem. (shrink)

Mathematics textbooks teach logical reasoning by example, a practice started by Euclid; while logic textbooks treat logic as a subject in its own right without practical application to mathematics. Stuck in the middle are students seeking mathematical proficiency and educators seeking to provide it. To assist them, the article explains in practical detail how to teach logic-based skills such as: making mathematical reasoning fully explicit; moving from step to step in a mathematical proof in logically correct ways; and checking to (...) make sure inferences are logically correct. The methodology can easily be extended beyond the four examples analyzed. (shrink)

Prior Analytics by the Greek philosopher Aristotle and Laws of Thought by the English mathematician George Boole are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle's system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss many other historically and philosophically important aspects (...) of Boole's book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole's contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology.… using mathematical methods … has led to more knowledge about logic in one century than had been obtained from the death of Aristotle up to … when Boole's masterpiece was published.Paul Rosenbloom 1950. (shrink)

ArgumentIn the decades following World War II, the Cowles Commission for Research in Economics came to represent new technical standards that informed most advances in economic theory. The public emergence of this community was manifest at a conference held in June 1949 titledActivity Analysis of Production and Allocation. New ideas in optimization theory, linked to linear programming, developed from the conference's papers. The authors’ history of this event situates the Cowles Commission among the institutions of postwar science in-between National Laboratories (...) and the supreme discipline of Cold War academia, mathematics. Although the conference created the conditions under which economics, as a discipline, would transform itself, the participants themselves had little concern for the intellectual battles that had defined prewar university economics departments. The authors argue that the conference signaled the birth of a new intellectual culture in economic science based on shared scientific norms and techniques un-interrogated by conflicting notions of the meaning of either science or economics. (shrink)

In a very influential paper Rota stresses the relevance of mathematical beauty to mathematical research, and claims that a piece of mathematics is beautiful when it is enlightening. He stops short, however, of explaining what he means by ‘enlightening’. This paper proposes an alternative approach, according to which a mathematical demonstration or theorem is beautiful when it provides understanding. Mathematical beauty thus considered can have a role in mathematical discovery because it can guide the mathematician in selecting which hypothesis to (...) consider and which to disregard. Thus aesthetic factors can have an epistemic role qua aesthetic factors in mathematical research. (shrink)

In Beauty and Revolution in Science, James McAllister advances a rationalistic picture of science in which scientific progress is explained in terms of aesthetic evaluations of scientific theories. Here I present a new model of aesthetic evaluations by revising McAllister’s core idea of the aesthetic induction. I point out that the aesthetic induction suffers from anomalies and theoretical inconsistencies and propose a model free from such problems. The new model is based, on the one hand, on McAllister’s original model and (...) on further developments by Theo Kuipers in his “Beauty, a Road to the Truth?”. On the other hand, it is based on empirical findings about affection and emotion, and a naturalistic aesthetic theory. The new model is thus a naturalistic model with a wider explanatory range and much more internal consistency that McAllister’s. (shrink)

RésuméDans leur livre récent, George Lakoff et Rafael Núñez se livrent à une critique naturaliste soutenue du platonisme traditionnel concernant les entités mathématiques. Ils affirment que des résultats récents en sciences cognitives démontrent qu'il est faux. En particulier, ils estiment que la découverte que la cognition mathématique s'appuie pour une large part sur les métaphores conceptuelles est incompatible avec le platonisme. Nous montrons ici que tel n'est pas le cas. Nous examinons et rejetons également quelques arguments philosophiques que formulent Lakoff (...) et Núñez contre le platonisme. Enfin, nous lions leur hostilité au platonisme à certaines opinions sur les ramifications politiques de celui-ci. Pour conclure, nous faisons valoir que ces opinions sont sans fondements et présentent une image distordue des dimensions politiques du platonisme. (shrink)

There have been a wide range of any human activities concerning the term of “Art and Mathematics”. Regarding directly to the historical root, there are a great deal of discussions on art and mathematics and their connections. The paper elaborates the connection between the two discourses of art and mathematics and how they influence each other.

This book develops a naturalistic aesthetic theory that accounts for aesthetic phenomena in mathematics in the same terms as it accounts for more traditional aesthetic phenomena. Building upon a view advanced by James McAllister, the assertion is that beauty in science does not confine itself to anecdotes or personal idiosyncrasies, but rather that it had played a role in shaping the development of science. Mathematicians often evaluate certain pieces of mathematics using words like beautiful, elegant, or even ugly. Such evaluations (...) are prevalent, however, rigorous investigation of them, of mathematical beauty, is much less common. The volume integrates the basic elements of aesthetics, as it has been developed over the last 200 years, with recent findings in neuropsychology as well as a good knowledge of mathematics. The volume begins with a discussion of the reasons to interpret mathematical beauty in a literal or non-literal fashion, which also serves to survey historical and contemporary approaches to mathematical beauty. The author concludes that literal approaches are much more coherent and fruitful, however, much is yet to be done. In this respect two chapters are devoted to the revision and improvement of McAllister’s theory of the role of beauty in science. These antecedents are used as a foundation to formulate a naturalistic aesthetic theory. The central idea of the theory is that aesthetic phenomena should be seen as constituting a complex dynamical system which the author calls the aesthetic as process theory. The theory comprises explications of three central topics: aesthetic experience, aesthetic value and aesthetic judgment. The theory is applied in the final part of the volume and is used to account for the three most salient and often used aesthetic terms often used in mathematics: beautiful, elegant and ugly. This application of the theory serves to illustrate the theory in action, but also to further discuss and develop some details and to showcase the theory’s explanatory capabilities. (shrink)

The topics of structural proof theory and logic programming have influenced each other for more than three decades. Proof theory has contributed the notion of sequent calculus, linear logic, and higher-order quantification. Logic programming has introduced new normal forms of proofs and forced the examination of logic-based approaches to the treatment of bindings. As a result, proof theory has responded by developing an approach to proof search based on focused proof systems in which introduction rules are organized into two alternating (...) phases of rule application. Since the logic programming community can generate many examples and many design goals, the close connections with proof theory have helped to keep proof theory relevant to the general topic of computational logic. (shrink)

In this thesis, I aim to motivate a particular philosophy of mathematics characterised by the following three claims. First, mathematical sentences are generally speaking false because mathematical objects do not exist. Second, people typically use mathematical sentences to communicate content that does not imply the existence of mathematical objects. Finally, in using mathematical language in this way, speakers are not doing anything out of the ordinary: they are performing straightforward assertions. In Part I, I argue that the role played by (...) mathematics in our scientific explanations is a purely expressive one, merely allowing us to say more about the physical world than we would otherwise be able to. Mathematical objects do not need to exist for mathematics to play this role. This proposal puts a normative constraint on our use of mathematical language: we ought to use mathematically presented theories to express belief only in the consequences they have for non-mathematical things. In Part II, I will argue that what the normative proposal recommends is in fact what people generally do in both pure and applied mathematical contexts. I motivate this claim by showing that it is predicted by our best general means of analysing natural language. I provide a semantic theory of applied arithmetical sentences that reveals they do not purport to refer to numbers, as well as a pragmatic theory for pure mathematical language use which reveals that pure mathematical utterances do not typically communicate content that implies the existence of mathematical objects. In conclusion, I show that the emerging hermeneutic fictionalist position is preferable to any alternative interpretation of mathematical discourse as aimed at describing a domain of independently existing abstract mathematical objects. (shrink)

The concept of the "linear model of innovation" was introduced by authors belonging to the field of innovation studies in the middle of the 1980s. According to the model, there is a simple sequence of steps going from basic science to innovations - an innovation being defined as an invention that is profitable. In innovation studies, the LMI is held to be assumed in Science the endless frontier , the influential report prepared by Vannevar Bush in 1945. In this paper, (...) it is argued that: the LMI was introduced with critical purposes, as part of the questioning of the conception of science and the proposals for science policies put forward in Sef; at a first level of analysis, the LMI appears as a straw man, defended neither in Sef, nor anywhere else; the LMI is a weapon against the importance attributed to basic science in Sef, and its defense of the financing of basic research by the state; the LMI is a component of the process of commodification of science promoted by neoliberalism. The last section of the paper presents a qualified defense of basic science and basic research. (shrink)

ArgumentThis article gives the background to a public lecture delivered in Hebrew by Edmund Landau at the opening ceremony of the Hebrew University in Jerusalem in 1925. On the surface, the lecture appears to be a slightly awkward attempt by a distinguished German-Jewish mathematician to popularize a few number-theoretical tidbits. However, quite unexpectedly, what emerges here is Landau's personal blend of Zionism, German nationalism, and the proud ethos of pure, rigorous mathematics – against the backdrop of the situation of Germany (...) after World War I. Landau's Jerusalem lecture thus shows how the Zionist cause was inextricably linked to, and determined by political agendas that were taking place in Europe at that time. The lecture stands in various historical contexts - Landau's biography, the history of Jewish scientists in the German Zionist movement, the founding of the Hebrew University in Jerusalem, and the creation of a modern Hebrew mathematical language. This article provides a broad historical introduction to the English translation, with commentary, of the original Hebrew text. (shrink)

Mathematics and music in practice and performance, and in learning and teaching, share many characteristics, such as beauty and harmony, memory and intuition and mind or intellect. These raise the principles of processing information in mathematics and music and, by implication, the role of an acquaintance with the essentials of perception, abstraction and affective connaturality in teacher education. This paper compares mathematics and music and considers the acquisition of knowledge and skills through the external and internal senses and emotions, utilizing (...) the role of knowledge through multiple intelligences. In doing so it does not canvas the utilities of mathematics and music as fields of human endeavour so much as their role in the cultivation of serenity and knowledge in the cultured mind. This is a theoretical paper but it is based on nearly a century of teaching from the combined work of the two authors in the teaching of music and mathematics. The paper highlights the importance of inspiration in teaching, inspiration built on a thorough basis of the foundations of anthropology to include the emotions as well as the intellect. While teacher education programs rightly concern themselves with knowledge of the field of study, knowledge of pedagogy, they do not always consider the ability to inspire which is at the heart of managing and mentoring people. (shrink)

I am going to compare the strategies and communication bees use in order to locate and retrieve nectar to the world of science and the scientist. The analogy is intentionally anthropomorphic but I wish to argue that if successful bees made assumptions they would be similar to those of the scientist: flowers can be regarded as facts, nectar as knowledge, honey as technology and their ‘waggle-dance’ as communication of ideas. I would like to say that this is to be used (...) as an analogy and should not be taken to be a statement of the scientific method as an emergent property of nature, as evolution ultimately does not care about what is true or false, whereas science does. However, what i do wish to convey is that in the same way that the life of bees can be limited by the process of their enquiries; science can also limit itself by the assumptions that are taken to be true or worthwhile in the quest for new knowledge. (shrink)