IntroductionThis paper focuses on a radical feminist engagement with mathematical pluralism. Radical Feminists are interested in a project of methodological re-tooling. Mathematical pluralism appears to be a possible source of help in this direction.Materials and MethodsWith this aim in view the article examines the contributions of Mihir Chakraborty and Amita Chatterjee. By using the method of philosophical argument their theses have been judged from a feminist perspective.ResultsSome very interesing results have been arrived at in terms of accommodating vagueness (...) and pluralism into feminist methodology by the help of mathematical pluralism.DiscussionBy the way of an ongoing discussion the paper states the contours of a radical feminist road map and specifies the kind help they seek from mathematical pluralism. (shrink)

We introduce a St. Petersburg-like game, which we call the ‘Pasadena game’, in which we toss a coin until it lands heads for the first time. Your pay-offs grow without bound, and alternate in sign (rewards alternate with penalties). The expectation of the game is a conditionally convergent series. As such, its terms can be rearranged to yield any sum whatsoever, including positive infinity and negative infinity. Thus, we can apparently make the game seem as desirable or undesirable as (...) we want, simply by reordering the pay-off table, yet the game remains unchanged throughout. Formally speaking, the expectation does not exist; but we contend that this presents a serious problem for decision theory, since it goes silent when we want it to speak. We argue that the Pasadena game is more paradoxical than the St. Petersburg game in several respects. We give a brief review of the relevant mathematics of infinite series. We then consider and rebut a number of replies to our paradox: that there is a privileged ordering to the expectation series; that decision theory should be restricted to finite state spaces; and that it should be restricted to bounded utility functions. We conclude that the paradox remains live. (shrink)

I introduce a mathematical account of expectation based on a qualitative criterion of coherence for qualitative comparisons between gambles (or random quantities). The qualitative comparisons may be interpreted as an agent’s comparative preference judgments over options or more directly as an agent’s comparative expectation judgments over random quantities. The criterion of coherence is reminiscent of de Finetti’s quantitative criterion of coherence for betting, yet it does not impose an Archimedean condition on an agent’s comparative judgments, it does (...) not require the binary relation reflecting an agent’s comparative judgments to be reflexive, complete or even transitive, and it applies to an absolutely arbitrary collection of gambles, free of structural conditions (e.g., closure, measurability, etc.). Moreover, unlike de Finetti’s criterion of coherence, the qualitative criterion respects the principle of weak dominance, a standard of rational decision making that obliges an agent to reject a gamble that is possibly worse and certainly no better than another gamble available for choice. Despite these weak assumptions, I establish a qualitative analogue of de Finetti’s Fundamental Theorem of Prevision, from which it follows that any coherent system of comparative expectations can be extended to a weakly ordered coherent system of comparative expectations over any collection of gambles containing the initial set of gambles of interest. The extended weakly ordered coherent system of comparative expectations satisfies familiar additivity and scale invariance postulates (i.e., independence) when the extended collection forms a linear space. In the course of these developments, I recast de Finetti’s quantitative account of coherent prevision in the qualitative framework adopted in this article. I show that comparative previsions satisfy qualitative analogues of de Finetti’s famous bookmaking theorem and his Fundamental Theorem of Prevision.The results of this article complement those of another article (Pedersen, Strictly coherent preferences, no holds barred, Manuscript, 2013). I explain how those results entail that any coherent weakly ordered system of comparative expectations over a unital linear space can be represented by an expectation function taking values in a (possibly non-Archimedean) totally ordered field extension of the system of real numbers. The ordered field extension consists of formal power series in a single infinitesimal, a natural and economical representation that provides a relief map tracing numerical non-Archimedean features to qualitative non-Archimedean features. (shrink)

A new problem about mathematical expectation: there exists a state of affairs S and options H and T such that in every element of one partition of S, the expectation of H exceeds that of T, while in every element of a different partition of S, the expectation of T exceeds that of H. This problem may be connected with questions about inference in the short and long run, and with questions about confidence intervals and fiducial (...) probability. (shrink)

A mixture preorder is a preorder on a mixture space (such as a convex set) that is compatible with the mixing operation. In decision theoretic terms, it satisfies the central expected utility axiom of strong independence. We consider when a mixture preorder has a multi-representation that consists of real-valued, mixture-preserving functions. If it does, it must satisfy the mixture continuity axiom of Herstein and Milnor (1953). Mixture continuity is sufficient for a mixture-preserving multi-representation when the dimension of the mixture space (...) is countable, but not when it is uncountable. Our strongest positive result is that mixture continuity is sufficient in conjunction with a novel axiom we call countable domination, which constrains the order complexity of the mixture preorder in terms of its Archimedean structure. We also consider what happens when the mixture space is given its natural weak topology. Continuity (having closed upper and lower sets) and closedness (having a closed graph) are stronger than mixture continuity. We show that continuity is necessary but not sufficient for a mixture preorder to have a mixture-preserving multi-representation. Closedness is also necessary; we leave it as an open question whether it is sufficient. We end with results concerning the existence of mixture-preserving multi-representations that consist entirely of strictly increasing functions, and a uniqueness result. (shrink)

The philosophical analysis of mathematical explanations concerns itself with two different, although connected, areas of investigation. The first area addresses the problem of whether mathematics can play an explanatory role in the natural and social sciences. The second deals with the problem of whether mathematical explanations occur within mathematics itself. Accordingly, this entry surveys the contributions to both areas, it shows their relevance to the history of philosophy and science, it articulates their connection, and points to the philosophical (...) pay-offs to be expected by deepening our understanding of the topic. (shrink)

We give two social aggregation theorems under conditions of risk, one for constant population cases, the other an extension to variable populations. Intra and interpersonal welfare comparisons are encoded in a single ‘individual preorder’. The theorems give axioms that uniquely determine a social preorder in terms of this individual preorder. The social preorders described by these theorems have features that may be considered characteristic of Harsanyi-style utilitarianism, such as indifference to ex ante and ex post equality. However, the theorems are (...) also consistent with the rejection of all of the expected utility axioms, completeness, continuity, and independence, at both the individual and social levels. In that sense, expected utility is inessential to Harsanyi-style utilitarianism. In fact, the variable population theorem imposes only a mild constraint on the individual preorder, while the constant population theorem imposes no constraint at all. We then derive further results under the assumption of our basic axioms. First, the individual preorder satisfies the main expected utility axiom of strong independence if and only if the social preorder has a vector-valued expected total utility representation, covering Harsanyi’s utilitarian theorem as a special case. Second, stronger utilitarian-friendly assumptions, like Pareto or strong separability, are essentially equivalent to strong independence. Third, if the individual preorder satisfies a ‘local expected utility’ condition popular in non-expected utility theory, then the social preorder has a ‘local expected total utility’ representation. Fourth, a wide range of non-expected utility theories nevertheless lead to social preorders of outcomes that have been seen as canonically egalitarian, such as rank-dependent social preorders. Although our aggregation theorems are stated under conditions of risk, they are valid in more general frameworks for representing uncertainty or ambiguity. (shrink)

Several hundred thousand intellectually talented 12-to 13-year-olds have been tested nationwide over the past 16 years with the mathematics and verbal sections of the Scholastic Aptitude Test (SAT). Although no sex differences in verbal ability have been found, there have been consistent sex differences favoring males in mathematical reasoning ability, as measured by the mathematics section of the SAT (SAT-M). These differences are most pronounced at the highest levels of mathematical reasoning, they are stable over time, and they (...) are observed in other countries as well. The sex difference in mathematical reasoning ability can predict subsequent sex differences in achievement in mathematics and science and is therefore of practical importance. To date a primarily environmental explanation for the difference in ability has not received support from the numerous studies conducted over many years by the staff of Study of Mathematically Precocious Youth (SMPY) and others. We have studied some of the classical environmental hypotheses: attitudes toward mathematics, perceived usefulness of mathematics, confidence, expectations/ encouragement from parents and others, sex-typing, and differential course-taking. In addition, several physiological correlates of extremely high mathematical reasoning ability have been identified (left-handedness, allergies, myopia, and perhaps bilateral representation of cognitive functions and prenatal hormonal exposure). It is therefore proposed that the sex difference in SAT-M scores among intellectually talented students, which may be related to greater male variability, results from both environmental and biological factors. (shrink)

This eighth book of the author on gambling math presents in accessible terms the cold mathematics behind the sparkling slot machines, either physical or virtual. It contains all the mathematical facts grounding the configuration, functionality, outcome, and profits of the slot games. Therefore, it is not a so-called how-to-win book, but a complete, rigorous mathematical guide for the slot player and also for game producers, being unique in this respect. As it is primarily addressed to the slot player, (...) its goal is to present practical applications of the mathematical models of slot games, in order to provide numerical results that a player can use as criteria for gaming decisions or just as information for any slot game and any predicted winning event. These results are focused on probability and expected value, these being the most important parameters for decisional criteria in slots. The book is packed with plenty of figures, tables, and formulas. The content is organized so that readers can skip the theoretical parts and go picking the practical results (numerical, in tables of values where possible, or ready-to-compute formulas) for the desired situation. The practical results are gathered in the last chapter, titled "Practical Applications and Numerical Results," the largest part of the book, for the most popular categories of slot machines, namely with 3, 5, 9, and 16 reels. Any other category of slot games is covered in the theoretical part of the book, where the general formulas apply not only to existing slot games, but also to possible future slot games of any design and configuration. The author does not just throw the slot mathematics to the audience and run away, but offers an ultimate practical contribution with the chapter "How to estimate the number of stops and the symbol distribution on a reel", a surprise for both players and producers, where one can see that mathematics provides players with some statistical methods as well as methods based on physical measurements for retrieving these missing data. Having these data along with the mathematical results of this book, anyone can generate the PAR sheet of any slot machine. In the last decade, mathematics has been taken more and more seriously into account in gaming, as being the essence that governs the games of chance and the only rigorous tool providing information on optimal play, where possible. For the popular game of slots, mathematics already fulfilled its duty by providing all the data that it can provide and that cannot be found on the display of the slot machines - it is all here in this book. (shrink)

The main objective of this paper is to present a mathematics education of helplessness in a problematization movement of political affects. So, we produce a discussion about Circuit of Affects, by the Brazilian philosopher Vladimir Safatle, in which fear and hope are constituted as affects that paralyze us and prevent us from creating new forms of life. Helplessness could be constituted as an affect for us to move with the contingency outside the temporality of expectation. The Covid-19 pandemic is (...) used as example for our considerations in the direction of presenting, in a first draft, three concepts to think/operate a mathematics education of helplessness: scale, belonging and border. A mathematics education with Gaia between humans and non-humans in becoming movements. (shrink)

In 1908, Henri Poincar? claimed that: ...the mathematical facts worthy of being studied are those which, by their analogy with other facts, are capable of leading us to the knowledge of a mathematical law, just as experimental facts lead us to the knowledge of a physical law. They are those which reveal to us unsuspected kinship between other facts, long known, but wrongly believed to be strangers to one another. Towards the end of the twentieth century, with many (...) more mathematical facts since discovered, several mathematicians proposed overarching schemes to organise the facts they considered most significant. In this paper, I shall briefly discuss three of these schemes (those of Arnold, Atiyah, and Baez and Dolan), before drawing some philosophical consequences from their attempts. Rather than the kind of claim made by Frege that with the entry of imaginary numbers we reach the ?natural end of the domain of numbers?, we are dealing here with a more open-ended sense of conceptual growth. I shall illustrate this theme by discussing the elaboration of algebraic structures designed to measure symmetry. What emerges is that at any one time mathematicians are operating with a notion very similar to that discussed in the philosophy of science under the heading of ?natural kinds?. We find ?quasi-causal? talk of properties being ?responsible? for a phenomenon, projectability, the transfer of robust mechanisms between domains, and reference to entities not yet fully determined. Debates in philosophy of science prompt further questioning as to the ?naturalness? of these mathematical kinds, whether one should expect them to be dependent on varying human interests, whether there is a distinction between artefactual and real kinds, and whether there is convergence of kinds. I believe that these questions present a wonderful opportunity for a philosophy of mathematics to treat ?real? mathematics, while making powerful points of contact with philosophy of science, and philosophy in general. (shrink)

The objective of the study was to develop a structural model that explores the relationship between Mathematics Performance and students’ self-regulated learning skills, grit, and expectancy-value towards science, technology, engineering and mathematics (STEM). The research collected survey data from 664 senior high school students from 17 STEM high schools, and conducted a covariance-based structural equation modeling (SEM) analysis. The results of the SEM analysis indicate that the Re-specified Self-Regulated Learning Skill – Expectancy-Value towards STEM – Grit – Mathematics Performance (Re-specified (...) SRL-EV-GR-MP) model is the most parsimonious fit, offering the best empirical support for the theoretical model of the study. The research findings suggest that the mathematics performance of senior high school students in STEM curriculum is attributed to their high expectancies for success and perceived values of the STEM tasks, high grit, and high self-regulated learning skills. Moreover, the research also observed evidence of mediating and moderating grit effects in the concurrent effects of expectancy-values towards STEM and self-regulated learning skills towards students’ mathematics performance. (shrink)

The underrepresentation of females in mathematics-related fields may be explained by gender differences in mathematics self-concept (rather than ability) favoring males. Mathematics self-concept typically declines with student age, differs with student ethnicity, and is sensitive to teacher influence in early schooling. We investigated whether change in mathematics self-concept occurred within the context of a longitudinal intervention to raise and sustain teacher expectations of student achievement. This experimental study was conducted with a large sample of New Zealand primary school students and (...) their teachers. Data were analyzed using longitudinal multilevel modelling with mathematics self-concept as the dependent variable and time (which represents students’ increasing age each year), gender, and ethnicity entered as predictors and achievement in mathematics included as a control variable. Interaction terms were also explored to investigate changes over time for different groups. All students demonstrated a small increase in mathematics self-concept over the three-year period of the current study but mathematics self-concept was consistently greater for boys than girls. Māori, Asian, and Other students’ initial mathematics self-concept was higher than that of New Zealand European and Pacific Islanders’ (after controlling for achievement differences). However, a statistically significant decline in mathematics self-concept occurred for Māori students alone by the end of the study. The expected age-related reduction over time in student mathematics self-concept appeared to be mitigated in association with the longitudinal study. Nevertheless, the demonstration of a comparatively lower mathematics self-concept remained for girls overall and declined for Māori. Our results reinforce implications for future research into mathematics self-concept as a possible determinant of female student career choices. (shrink)

In this paper, we provide two novel expected utility theorems by suitably adjusting the independence and continuity axioms. Our first theorem characterizes expected utility preferences using weak versions of the independence axiom (with varying mixture weights) and a new weak continuity axiom. Our second theorem characterizes these preferences using weaker versions of the independence axiom (with mixture weights fixed at 1/2) and a strong topological continuity axiom. We provide useful examples to illustrate the tightness of these characterizations.

One of the greatest revolutions in mathematics occurred when Georg Cantor promulgated his theory of transfinite sets. This revolution is the subject of Joseph Dauben's important studythe most thorough yet writtenof the philosopher and mathematician who was once called a "corrupter of youth" for an innovation that is now a vital component of elementary school curricula.Set theory has been widely adopted in mathematics and philosophy, but the controversy surrounding it at the turn of the century remains of great interest. Cantor's (...) own faith in his theory was partly theological. His religious beliefs led him to expect paradoxes in any concept of the infinite, and he always retained his belief in the utter veracity of transfinite set theory. Later in his life, he was troubled by recurring attacks of severe depression. Dauben shows that these played an integral part in his understanding and defense of set theory. (shrink)

Standard models of portfolio investment rely on various statistical measures of dispersion. Such measures favor returns smoothed over all states of the world and penalize abnormally low as well as abnormally high returns. A model of portfolio investment based on the tradeoff between expected return and expected loss considers only abnormally low returns as undesirable. Such a model has a comparative advantage over other existing models in that a first-order stochastically dominant portfolio always has a higher expected return and a (...) lower expected loss. Expected return—expected loss model of portfolio investment can rationalize the equity premium puzzle. Two random variables are not comoving if there is at least one state of the world in which one random variable yields a positive return and the other—a negative return. Such random variables provide hedging benefits from diversification in portfolio investment according to the expected return—expected loss model. A special case of this model, when an investor linearly trade-offs expected returns and expected losses, is also a special case of the prospect theory when a decision-maker has a piece-wise linear value function without any probability weighting. (shrink)

The Borel–Kolmogorov Paradox is typically taken to highlight a tension between our intuition that certain conditional probabilities with respect to probability zero conditioning events are well defined and the mathematical definition of conditional probability by Bayes’ formula, which loses its meaning when the conditioning event has probability zero. We argue in this paper that the theory of conditional expectations is the proper mathematical device to conditionalize and that this theory allows conditionalization with respect to probability zero events. The (...) conditional probabilities on probability zero events in the Borel–Kolmogorov Paradox also can be calculated using conditional expectations. The alleged clash arising from the fact that one obtains different values for the conditional probabilities on probability zero events depending on what conditional expectation one uses to calculate them is resolved by showing that the different conditional probabilities obtained using different conditional expectations cannot be interpreted as calculating in different parametrizations of the conditional probabilities of the same event with respect to the same conditioning conditions. We conclude that there is no clash between the correct intuition about what the conditional probabilities with respect to probability zero events are and the technically proper concept of conditionalization via conditional expectations—the Borel–Kolmogorov Paradox is just a pseudo-paradox. (shrink)

For the past hundred years, mathematics, for its own reasons, has been shifting away from the study of “mathematical objects” and towards the study of “structures”. One would have expected philosophers to jump onto the bandwagon, as in many other cases, to proclaim that this shift is no accident, since mathematics is “essentially” about structures, not objects. In fact, structuralism has not been a very popular philosophy of mathematics, probably because of the hostility of Frege and other influential logicists, (...) and quasi-logicists like Quine. Recently, however, structuralism has finally penetrated the philosophical community and a number of “structuralist” volumes in the philosophy of mathematics have seen the light of day. Michael Resnik is one of the most distinguished representatives of this school, along with Stewart Shapiro, who has also recently published a structuralist tract. (shrink)

To explore the relation between mathematical models and reality, four different domains of reality are distinguished: observer-independent reality, personal reality, social reality and mathematical/formal reality. The concepts of personal and social reality are strongly inspired by constructivist ideas. Mathematical reality is social as well, but constructed as an autonomous system in order to make absolute agreement possible. The essential problem of mathematical modelling is that within mathematics there is agreement about ‘truth’, but the assignment of mathematics (...) to informal reality is not itself formally analysable, and it is dependent on social and personal construction processes. On these levels, absolute agreement cannot be expected. Starting from this point of view, repercussion of mathematical on social and personal reality, the historical development of mathematical modelling, and the role, use and interpretation of mathematical models in scientific practice are discussed. (shrink)

Along with the rapid application of new information technologies, the data-driven era is coming, and online consumption platforms are booming. However, massive user data have not been fully developed for design value, and the application of data-driven methods of requirement engineering needs to be further expanded. This study proposes a data-driven expectation prediction framework based on social exchange theory, which analyzes user expectations in the consumption process, and predicts improvement plans to assist designers make better design improvement. According to (...) the classification and concept definition of social exchange resources, consumption exchange elements were divided into seven categories: money, commodity, services, information, value, emotion, and status, and based on these categories, two data-driven methods, namely, word frequency statistics and scale surveys, were combined to analyze user-generated data. Then, a mathematical expectation formula was used to expand user expectation prediction. Moreover, by calculating mathematical expectation, explicit and implicit expectations are distinguished to derive a reliable design improvement plan. To validate its feasibility and advantages, an illustrative example of CoCo Fresh Tea & Juice service system improvement design is further adopted. As an exploratory study, it is hoped that this study provides useful insights into the data mining process of consumption comment. (shrink)

Some proponents of the indispensability argument for mathematical realism maintain that the empirical evidence that confirms our best scientific theories and explanations also confirms their pure mathematical components. I show that the falsity of this view follows from three highly plausible theses, two of which concern the nature of mathematical application and the other the nature of empirical confirmation. The first is that the background mathematical theories suitable for use in science are conservative in the sense (...) outlined by Hartry Field. The second is that the empirical relevance of mathematical statements suitable for use in science is mediated by their non-mathematical consequences. The third is that statements receive additional empirical confirmation only by way of generating additional empirical expectations. Since each of these is a thesis we have good reason to endorse, my argument poses a challenge to anyone who argues that science affords empirical grounds for mathematical realism. (shrink)

A rule for the acceptance of scientific hypotheses called 'the principle of cost-benefit dominance' is shown to be more effective and efficient than the well-known principle of the maximization of expected utility. Harvey 's defense of his theory of the circulation of blood in animals is examined as a historical paradigm case of a successful defense of a scientific hypothesis and as an implicit application of the cost-benefit dominance rule advocated here. Finally, various concepts of 'dominance' are considered by means (...) of which the effectiveness of our rule may be increased. (shrink)

A rule for the acceptance of scientific hypotheses called ‘the principle of cost-benefit dominance’ is shown to be more effective and efficient than the well-known principle of the maximization of expected (epistemic) utility. Harvey's defense of his theory of the circulation of blood in animals is examined as a historical paradigm case of a successful defense of a scientific hypothesis and as an implicit application of the cost-benefit dominance rule advocated here. Finally, various concepts of ‘dominance’ are considered by means (...) of which the effectiveness of our rule may be increased. (shrink)

A persistent belief in American culture is that males both outperform and have a higher inherent aptitude for mathematics than females. Using data from two school districts in two different states in the United States, this study used longitudinal multilevel modeling to examine whether overall performance on standardized as well as classroom tests reveals a gender difference in mathematics performance. The results suggest that both male and female students demonstrated the same growth trend in mathematics performance (as measured by standardized (...) test scores) over time, but females' mathematics grade-point average is significantly higher than males. These results are discussed in the context of present day standardized assessment in the United States that may motivate teachers to focus on higher expectations for mathematics performance regardless of gender, thus challenging cultural beliefs that stigmatize mathematics as masculine in the United States. (shrink)

The ArgumentThis paper is a study of the role of language in scientific activity. It recommends that language be viewed as a community's means of patterning its affairs. Language represents where the boundaries of the community are and who is entitled to speak within it, and it displays the structures of authority in the community. Moreover, language precipitates the community's view of what the world is like, such that linguistic usages can be taken as referring to that world. Thus, language (...) connects on the one side to a community's practical life, and, on the other, to the reality on which it “reports.”The example treated is Robert Boyle's view of the language proper for experimental practice, and his arguments against the value and legitimacy of mathematical representations within the experimental community. Boyle argued that the use of mathematics was inappropriate because (i) it would restrict the number of potential participants; (ii) it would give rise to unwarranted expectations of the certainty and accuracy to be expected of real physical inquiries; (iii) it would suggest views of natural law and God's relations with the natural world which were incorrect and possibly dangerous; and because (iv) the world upon which the experimentalist operated was not such as was represented by mathematical idealizations. I try to establish that decision about the appropriate language for the experimental community was a moral choice. (shrink)

This paper evaluates a recent method proposed by Jeremy Gwiazda for calculating the value of gambles that fail to have expected values in the standard sense. I show that Gwiazda’s method fails to give answers for many gambles that do have standardly defined expected values. However, a slight modification of his method (based on the mathematical notion of the ‘Cauchy principal value’ of an integral), is in fact a proper extension of both his method and the method of ‘weak (...) expectations’. I show that this method gives an appropriate value when the ‘tails’ of the gambles that are eliminated in the truncation are ‘stable’, but that the value is not appropriate when the tails are not stable. I do not attempt to give an argument for the use of this method, but just note that it is more general than Gwiazda’s method, and is mathematically quite natural. (shrink)

Avicenna believed in mathematical finitism. He argued that magnitudes and sets of ordered numbers and numbered things cannot be actually infinite. In this paper, I discuss his arguments against the actuality of mathematical infinity. A careful analysis of the subtleties of his main argument, i. e., The Mapping Argument, shows that, by employing the notion of correspondence as a tool for comparing the sizes of mathematical infinities, he arrived at a very deep and insightful understanding of the (...) notion of mathematical infinity, one that is much more modern than we might expect. I argue, moreover, that Avicenna’s mathematical finitism is interwoven with his literalist ontology of mathematics, according to which mathematical objects are properties of existing physical objects. (shrink)

This paper is devoted to fill the gap in studying logics for biprobability structures. We introduce the logic equation image with two conditional expectation operators and prove the completeness theorem. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Although the subjective expected utility (SEU) theory is more than 60 years old, it was recently discovered by Hartmann (Econometrica 88(1):203–205, 2020, https://doi.org/10.3982/ECTA17428) that one of the original seven postulates is redundant, i.e., it is implied by the other six postulates. In this brief communication, we show that this redundant axiom is the only one that is implied by the other axioms, thereby establishing that the remaining six postulates form an independent axiomatic system. This result further streamlines the preference assumptions (...) underlying the SEU theory. (shrink)

Distributional justice—measured by the proportionality between effort exerted and rewards obtained—and guilt aversion—triggered by not fulfilling others’ expectations—are widely acknowledged fundamental sources of pro-social behavior. We design three experiments to study the relevance of these sources of behavior when considered in interaction. In particular, we investigate whether subjects fulfill others’ expectations also when this could produce inequitable allocations that conflict with distributional justice considerations. Our results confirm that both justice considerations and guilt aversion are important drivers of pro-social behavior, with (...) the former having an overall stronger impact than the latter. Expectations of others are less relevant in environments more likely to nurture equitable outcomes. (shrink)

The process of the mathematization of physical situations through differential calculus requires an understanding of the justification for and the meaning of the differential in the context of physics. In this work, four different conceptions about the differential in physics are identified and assessed according to their utility for the mathematization process. We also present an empirical study to probe the conceptions about the differential that are used by students in physics, as well students’ perceptions of how they are expected (...) to use differential calculus in physics. The results support the claim that students have a quasi-exclusive conception of the differential as an infinitesimal increment and that they perceive that their teachers only expect them to use differential calculus in an algorithmic way, without a sound understanding of what are they doing and why. These results are related to the lack of attention paid by conventional physics teaching to the mathematization process. Finally, some proposals for action are put forward. (shrink)

This book treats so‐called Greek mathematics, developed in the Greek‐speaking world between about 600 b.c. and 600 a.d. It consists of four parts: early Greek mathematics, Hellenistic mathematics, Graeco‐Roman mathematics, and late ancient mathematics. Each part is divided into two chapters, “The Evidence” and “The Questions.”This separation of evidence and questions is significant. Serafina Cuomo has refused to follow the familiar method of weaving an apparently seamless history of Greek mathematics out of fragmentary and heterogeneous documents and conjectures about them. (...) The chapters of questions, where she points to issues that remain open, are very suggestive. For example, most important documents about the early development of Greek mathematics derive from a single lost work, the History of Geometry by Eudemus. Cuomo dares to cast doubt on its authenticity. Though her reservations seem extreme, we should remember that no document is neutral: Eudemus's history is a compilation, which involved choices, and the fragments we have now are the result of selection, partly intentional, partly by chance.Another merit of this book is that it considers a wide range of activity as mathematics. Practical mathematics—such as land surveying and accounting, with their sociopolitical importance—is emphasized.Cuomo's chief claim is that the standard historiography that associates the development of Greek mathematics with Plato's philosophy is only the version promulgated by Proclus; other descriptions are also possible. In fact, Pappus, Iamblichus, and others had their own versions. This claim is reasonable and contributes to a better understanding of Greek mathematics and the authors of late antiquity.In her citations, the author tries to let the text speak for itself, allowing as much as a full page to a passage or a proposition, and she refrains from using modern symbolism to explain mathematical content. Though this attitude is admirable, its cost is not negligible. Readers expecting to acquire a basic knowledge of Greek mathematics may find themselves at a loss when faced with highly technical propositions presented without elucidation.What this compact book does not include should also be mentioned. In contrast to her enthusiasm for the social and political dimensions of ancient mathematics, the author seems somewhat indifferent to its technical and theoretical aspects. Archimedes and Apollonius command only 16 pages—less than 7 percent of the text—whereas T. L. Heath dedicated 150 pages of his 1,000‐page history to them . Though documents showing the importance of land surveying are frequently quoted, little is said about the practice and the technical development of this art. The technical details of Ptolemy's works are practically dismissed—but should he not have an especially important role in alternative versions of the history of ancient mathematics because of his ingenious reconciliation of rigorous theory and the limitations imposed by reality in fields like astronomy and geography?The scantiness of the technical ingredients makes Ancient Mathematics more a history of discourses about mathematics than a history of mathematics—though this is to some extent inevitable given the character of late ancient mathematics, as Cuomo correctly emphasizes. The plan of the series to which this book belongs may be too modest to accommodate the author's ambition. Another problem attributable to the publisher is that the notes appear at the end of each chapter, so checking the references is annoying. Short references could be put in parentheses, and footnotes would be more convenient for longer notes. (shrink)

Discovering the underlying mathematical expressions describing a dataset is a core challenge for artificial intelligence. This is the problem of symbolic regression. Despite recent advances in training neural networks to solve complex tasks, deep learning approaches to symbolic regression are underexplored. We propose a framework that leverages deep learning for symbolic regression via a simple idea: use a large model to search the space of small models. Specifically, we use a recurrent neural network to emit a distribution over tractable (...) mathematical expressions and employ a novel risk-seeking policy gradient to train the network to generate better-fitting expressions. Our algorithm outperforms several baseline methods (including Eureqa, the gold standard for symbolic regression) in its ability to exactly recover symbolic expressions on a series of benchmark problems, both with and without added noise. More broadly, our contributions include a framework that can be applied to optimize hierarchical, variable-length objects under a blackbox performance metric, with the ability to incorporate constraints in situ, and a risk-seeking policy gradient formulation that optimizes for best-case performance instead of expected performance. (shrink)

Mathematical texts raise particular dilemmas for the translator. With its arm’s-length relation to verbal expression and long-standing “mathematics is written for mathematicians” ethos, mathematics lends itself awkwardly to textually centered analysis. Otherwise sound standards of historical scholarship can backfire when rigidly upheld in a mathematical context. Mathematically inclined historians have had more faith in a purported empathic sixth sense—and there is a case to be made that this is how mathematical authors have generally expected their works to (...) be read—but it is difficult to pin down exact evidentiary standards for this supposed instinct. This essay urges that both of these points of view, for all the tension between them, be kept in the historian’s toolbox. It illustrates these considerations with a case study from the Ptolemaic astronomical tradition on computing lunar model parameters from eclipse data. (shrink)

Context: Constructivist teachers who find themselves working within an educational system that adopts a realist epistemology, may find themselves at odds with their own beliefs when they catch themselves paying closer attention to the knowledge authorities intend them to teach rather than the knowledge being constructed by their learners. Method: In the preliminary analysis of the mathematical learning of six low-performing Year 7 boys in a Maltese secondary school, whom one of us taught during the scholastic year 2014-15, we (...) constructed a conceptual framework which would help us analyze the extent to which he managed to be sensitive to constructivism in a typical classroom setting. We describe the development of the framework M-N-L as a viable analytical tool to search for significant moments in the lessons in which the teacher appeared to engage in what we define as “constructivist teaching” during mathematics lessons. The development of M-N-L is part of a research program investigating the way low-performing students make mathematical sense of new notation with the help of the software Grid Algebra. Results: M-N-L was found to be an effective instrument which helped to determine the extent to which the teacher was sensitive to his own constructivist beliefs while trying to negotiate a balance between the mathematical concepts he was expected to teach and the conceptual constructions of his students. Implications: One major implication is that it is indeed possible for mathematics teachers to be sensitive to the individual constructions of their learners without losing sight of the concepts that society, represented by curriculum planners, deems necessary for students to learn. The other is that researchers in the field of education may find M-N-L a helpful tool to analyze CT during typical didactical situations established in classroom settings. (shrink)

From the end of the 19th century until his death, one of history's most brilliant mathematicians languished in an asylum. The Mystery of the Aleph tells the story of Georg Cantor (1845-1918), a Russian-born German who created set theory, the concept of infinite numbers, and the "continuum hypothesis," which challenged the very foundations of mathematics. His ideas brought expected denunciation from established corners - he was called a "corruptor of youth" not only for his work in mathematics, but for his (...) larger attempts to meld spirituality and science. (shrink)

The contents of this book, pedagogically sound and intellectually rigorous, live up to the high standards one would expect of its author. A two or three semester course based upon this book will carry the student through all of the requisite foundational material to many of the important contemporary results in recursion theory, nonstandard arithmetic, and other more esoteric areas. The book combines features of a rigorous logic text and a book on the foundations of mathematics and elementary recursion theory. (...) In the first chapter of this latter part, Kleene gives a discussion of such topics as countable sets, Cantor's diagonal method, the paradoxes, axiomatic vs. intuitive thinking in mathematics, metamathematics, formal number theory and various formal systems. The material here parallels that in Part I of the author's previous work, Introduction to Metamathematics, but is more reliant upon logic and less upon informal set theory. The chapter on recursion theory begins with the concept of the Turing machine, and then uses this to develop the incompleteness and undecidability results of Church and Gödel. Additional topics include Gödel's completeness theorem for various types of formal systems, Skolem's paradox and nonstandard arithmetic, Herbrand's theorem and Craig's interpolation theorem. Many results and theorems of the present work bear the same indexical number as the corresponding item in IM, and the book as a whole can serve as a prolegomenon to that more advanced work.—H. P. K. (shrink)

Autonomous learning capacity is a key competency that supports teachers’ professional development. In this study, a stratified sampling method was used to recruit 396 junior and senior high school mathematics teachers in T city, one of the provincial city in China. A questionnaire with high reliability and validity developed prior to the study by the researchers was employed to measure their autonomous learning capacity and differences across groups. Twelve teachers were then selected for interviews. The results showed satisfactory overall performance. (...) By subdimension, teachers’ performance was the best in the development of study plans, followed by evaluation of learning outcomes, while they needed improvement in learning habit formation and proficiency in using learning methods. Furthermore, the analysis of differences across groups indicated that for autonomous learning capacity, female teachers were significantly better than their male peers; junior high school teachers were better compared to those in senior high school; teachers aged 41–50 underperformed those aged 51 and above; teachers who work in rural areas and townships did not perform worse than urban teachers; and those with doctoral degrees did not demonstrate considerable advantage over others. There were no significant differences in the overall autonomous learning capacity across years of teaching and job title groups. However, in the subdimensions, those with 21–30 years of teaching experience had lower proficiency in using learning methods and evaluation of learning outcomes, and teachers with senior titles did not demonstrate expected advantages in learning habit formation. (shrink)

This paper proposes an account of why proof is the only way to acquire knowledge of some mathematical proposition’s truth. Admittedly, non-deductive arguments for mathematical propositions can be strong and play important roles in mathematics. But this paper proposes a necessary condition for knowledge that can be satisfied by putative proofs (and proof sketches), as well as by non-deductive arguments in science, but not by non-deductive arguments from mathematical evidence. The necessary condition concerns whether we can justly (...) expect that if the mathematical proposition is actually false, despite the evidence for its truth, then this fact has an explanation. (shrink)

Following Marr’s famous three-level distinction between explanations in cognitive science, it is often accepted that focus on modeling cognitive tasks should be on the computational level rather than the algorithmic level. When it comes to mathematical problem solving, this approach suggests that the complexity of the task of solving a problem can be characterized by the computational complexity of that problem. In this paper, I argue that human cognizers use heuristic and didactic tools and thus engage in cognitive processes (...) that make their problem solving algorithms computationally suboptimal, in contrast with the optimal algorithms studied in the computational approach. Therefore, in order to accurately model the human cognitive tasks involved in mathematical problem solving, we need to expand our methodology to also include aspects relevant to the algorithmic level. This allows us to study algorithms that are cognitively optimal for human problem solvers. Since problem solving methods are not universal, I propose that they should be studied in the framework of enculturation, which can explain the expected cultural variance in the humanly optimal algorithms. While mathematical problem solving is used as the case study, the considerations in this paper concern modeling of cognitive tasks in general. (shrink)

This paper presents a personal view of the interaction between the analysis of choice under uncertainty and the analysis of production under uncertainty. Interest in the foundations of the theory of choice under uncertainty was stimulated by applications of expected utility theory such as the Sandmo model of production under uncertainty. This interest led to the development of generalized models including rank-dependent expected utility theory. In turn, the development of generalized expected utility models raised the question of whether such models (...) could be used in the analysis of applied problems such as those involving production under uncertainty. Finally, the revival of the state-contingent approach led to the recognition of a fundamental duality between choice problems and production problems. (shrink)

When reassessing the role of Debreu's axiomatic method in economics, one has to explain both its success and unpopularity; one has to explain the "bright shadow" Debreu cast on the discipline: sheltering, threatening, and difficult to pin down. Debreu himself did not expect to have such an influence. Before he received the Bank of Sweden Prize in 1983 he had never openly engaged with the methodology or politics of mathematical economics. When in several speeches he later rigorously distinguished (...) class='Hi'>mathematical form from economic content and claimed this as the virtue of mathematical economics, he did both: he defended mathematical reasoning against the theoretical innovations since the 1970s and expressed remorse for having promised too much because it cannot support claims about economic content. The analysis of this twofold role of Debreu's axiomatic method raises issues of the social and political responsibility of economists over and above standard epistemic issues. (shrink)

We investigate the general properties of general Bayesian learning, where “general Bayesian learning” means inferring a state from another that is regarded as evidence, and where the inference is conditionalizing the evidence using the conditional expectation determined by a reference probability measure representing the background subjective degrees of belief of a Bayesian Agent performing the inference. States are linear functionals that encode probability measures by assigning expectation values to random variables via integrating them with respect to the probability (...) measure. If a state can be learned from another this way, then it is said to be Bayes accessible from the evidence. It is shown that the Bayes accessibility relation is reflexive, antisymmetric and non-transitive. If every state is Bayes accessible from some other defined on the same set of random variables, then the set of states is called weakly Bayes connected. It is shown that the set of states is not weakly Bayes connected if the probability space is standard. The set of states is called weakly Bayes connectable if, given any state, the probability space can be extended in such a way that the given state becomes Bayes accessible from some other state in the extended space. It is shown that probability spaces are weakly Bayes connectable. Since conditioning using the theory of conditional expectations includes both Bayes’ rule and Jeffrey conditionalization as special cases, the results presented generalize substantially some results obtained earlier for Jeffrey conditionalization. (shrink)

ObjectiveTo investigate the reciprocal relationship between high school students’ academic self-efficacy and achievement in mathematics using US data from the HSLS:2009 and first follow-up longitudinal surveys, while accounting for biases in effect estimates due to unobserved heterogeneity.MethodsInstrumental Variables regressions were estimated, to derive causal effect estimates of earlier math self-efficacy on later math achievement and vice versa. Particular attention was paid to testing the validity of instruments used. Models were estimated separately by gender, to uncover gender differences in effects.ResultsEvidence of (...) robust reciprocal effects between self-efficacy and achievement for male students is presented, with the dominant effect from earlier achievement to later self-efficacy. For girls, evidence of such effects is weak. Generally, IV estimates are higher than OLS estimates for males, but not for females. As opposed to earlier correlational studies which did not find significant gender differences despite theoretical expectations for their existence, the findings support higher effects for male students. (shrink)

We consider a situation where an individual is facing an uncertain situation, but may costly alter his knowledge of the uncertainties. We study in this context how risk aversion may modify the individual search behavior. We consider a one-armed bandit problem (where one arm is safe and the other is risky) and study how the agent risk aversion can change the sequence of arms selected. The main result is that when the utility function is more concave, the agent has more (...) chances to select the safe arm. We also discuss how search is affected by risk aversion. (shrink)

Homotopy Type Theory is a putative new foundation for mathematics grounded in constructive intensional type theory that offers an alternative to the foundations provided by ZFC set theory and category theory. This article explains and motivates an account of how to define, justify, and think about HoTT in a way that is self-contained, and argues that, so construed, it is a candidate for being an autonomous foundation for mathematics. We first consider various questions that a foundation for mathematics might be (...) expected to answer, and find that many of them are not answered by the standard formulation of HoTT as presented in the ‘HoTT Book’. More importantly, the presentation of HoTT given in the HoTT Book is not autonomous since it explicitly depends upon other fields of mathematics, in particular homotopy theory. We give an alternative presentation of HoTT that does not depend upon ideas from other parts of mathematics, and in particular makes no reference to homotopy theory, and argue that it is a candidate autonomous foundation for mathematics. Our elaboration of HoTT is based on a new interpretation of types as mathematical concepts, which accords with the intensional nature of the type theory. 1 Introduction2 What Is a Foundation for Mathematics?2.1 A characterization of a foundation for mathematics2.2 Autonomy3 The Basic Features of Homotopy Type Theory3.1 The rules3.2 The basic ways to construct types3.3 Types as propositions and propositions as types3.4 Identity3.5 The homotopy interpretation4 Autonomy of the Standard Presentation?5 The Interpretation of Tokens and Types5.1 Tokens as mathematical objects?5.2 Tokens and types as concepts6 Justifying the Elimination Rule for Identity7 The Foundations of Homotopy Type Theory without Homotopy7.1 Framework7.2 Semantics7.3 Metaphysics7.4 Epistemology7.5 Methodology8 Possible Objections to this Account8.1 A constructive foundation for mathematics?8.2 What are concepts?8.3 Isn’t this just Brouwerian intuitionism?8.4 Duplicated objects8.5 Intensionality and substitution salva veritate9 Conclusion9.1 Advantages of this foundation. (shrink)

[EDIT: This book will be published open access. Production is taking longer than expected but I will post the whole book sometime this summer.] One central aim of science is to provide explanations of natural phenomena. What role(s) does mathematics play in achieving this aim? How does mathematics contribute to the explanatory power of science? Rules to Infinity defends the thesis, common though perhaps inchoate among many members of the Vienna Circle, that mathematics contributes to the explanatory power of science (...) by expressing conceptual rules, rules which allow the transformation of empirical descriptions. Mathematics should not be thought of as describing, in any substantive sense, an abstract realm of eternal mathematical objects, as traditional platonists have thought. In Rules to Infinity, this view, which I call mathematical normativism, is updated with contemporary philosophical tools, and it is argued that normativism is compatible with mainstream semantic theory. This allows the normativist to accept that there are mathematical truths, while resisting the platonistic idea that there exist abstract mathematical objects that explain such truths. Furthermore, Rules to Infinity defends a particular account of the distinction between scientific explanations that are in some sense distinctively mathematical – those that explain natural phenomena in some uniquely mathematical way – and those that are only standardly mathematical, and it lays out desiderata for any account of this distinction. Normativism is compared with other prominent views in the philosophy of mathematics such as neo-Fregeanism, fictionalism, conventionalism, and structuralism. Rules to Infinity serves as an entry point into debates at the forefront of philosophy of science and mathematics, and it defends novel positions in these debates. (shrink)

Homotopy Type Theory (HoTT) is a putative new foundation for mathematics grounded in constructive intensional type theory that offers an alternative to the foundations provided by ZFC set theory and category theory. This article explains and motivates an account of how to define, justify, and think about HoTT in a way that is self-contained, and argues that, so construed, it is a candidate for being an autonomous foundation for mathematics. We first consider various questions that a foundation for mathematics might (...) be expected to answer, and find that many of them are not answered by the standard formulation of HoTT as presented in the ‘HoTT Book’. More importantly, the presentation of HoTT given in the HoTT Book is not autonomous since it explicitly depends upon other fields of mathematics, in particular homotopy theory. We give an alternative presentation of HoTT that does not depend upon ideas from other parts of mathematics, and in particular makes no reference to homotopy theory (but is compatible with the homotopy interpretation), and argue that it is a candidate autonomous foundation for mathematics. Our elaboration of HoTT is based on a new interpretation of types as mathematical concepts, which accords with the intensional nature of the type theory. 1 Introduction2 What Is a Foundation for Mathematics? 2.1 A characterization of a foundation for mathematics 2.2 Autonomy3 The Basic Features of Homotopy Type Theory 3.1 The rules 3.2 The basic ways to construct types 3.3 Types as propositions and propositions as types 3.4 Identity 3.5 The homotopy interpretation4 Autonomy of the Standard Presentation?5 The Interpretation of Tokens and Types 5.1 Tokens as mathematical objects? 5.2 Tokens and types as concepts6 Justifying the Elimination Rule for Identity7 The Foundations of Homotopy Type Theory without Homotopy 7.1 Framework 7.2 Semantics 7.3 Metaphysics 7.4 Epistemology 7.5 Methodology8 Possible Objections to this Account 8.1 A constructive foundation for mathematics? 8.2 What are concepts? 8.3 Isn’t this just Brouwerian intuitionism? 8.4 Duplicated objects 8.5 Intensionality and substitution salva veritate9 Conclusion 9.1 Advantages of this foundation. (shrink)