The Sleeping Beauty paradox challenges traditional interpretations of probability by presenting a scenario where subjective experience and objective probability seem to diverge. In this work, we argue that the paradox arises from an ambiguous formulation of the problem, particularly regarding the information available to the subject and the overlap of events. By analyzing the essential elements of probability theory and examining the role of information and memory in the paradox, we provide a rigorous mathematical demonstration that shows that conflicting (...) solutions derive from overlapping events and partial knowledge. Our analysis suggests that a clear and unambiguous formulation resolves the paradox, aligning subjective probabilities with objective reality. (shrink)

The current study evaluates qualitatively how the mathematical dimension of gambling is reflected in the content of gambling websites. A number of gambling websites have been reviewed for their content in that respect. A statistical analysis recorded the presence of the mathematical dimension of gambling and its forms in the content of the participating websites, and a qualitative research study analyzed and assessed the quality of the content with respect to that dimension. The technical reports associated with (...) this study describe the methods used in the processes of review and content analysis, details of the processes, and the specific challenges and difficulties that they posed. (shrink)

The concept of similarity has had a rather mixed reputation in philosophy and the sciences. On the one hand, philosophers such as Goodman and Quine emphasized the „logically repugnant“ and „insidious“ character of the concept of similarity that allegedly renders it inaccessible for a proper logical analysis. On the other hand, a philosopher such as Carnap assigned a central role to similarity in his constitutional theory. Moreover, the importance and perhaps even indispensibility of the concept of similarity for many (...) empirical sciences can hardly be denied. The aim of this paper is to show that Quine’s and Goodman’s harsh verdicts about this notion are mistaken. The concept of similarity is susceptible to a precise logico-mathematical analysis through which its place in the conceptual landscape of modern mathematical theories such as order theory, topology, and graph theory becomes visible. Thereby it can be shown that a quasi-analysis of a similarity structure S can be conceived of as a sheaf (etale space) over S. (shrink)

Semantic analysis in early analytic philosophy belongs to a long tradition of adopting geometrical methodologies to the solution of philosophical problems. In particular, it adapts Descartes’ development of formalization as a mechanism of analytic representation, for its application in natural language semantics. This article aims to trace the mathematical roots of Frege, Russel and Carnap’s analytic method. Special attention is paid to the formal character of modern analysis introduced by Descartes. The goal is to identify the particular (...) conception of “form” developed by the analytic tradition, from Descartes to early analytic philosophy, and to determine its relation to similar notions, like ‘function’ and ‘syntax’. Finally, I focus on how Frege, Russell and Carnap’s methods of semantic analysis fit the general characterization of formal analysis previously developed. (shrink)

With the previous technical reports, we presented the main insights from the qualitative analysis of the reflection of the mathematical dimension of gambling in gambling-related sites, in its structural, linguistic, epistemic, and informative aspects. In this report we will focus on the factors responsible for the patterns that the content of the gambling-related sites exhibit and the way that the mathematical dimension of gambling is reflected in this content, namely the factors that influence the content policies of (...) these sites. The report will also point to further directions of research-for both this project and for other investigators-for finding the appropriate balance and relation between the commercial policies on the one hand, and the adequacy and ethics of the content on the other hand. (shrink)

This second technical report shows some partial results for the variables of the proposed statistical analysis and a discussion about some changes in sampling. In what concerns the qualitative analysis of content, the report presents the general predominant tendencies that get contoured with the first two samples.

The present volume is an introduction to the use of tools from computability theory and reverse mathematics to study combinatorial principles, in particular Ramsey's theorem and special cases such as Ramsey's theorem for pairs. It would serve as an excellent textbook for graduate students who have completed a course on computability theory.

Gödel argued that intuition has an important role to play in mathematical epistemology, and despite the infamy of his own position, this opinion still has much to recommend it. Intuitions and folk platitudes play a central role in philosophical enquiry too, and have recently been elevated to a central position in one project for understanding philosophical methodology: the so-called ‘Canberra Plan’. This philosophical role for intuitions suggests an analogous epistemology for some fundamental parts of mathematics, which casts a number (...) of themes in recent philosophy of mathematics (concerning a priority and fictionalism, for example) in revealing new light. (shrink)

The current technical report of the research project investigating how the mathematical dimension of gambling is reflected in the communication and texts associated with the gambling industry raises the problem of the adequacy of sampling and proposes a new approach in this respect. The qualitative analysis of the reviewed websites is extended to a deeper analysis of language and also to the organization and structure of websites’ content. Although not stated as a goal of the initial project, (...) the research will also try to identify relationships between the specificity of content relative to the mathematical dimension of gambling, and the management and marketing of the website. An overview of the results of the statistical analysis of the current sample is also presented. (shrink)

In light of the observations and research design presented in the previous reports, the current technical report is focused on the relationship between the quality and specificity of the content of the gambling sites and the site’s SEO and marketing policy. This relationship is dependent upon the category of the gambling site and the difference in content quality, and the degree to which the mathematical dimension of gambling is reflected in this content is explained by this dependence.

The current report presents results of the qualitative analysis of the usage of the key math terms in the content of the reviewed websites in the current sample, with emphasis on the necessary distinctions for the word and concept of ‘odds’. Patterns, motivations, conceptual and contextual aspects of the usage are discussed. The theoretical norms of adequacy of this usage in the context of gambling are briefly presented. -/- Technical report of the research project 'Reflection of the mathematical (...) dimension of gambling in iGaming online content - A qualitative analysis'. (shrink)

The current technical report presents the partial results of the quantitative analysis of the research project, after the review of 247 gambling websites. It is focused on and discusses the usage of the math terms specific to gambling in the reviewed sample. In particular, the fifth technical report discusses the usage of math terms associated with the game of slots, as found in the reviewed sample.

In the early 1900s, Russell began to recognize that he, and many other mathematicians, had been using assertions like the Axiom of Choice implicitly, and without explicitly proving them. In working with the Axioms of Choice, Infinity, and Reducibility, and his and Whitehead’s Multiplicative Axiom, Russell came to take the position that some axioms are necessary to recovering certain results of mathematics, but may not be proven to be true absolutely. The essay traces historical roots of, and motivations for, Russell’s (...) method of analysis, which are intended to shed light on his view about the status of mathematical axioms. I describe the position Russell develops in consequence as “immanent logicism,” in contrast to what Irving (1989) describes as “epistemic logicism.” Immanent logicism allows Russell to avoid the logocentric predicament, and to propose a method for discovering structural relationships of dependence within mathematical theories. (shrink)

Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical application of reverse mathematics proposed thus far is foundational analysis, which explores the limits of different foundations for mathematics in a formally precise manner. This paper gives a detailed account of the motivations and methodology of foundational analysis, which have heretofore been largely left implicit in the practice. It then shows how this account can be fruitfully applied (...) in the evaluation of major foundational approaches by a careful examination of two case studies: a partial realization of Hilbert’s program due to Simpson [1988], and predicativism in the extended form due to Feferman and Schütte. -/- Shore [2010, 2013] proposes that equivalences in reverse mathematics be proved in the same way as inequivalences, namely by considering only omega-models of the systems in question. Shore refers to this approach as computational reverse mathematics. This paper shows that despite some attractive features, computational reverse mathematics is inappropriate for foundational analysis, for two major reasons. Firstly, the computable entailment relation employed in computational reverse mathematics does not preserve justification for the foundational programs above. Secondly, computable entailment is a Pi-1-1 complete relation, and hence employing it commits one to theoretical resources which outstrip those available within any foundational approach that is proof-theoretically weaker than Pi-1-1-CA0. (shrink)

This study sought to examine the factors affecting the Science, Technology, Engineering and Mathematics (STEM) students’ Mathematics performance in a modular distance learning at Notre Dame Village National High School (NDVNHS). In particular, the researcher was interested to determine if these factors had a significant effect on the students’ Pre-Calculus and General Mathematics performance considering the number of hours spent in modular learning. The period covered by the study was during the first semester of the school year 2020-2021. The respondents (...) were all 67 Grade 11 STEM students of NDVNHS. A quantitative research design was utilized particularly using Multivariate Analysis of Covariance (MANCOVA). The findings of the study revealed that majority of the STEM students had a good performance in their Mathematics subjects for the first semester. Also, the factors specifically type of motivation (intrinsic or extrinsic) and support system (parents, siblings, relatives, friends, or classmates) had statistically significant effect on their mathematics performance in the new normal considering the amount of time they spent in learning using modules. Moreover, there were statistically significant differences in both Pre-Calculus and General Mathematics performances between the type of motivation and support system when adjusted for the number of hours spent in modular learning. Based on the findings, the study concluded that the students’ motivation and support system can greatly affect their mathematics performance when controlling for the allocated time in modular learning. Especially in Pre-Calculus and General Mathematics, motivation and support system are important factors in learning using modules. In the new normal education, the students should increase their level of motivation as well as exposure in self-learning and be given full support towards the processes in the modular approach of distance learning. (shrink)

Indigenous communities have a rich cultural heritage encompassing diverse ways of knowing, learning, and understanding the world around them. This mixed methods study utilized the explanatory sequential design to determine the level and relationship of the IP mathematics teachers' beliefs and teaching practices and gain a deeper insight into these beliefs and attitudes. There are 115 respondents for the quantitative phase, while 10 participants in the qualitative phase. Data were collected through survey and key informant interviews and were analyzed through (...) mean, standard deviation, Pearson product moment correlation, and thematic analysis. Results showed that the IP mathematics teachers possess high levels for both beliefs and teaching practices, and a significant moderate positive relationship exists between the two variables. Qualitative data analysis revealed that teachers' beliefs include the ideal qualities of an effective mathematics teacher, respect for students' culture and background, and a constructivist approach to teaching. Teaching practices include discussing student performance and intervention during meetings, implementing culturally relevant approaches, technology, varied activities, and peer mentoring and coaching. Further, it is concluded that teachers’ belief, which influences teaching practices, is shaped by different environmental factors. It is recommended that IP mathematics teachers continue to participate in personal and professional development activities and strengthen collaboration and reflection. (shrink)

This study aimed to investigate the longitudinal trends in mathematical competencies of Grade 8 students in a public high school located in Zamboanga del Sur, Philippines. The study collected data over a period of six academic years, allowing for a comprehensive analysis of students' performance in 16 distinct mathematical competences of basic education curriculum. These topics include, but are not limited to, special products and factors, factoring, and basic concepts of probability. Using a quantitative research design, the (...) study analyzed both numerical and secondary data to identify patterns or trends in students' mathematical competencies. Trends were analyzed through regression analysis using slopes. The significance of these trends was then evaluated using t-tests for the standard error of slopes. The statistical analysis revealed significant upward trends in certain mathematical topics, indicating an improvement in the students' competencies over the six academic years. However, certain topics displayed downward or stable trends, indicating areas for improvement in the teaching methods used for these topics. The study highlights the importance of flexible and adaptable approaches to mathematics education. It emphasizes the need for constant evaluation and improvement of teaching methods to enhance student learning outcomes. The findings of this study provide valuable insights for educators and policymakers to guide evidence-based decision-making and improve the quality of mathematics education in the new normal setup. Implications and future research directions are incorporated in the study. (shrink)

Statistics and probability enabled students to better understand, process, and evaluate massive amounts of quantitative data that existed and had a probabilistic sense in uncertain situations. The research article aimed to elucidate the performance and self-efficacy as predictors of students' achievement in the statistics and probability courses. The study utilized a descriptive-predictive research method and was conducted at Sto. Tomas National High School, involving a sample of 263 grade 11 senior high school students. The gathered data were analyzed using descriptive (...) measures and multiple regression analysis. The study's results revealed that the performance in General Mathematics was very satisfactory, while self-efficacy was high. Moreover, the level of achievement in Statistics and Probability was very satisfactory. It was also revealed that both General Mathematics performance and self-efficacy had a positive and significant relationship with Statistics and Probability achievement. Through regression analysis, it was discovered that General Mathematics performance was the strongest predictor that influenced achievement in Statistics and Probability. The study identified a significant predictive model for Statistics and Probability achievement. These findings could provide valuable guidance to teachers in enhancing the achievement of senior high school students in Statistics and Probability. (shrink)

By analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are imagined objects, some of which, at least approximately, exist in our internal world of activities (...) or we can realize or represent them there; (ii) mathematical truths are not truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it. (shrink)

We demonstrate how real progress can be made in the debate surrounding the enhanced indispensability argument. Drawing on a counterfactual theory of explanation, well-motivated independently of the debate, we provide a novel analysis of ‘explanatory generality’ and how mathematics is involved in its procurement. On our analysis, mathematics’ sole explanatory contribution to the procurement of explanatory generality is to make counterfactual information about physical dependencies easier to grasp and reason with for creatures like us. This gives precise content (...) to key intuitions traded in the debate, regarding mathematics’ procurement of explanatory generality, and adjudicates unambiguously in favour of the nominalist, at least as far as explanatory generality is concerned. (shrink)

By analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are imagined objects, some of which, at least approximately, exist in our internal world of activities (...) or we can realize or represent them there; (ii) mathematical truths are not truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it. (shrink)

(...) However, whether we chose a weak or strong approximation, the set would not make any sense at all, if (once more) this choice would not be justified in either temporal or spatial sense or given the context of possible applicability of the set in different circumstances. This would obviously represent a dualism in itself as we would (for instance) posit and apply a full identity-equality-equivalence of x and y when applying Newtonian physics to certain observations we make (it would (...) be the case of neural correlates), and we would posit and apply a non - identity-equality-equivalence of x and y when applying Quantum mechanics to other observations. Following this dualism in and of theories, the same sate would need to be slightly modified: U2:(x~y)∪(x≈y); U3:(x~y)∩(x≈y); U4a:(x~y)⊆(x≈y) vs. U4b:(x~y)⊇(x≈y). (shrink)

The prediction potential of the model "emotional intelligence and self-reliance" to students' mathematical performance was investigated in this study. This research was conducted in the third and fourth quarters of the academic year 2021-2022. The quantitative research design, specifically comparative and regression analysis, was used in this study. The comparative design was utilized to assess the differences in emotional intelligence and self-reliance between male and female students, and the regression analysis was performed to see if the model (...) "emotional intelligence and self-reliance" can predict students' mathematical performance. In terms of emotional intelligence and self-reliance, the findings show no significant difference between male and female students. Furthermore, the student's emotional intelligence and self-reliance were strong predictors of mathematics performance. It implies that emotional intelligence and self-reliance are essential factors in better math learning. The study suggested that teachers may improve their students' emotional intelligence and self-reliance by integrating social and emotional learning programs into their classes. (shrink)

The study sought to identify and evaluate the classroom assessment thoughts, practices, and skills of secondary mathematics teachers in Bulacan. The study revealed that there are no significant relationships between teachers’ thoughts of classroom assessments and practices, and classroom assessment practices and skills. However, there is significant relationship between teachers’ thoughts of classroom assessments and skills. There are no significant differences between the teachers’ thoughts of classroom assessments and their age, educational attainment, teaching experience, number of years in teaching mathematics (...) and in-service training. There is a significant relationship between the teachers’ thoughts of classroom assessment and their classroom assessment skills. In the light of the findings, the researcher recommends that: Secondary mathematics teachers should adopt varied and innovative ways of assessing students’ learning in mathematics. School administrators should ensure that all teachers with appropriate certificates must take more training courses in assessment to improve their skills and use of desirable classroom assessment practices. Further research may focus on the relationship between mathematics teachers’ assessment skills and thoughts, practices and skills, and thoughts and practices. (shrink)

Mathematics is an important subject taught in primary and secondary schools that equips students with foundational knowledge and skills for organizing their lives. This study determined the Mathematics proficiency level among the Grade Three pupils in Cagayan de Oro City in School Year 2022-2023. Specifically, it sought to determine the respondents’ profile in terms of language used at home, study habits, parental involvement, and attitude towards Mathematics; find out the proficiency level in Mathematics; and determine the significant relationship between the (...) respondents’ proficiency level in Mathematics when grouped according to their profile. Data were gathered from one hundred fifty (150) respondents. The researcher-made questionnaire and Mathematics Test patterned from the Division of Cagayan de Oro Periodical Tests for the School Year 2022-2023 were utilized in the study. It used a descriptive research design to analyze the data using frequency, mean, standard deviation, correlation analysis, and P-value. Findings revealed a significant relationship between respondents’ proficiency level in Mathematics and their study habits, parental involvement, and attitude towards Mathematics. In contrast, no significant relationship exists between the language used at home. It is recommended that teachers incorporate literacy in teaching Mathematics, use game-based strategies, and review Mathematics lessons to increase the chances of obtaining high scores. (shrink)

The study determined the influence of innate mathematical characteristics on the number sense competencies of junior high school students in a Philippine public school. The descriptive-correlational research design was used to accomplish the study involving a nonrandom sample of sixty 7th-grade students attending synchronous math sessions. Data obtained from the math-specific Learning Style and Self-Efficacy questionnaires and the modified Number Sense Test (NST) were analyzed and interpreted using descriptive statistics, Pearson’s Chi-Square, and Simple Linear Regression analysis. The research (...) instruments and statistics were all validated and tested for reliability. The analysis revealed that the students are visual learners, had no or slight self-efficacy, and their number sense competency level is poor. They encountered difficulty in all the components and domains of the NST. Moreover, the students’ mathematical self-efficacy is significantly related and may influence their number sense competency level. Building upon the learners’ self-efficacy to further their understanding and skills in number sense is necessary. (shrink)

An analysis of the counter-intuitive properties of infinity as understood differently in mathematics, classical physics and quantum physics allows the consideration of various paradoxes under a new light (e.g. Zeno’s dichotomy, Torricelli’s trumpet, and the weirdness of quantum physics). It provides strong support for the reality of abstractness and mathematical Platonism, and a plausible reason why there is something rather than nothing in the concrete universe. The conclusions are far reaching for science and philosophy.

This research delves into the intricate relationship between language and mathematics education, particularly within the context of mother-tongue-based instruction. It addresses the challenge of reconciling the language of instruction, the learners' mother tongue, and the language of mathematical concepts, emphasizing the need for synchronization to enhance the teaching and learning process. Drawing from international experiences and the Philippine educational landscape, which transitioned to the K-12 curriculum, this study investigates the role of code-switching in Grade-One mathematics education. By conducting a (...) pretest-posttest group design at an Elementary School in Bohol, Philippines, the study evaluates the effects of code-switching within a mother-tongue-based instruction framework. Findings demonstrate that code-switching improves mathematics performance, with the experimental group excelling in advanced and proficient levels post-implementation. Notably, the control and experimental groups exhibited similar pretest scores, indicating their comparability. This research concludes that code-switching is an effective strategy for bridging the linguistic gaps between the mother tongue and mathematical concepts, thereby enhancing the meaningfulness and comprehensibility of mathematics. In light of these findings, the study recommends the adoption of code-switching in teaching mathematics, especially for students with lower academic achievement. Additionally, it encourages future research to explore the applicability of code-switching in other subjects and higher grade levels. This study advocates for an inclusive and adaptive approach to mathematics instruction that recognizes the complex interplay of languages and aims to empower students to understand, participate actively, and develop a profound love for the subject. Based on the empirical findings of this study, it is strongly recommended that the integration of code-switching as a pedagogical strategy in mathematics instruction be formally endorsed within the school setting. This endorsement serves the paramount goal of enhancing the mathematical proficiency and overall academic performance of the students. -/- . (shrink)

Students do not necessarily use the definitions presented to them when determining examples or non-examples of given mathematical ideas. Instead, they utilize the concept image they carry with them as a result of experiences with such examples and nonexamples. Hence, teachers should try exploring students‟ images of various mathematical concepts in order to improve communication between students and teachers. This suggestion can be addressed through error analysis. This study therefore is a descriptive-qualitative type that looked into the (...) errors committed by senior high school students in dealing with mathematical functions, explored the underlying reasons for such errors, and provided recommendations on how students could learn to manage their errors and how teachers could realize how to manage students‟ errors. Initial findings showed that the students generally demonstrated mathematical, logical and strategic errors. Mathematical error was generally exhibited in their inability to use properties and operations properly. Logical error was exhibited in their false arguments, rearranging concepts, improper classifications, arguing cyclically, and using equivalent transforms. Strategic error was manifested in their not being able to distinguish patterns, lack of integral concept, and not being able to transform a word problem into symbols. Errors prevailed despite the students‟ positive view and confidence in mathematics not only because of poor image concepts but because of lack of exposure to certain important mathematical tasks. Further investigation on the other sources of these errors is therefore necessary. (shrink)

The primary purpose of this study was to examine the intricate relationship between enrichment programs, pedagogical preparedness, and the mathematical proficiency of pre-service teachers. Employing a quantitative research design, the study utilized a descriptive-correlational method to establish the relationship between variables. A comprehensive sampling was used and adapted well-structured survey questionnaires were distributed to gather relevant data from the participants. Correspondingly, the data analysis was performed using statistical tools such as mean and standard deviation, Pearson’s correlation coefficient (r), (...) and regression analysis to distill complex data into meaningful insights and answer the research objectives. The findings revealed that the levels of both enrichment programs and pedagogical preparedness among pre-service teachers were very high, indicating that they are always manifested and consistently implemented. Additionally, the level of mathematical proficiency was found to be high, suggesting that the pre-service teachers frequently exhibited strong mathematical skills. There is a confirmation that the levels of enrichment programs and pedagogical preparedness have a significant relationship with mathematical proficiency. Therefore, this connects to the idea that enrichment programs and pedagogical preparedness influence the mathematical proficiency of pre-service teachers. These findings emphasize the importance of integrating comprehensive enrichment programs and adaptive pedagogical strategies into teacher training, enabling pre-service teachers to develop advanced mathematical understanding and effective teaching practices. Continuous professional development tailored for pre-service teachers, complemented by peer mentoring, seminars, and collaborative training within and beyond schools, can further refine teaching skills and enhance mathematical proficiency. By fostering this holistic approach, the study contributes to improving teaching effectiveness and student outcomes, promoting a culture of excellence in mathematics education. (shrink)

The paper continues the consideration of Hilbert mathematics to mathematics itself as an additional “dimension” allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the “distance between finiteness and infinity”, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special “flat” case of Hilbert (...) mathematics. The following four essential problems are considered for the idea to be elucidated: Fermat’s last theorem proved by Andrew Wiles; Poincaré’s conjecture proved by Grigori Perelman and the only resolved from the seven Millennium problems offered by the Clay Mathematics Institute (CMI); the four-color theorem proved “machine-likely” by enumerating all cases and the crucial software assistance; the Yang-Mills existence and mass gap problem also suggested by CMI and yet unresolved. They are intentionally chosen to belong to quite different mathematical areas (number theory, topology, mathematical physics) just to demonstrate the power of the approach able to unite and even unify them from the viewpoint of Hilbert mathematics. Also, specific ideas relevant to each of them are considered. Fermat’s last theorem is shown as a Gödel insoluble statement by means of Yablo’s paradox. Thus, Wiles’s proof as a corollary from the modularity theorem and thus needing both arithmetic and set theory involves necessarily an inverse Grothendieck universe. On the contrary, its proof in “Fermat arithmetic” introduced by “epoché to infinity” (following the pattern of Husserl’s original “epoché to reality”) can be suggested by Hilbert arithmetic relevant to Hilbert mathematics, the mediation of which can be removed in the final analysis as a “Wittgenstein ladder”. Poincaré’s conjecture can be reinterpreted physically by Minkowski space and thus reduced to the “nonstandard homeomorphism” of a bit of information mathematically. Perelman’s proof can be accordingly reinterpreted. However, it is valid in Gödel (or Gödelian) mathematics, but not in Hilbert mathematics in general, where the question of whether it holds remains open. The four-color theorem can be also deduced from the nonstandard homeomorphism at issue, but the available proof by enumerating a finite set of all possible cases is more general and relevant to Hilbert mathematics as well, therefore being an indirect argument in favor of the validity of Poincaré’s conjecture in Hilbert mathematics. The Yang-Mills existence and mass gap problem furthermore suggests the most general viewpoint to the relation of Hilbert and Gödel mathematics justifying the qubit Hilbert space as the dual counterpart of Hilbert arithmetic in a narrow sense, in turn being inferable from Hilbert arithmetic in a wide sense. The conjecture that many if not almost all great problems in contemporary mathematics rely on (or at least relate to) the Gödel incompleteness is suggested. It implies that Hilbert mathematics is the natural medium for their discussion or eventual solutions. (shrink)

The present first part about the eventual completeness of mathematics (called “Hilbert mathematics”) is concentrated on the Gödel incompleteness (1931) statement: if it is an axiom rather than a theorem inferable from the axioms of (Peano) arithmetic, (ZFC) set theory, and propositional logic, this would pioneer the pathway to Hilbert mathematics. One of the main arguments that it is an axiom consists in the direct contradiction of the axiom of induction in arithmetic and the axiom of infinity in set theory. (...) Thus, the pair of arithmetic and set are to be similar to Euclidean and non-Euclidean geometries distinguishably only by the Fifth postulate now, i.e. after replacing it and its negation correspondingly by the axiom of finiteness (induction) versus that of finiteness being idempotent negations to each other. Indeed, the axiom of choice, as far as it is equivalent to the well-ordering “theorem”, transforms any set in a well-ordering either necessarily finite according to the axiom of induction or also optionally infinite according to the axiom of infinity. So, the Gödel incompleteness statement relies on the logical contradiction of the axiom of induction and the axiom of infinity in the final analysis. Nonetheless, both can be considered as two idempotent versions of the same axiom (analogically to the Fifth postulate) and then unified after logicism and its inherent intensionality since the opposition of finiteness and infinity can be only extensional (i.e., relevant to the elements of any set rather than to the set by itself or its characteristic property being a proposition). So, the pathway for interpreting the Gödel incompleteness statement as an axiom and the originating from that assumption for “Hilbert mathematics” accepting its negation is pioneered. A much wider context relevant to realizing the Gödel incompleteness statement as a metamathematical axiom is consistently built step by step. The horizon of Hilbert mathematics is the proper subject in the third part of the paper, and a reinterpretation of Gödel’s papers (1930; 1931) as an apology of logicism as the only consistent foundations of mathematics is the topic of the next second part. (shrink)

The human attempts to access, measure and organize physical phenomena have led to a manifold construction of mathematical and physical spaces. We will survey the evolution of geometries from Euclid to the Algebraic Geometry of the 20th century. The role of Persian/Arabic Algebra in this transition and its Western symbolic development is emphasized. In this relation, we will also discuss changes in the ontological attitudes toward mathematics and its applications. Historically, the encounter of geometric and algebraic perspectives enriched the (...) mathematical practices and their foundations. Yet, the collapse of Euclidean certitudes, of over 2300 years, and the crisis in the mathematical analysis of the 19th century, led to the exclusion of “geometric judgments” from the foundations of Mathematics. After the success and the limits of the logico-formal analysis, it is necessary to broaden our foundational tools and re-examine the interactions with natural sciences. In particular, the way the geometric and algebraic approaches organize knowledge is analyzed as a cross-disciplinary and cross-cultural issue and will be examined in Mathematical Physics and Biology. We finally discuss how the current notions of mathematical (phase) “space” should be revisited for the purposes of life sciences. (shrink)

Games of chance are developed in their physical consumer-ready form on the basis of mathematical models, which stand as the premises of their existence and represent their physical processes. There is a prevalence of statistical and probabilistic models in the interest of all parties involved in the study of gambling – researchers, game producers and operators, and players – while functional models are of interest more to math-inclined players than problem-gambling researchers. In this paper I present a structural (...) class='Hi'>analysis of the knowledge attached to mathematical models of games of chance and the act of modeling, arguing that such knowledge holds potential in the prevention and cognitive treatment of excessive gambling, and I propose further research in this direction. (shrink)

Marr’s seminal distinction between computational, algorithmic, and implementational levels of analysis has inspired research in cognitive science for more than 30 years. According to a widely-used paradigm, the modelling of cognitive processes should mainly operate on the computational level and be targeted at the idealised competence, rather than the actual performance of cognisers in a specific domain. In this paper, we explore how this paradigm can be adopted and revised to understand mathematical problem solving. The computational-level approach applies (...) methods from computational complexity theory and focuses on optimal strategies for completing cognitive tasks. However, human cognitive capacities in mathematical problem solving are essentially characterised by processes that are computationally sub-optimal, because they initially add to the computational complexity of the solutions. Yet, these solutions can be optimal for human cognisers given the acquisition and enactment of mathematical practices. Here we present diagrams and the spatial manipulation of symbols as two examples of problem solving strategies that can be computationally sub-optimal but humanly optimal. These aspects need to be taken into account when analysing competence in mathematical problem solving. Empirically informed considerations on enculturation can help identify, explore, and model the cognitive processes involved in problem solving tasks. The enculturation account of mathematical problem solving strongly suggests that computational-level analyses need to be complemented by considerations on the algorithmic and implementational levels. The emerging research strategy can help develop algorithms that model what we call enculturated cognitive optimality in an empirically plausible and ecologically valid way. (shrink)

Mathematical confidence and critical thinking are essential in preparing preservice teachers. Thus, this study explored the perceived confidence and critical thinking levels in mathematics of elementary and secondary preservice teachers. A descriptive-correlational-comparative research design was employed, with a sample of 107 randomly selected preservice teachers enrolled in the Bachelor in Elementary and Secondary Education programs of a state university in West Philippines. The study used arithmetic mean, standard deviation, Spearman’s rank-order correlation, and independent samples t-test to analyze and draw (...) conclusions from the data. The findings revealed that the preservice teachers have high confidence and critical thinking skills. Their program significantly correlates with their perceived critical thinking and confidence level. Besides, the preservice teachers’ confidence levels and perceived critical thinking skills significantly correlate. Further analysis found significant confidence and critical thinking differences favoring the secondary over the elementary preservice teachers. These findings provide insights that would benefit mathematics educators in providing priority programs to enhance the preparation of future math teachers. (shrink)

This study aimed to understand how secondary mathematics teachers engage with learners during the teaching and learning process. A sample of six participants was purposively selected from a population of ordinary level mathematics teachers in one urban setting in Zimbabwe. Field notes from lesson observations and audio-taped teachers’ narrations from interviews constituted data for the study to which thematic analysis technique was then applied to determine levels of mathematical intimacy and integrity displayed by the teachers as they interacted (...) with the students. The study revealed some inadequacies in the manner in which the teachers handled students’ responses as they strive to promote justification skills during problem solving, in particular teachers did not ask students to explain wrong answers. The teachers indicated that they did not have sufficient time to engage learners in authentic problem-solving activities since they would be rushing to complete syllabus for examination purposes. On the basis of these findings, we suggest teachers to appreciate the need to pay special attention to the kinds of responses given by learners during problem-solving in order to promote justification skills among learners. (shrink)

Tatiana Ehrenfest-Afanassjewa was an important physicist, mathematician, and educator in 20th century Europe. While some of her work has recently undergone reevaluation, little has been said regarding her groundbreaking work on dimensional analysis. This, in part, reflects an unfortunate dismissal of her interventions in such foundational debates by her contemporaries. In spite of this, her work on the generalized theory of homogeneous equations provides a mathematically sound foundation for dimensional analysis and has found some appreciation and development. It (...) remains to provide a historical account of Ehrenfest-Afanassjewa's use of the theory of homogeneous functions to ground (and limit) dimensional analysis. We take as a central focus Ehrenfest-Afanassjewa's contributions to a debate on the foundations of dimensional analysis started by physicist Richard Tolman in 1914. I go on to suggest an interpretation of the more thoroughgoing intervention Ehrenfest-Afanassjewa makes in 1926 based on this earlier context, especially her limited rehabilitation of a "theory of similitude" in contradistinction to dimensional analysis. It is shown that Ehrenfest-Afanassjewa has made foundational contributions to the mathematical foundations and methodology of dimensional analysis, our conception of the relation between constants and laws, and our understanding of the quantitative nature of physics, which remain of value. (shrink)

Intermediate learners are struggling to understand and analyze the material in their classes. There was a significant decline of 2.25% in learners' GWA (Grade Weighted Average) after the implementation of modular remote learning, indicating a notable decline in their academic performance. In order to address the existing disparities, it is suggested that the materials be streamlined and supplemented by video lectures and audio recordings, online discussions, local training sessions, and home visits. With that, this study was crafted to enhance the (...) mathematics performance of intermediate learners in San Miguel Dao I Elementary School through Worksheets, Audio and Video Conferencing, YouTube links, and Self-Assessment (Project WAYS). A quantitative research design was used in this study which used quasi-experimental research design. The research took place at San Miguel Dao I Elementary School. The study's participants were intermediate learners (Grades 4, 5, and 6) for the school year 2022-2023. A pretest and posttest were used to collect data. After establishing research communication with respective DepEd officials, the researcher personally facilitated the examination. This covered the third quarter of school year 2022-2023. The data was analyzed using a paired t-test in Microsoft Excel Data Analysis Tool Pack. Before the implementation of Project WAYS, intermediate learners performed poorly in mathematics which shows that learners did not meet the expectations. Meanwhile after the implementation of Project WAYS, intermediate learners still performed poorly in mathematics which shows that learners still did not meet the expectations. However, if these results will be compared to the pretest before the implementation of Project WAYS, a better performance of intermediate learners can be traced. Additionally, the study has identified a significant difference between the pretest and posttest results paving the way to reject the null hypothesis and showing proof that Project WAYS is effective in enhancing the mathematical academic performance of intermediate learners in San Miguel Dao I Elementary School. The findings paved the way to provide more support mechanisms for the enhancement of academic performance of learners for it was backed-up with the results that learning accompanied with suitable support mechanisms would ensure wholesome accomplishments in the part of the learners. (shrink)

Errett Bishop's work in constructive mathematics is overwhelmingly regarded as a turning point for mathematics based on intuitionistic logic. It brought new life to this form of mathematics and prompted the development of new areas of research that witness today's depth and breadth of constructive mathematics. Surprisingly, notwithstanding the extensive mathematical progress since the publication in 1967 of Errett Bishop's Foundations of Constructive Analysis, there has been no corresponding advances in the philosophy of constructive mathematics Bishop style. The (...) aim of this paper is to foster the philosophical debate about this form of mathematics. I begin by considering key elements of philosophical remarks by Bishop, especially focusing on Bishop's assessment of Brouwer. I then compare these remarks with ``traditional'' philosophical arguments for intuitionistic logic and argue that the latter are in tension with Bishop's views. ``Traditional'' arguments for intuitionistic logic turn out to be also in conflict with significant recent developments in constructive mathematics. This rises pressing questions for the philosopher of mathematics, especially with regard to the possibility of offering alternative philosophical arguments for constructive mathematics. I conclude with the suggestion to look anew at Bishop's own remarks for inspiration. (shrink)

It has become a fact that fluency and competency in utilizing the advancement of technology, specifically the computer and the internet is one way that could help in facilitating learning in mathematics. This study investigated the effects of Dynamic Geometry Software (DGS) and Computer Algebra Systems (CAS) in teaching Mathematics. This was conducted in Zamboanga del Sur National High School (ZSNHS) during the third grading period of the school year 2015-2016. The study compared the achievement and attitude towards Mathematics between (...) those students taught with DGS and CAS and those students who were taught without DGS and CAS. A quasi-experimental pretest-posttest control group design was used with two groups which was matched according to their mathematical level. An achievement test was developed and administered to assess the students’ achievement in Mathematics. Aiken’s attitude scale was also used to assess the students’ attitude towards Mathematics. The data were treated with One-Way Analysis of Covariance (ANCOVA) and t-test at 0.05 level of significance. The study revealed a significant difference between the mathematics achievement between students taught with DGS and CAS and those who were taught without it. The integration of DGS and CAS in Mathematics lessons leads to better academic achievement result compared with that of the conventional method of teaching. Moreover, there was no significant difference on the attitude level of the students between the two groups. (shrink)

So-called ‘distinctively mathematical explanations’ (DMEs) are said to explain physical phenomena, not in terms of contingent causal laws, but rather in terms of mathematical necessities that constrain the physical system in question. Lange argues that the existence of four or more equilibrium positions of any double pendulum has a DME. Here we refute both Lange’s claim itself and a strengthened and extended version of the claim that would pertain to any n-tuple pendulum system on the ground that such (...) explanations are actually causal explanations in disguise and their associated modal conditionals are not general enough to explain the said features of such dynamical systems. We argue and show that if circumscribing the antecedent for a necessarily true conditional in such explanations involves making a causal analysis of the problem, then the resulting explanation is not distinctively mathematical or non-causal. Our argument generalises to other dynamical systems that may have purported DMEs analogous to the one proposed by Lange, and even to some other counterfactual accounts of non-causal explanation given by Reutlinger and Rice. (shrink)

This dissertation has two main goals. The first is to provide a practice-based analysis of the field of inconsistent mathematics: what motivates it? what role does logic have in it? what distinguishes it from classical mathematics? is it alternative or revolutionary? The second goal is to introduce and defend a new conception of inconsistent mathematics - queer incomaths - as a particularly effective answer to feminist critiques of classical logic and mathematics. This sets the stage for a genuine revolution (...) in mathematics, insofar as it suggests the need for a shift in mainstream attitudes about the role of logic and ethics in the practice of mathematics. (shrink)

Mathematics is considered one of the most challenging courses for many elementary pre-service teachers (EPTs). In hopes for improvement, teacher educators have been incorporating a jigsaw strategy to equip future teachers with the necessary competencies. Hence, the study aimed to determine the effectiveness of the jigsaw strategy with EPTs’ level of mathematics achievement and interest in an online cooperative learning environment. The research utilized a pre-experimental design with 40 participants. The researchers used pretest and posttest questions covering fraction operations and (...) a mathematics interest questionnaire before and after the intervention. With the implementation of the jigsaw strategy, results showed that the EPTs’ mathematics achievement improved while their interest in mathematics improved to some extent. Likewise, a significant difference between the pre-and post-intervention concerning the EPTs’ mathematics achievement and interest in mathematics was found. Furthermore, correlation analysis revealed that study time is negatively related to mathematics achievement, as is the overall level of interest in mathematics. These findings imply that a jigsaw strategy is a useful tool in teaching mathematics online. However, several modifications may be considered to recognize that the EPTs’ interest in mathematics varies from one person to another. Teacher education institutions are encouraged to apply this strategy not only for EPTs to increase their mathematical know-hows but also to serve as an example for them to employ in their future teaching careers. (shrink)

Mathematical modeling offers a promising approach to improving mathematics education. This study aims to determine if the concept of metacognitive awareness in the learning process is associated with mathematical modeling. This study also considers the interaction effect of sex and academic year level on both variables. Focusing the study on preservice elementary teachers might address potential issues and targeted intervention in their preparation program concerning their ability to teach and guide young learners in modeling activities. The research sample (...) includes 140 preservice elementary teachers at Central Luzon State University, Philippines. Data collection used an adapted metacognitive awareness inventory and a validated researcher-made mathematical modeling competency test aligned with the K-12 mathematics curriculum in the Philippines. Results revealed that the preservice elementary teachers had a high metacognitive awareness and mathematical modeling competency, ranging from 22 to 31 out of 36 points. Besides, Factorial ANOVA indicates that academic year level positively affects both variables regardless of sex, and stepwise regression analysis unveiled that information management, declarative knowledge, and planning significantly predict 41.4% of the mathematical modeling competency variance. This suggests that developing metacognitive awareness supports preservice elementary teachers in performing modeling tasks that improve their competency level in mathematics. (shrink)

This research aims at establishing the impact of information and communication technologies (ICT) on e-commerce development of industrial enterprises by means of economic and mathematical modelling. The goal was achieved using the following methods: theoretical generalization, analysis and synthesis (to critically analyse the scientific approaches of scientists regarding the expediency of using mathematical models in the context of enterprises’ e-commerce development), target, comparison and grouping (to reveal innovative methodological approach to assessing ICT impact on e-commerce development of (...) industrial enterprises), tabular, analytical and integral method (for summarizing the analysis results of enterprises readiness to implement ICT, ICT use in the activities of industrial enterprises of Ukraine and the analysis of e-commerce development), mathematical modelling (to build a regression model determining impact of changes in ICT use on the market share occupied by industrial enterprises), generalization (to determine promising directions of e-commerce developing of industrial enterprises). The implementation of a comprehensive approach to understanding the importance of ICT influence on e-commerce development of industrial enterprises will ensure acceleration of the digitalization of business processes, will contribute to the speed increase of enterprises response to customer requests, and increase the market share occupied by enterprises. A new vision of directions for developing e-commerce of industrial enterprises is suggested, which are determined by the need for enterprise rebranding, the development of e-commerce tools and technologies, the importance of outsourcing service automation and promotion of subscription trade. ICT is considered as integration factor that determines prospects for e-commerce development of industrial enterprises and contributes to increasing efficiency of online business management. Research results demonstrate that the use of economic and mathematical modelling is an important tool for assessing ICT impact, and its absence can negatively affect the accuracy and validity of online business management. (shrink)

In the debate over whether mathematical facts, properties, or entities explain physical events (in what philosophers call “extra-mathematical” explanations), Aidan Lyon’s (2012) affirmative answer stands out for its employment of the program explanation (PE) methodology of Frank Jackson and Philip Pettit (1990). Juha Saatsi (2012; 2016) objects, however, that Lyon’s examples from the indispensabilist literature are (i) unsuitable for PE, (ii) nominalizable into non-mathematical terms, and (iii) mysterious about the explanatory relation alleged to obtain between the PE’s (...) mathematical explanantia and physical explananda. In this paper, I propose a counterexample to Saatsi’s objections. My counterexample is Frank Jackson’s (1998a) program explanation for color experience, which I argue needs recasting as an extra-mathematical PE due to its implicit reliance on reflectance, a property that suffers conceptual regress unless redefined with Fourier harmonics. Pace Saatsi, I argue that this recast example is an authoritative PE, non-nominalizable, and minimally esoteric. Important for the indispensability debate at large, moreover, is that my counterexample reifies Fourier harmonics without the Enhanced Indispensability Argument (an argument to which Lyon applies PE as a premise). Indispensabilists have long overlooked the conditionalization of a limited mathematical realism on property realism, and my counterexample to Saatsi exploits this conditionalization. (shrink)

Famously, in the essay Inquiry Concerning the Distinctness of the Principles of Natural Theology and Morality (Prize Essay), Kant attempts to distance himself from the Wolffian model of philosophical inquiry. In this respect, Kant scholars have pointed out Kant’s claim that philosophy should not imitate the method of mathematics and his appeal to Newton’s “analytic method.” In this article, I argue that there is an aspect of Kant’s critique of the Wolffian model that has been neglected. Kant presents a powerful (...) attack of the idea that philosophy should proceed through the analysis of concepts and argues that we should give up the aim of arriving at “complete” concepts as one of its fundamental desiderata. Importantly, this attack of philosophy conceived as conceptual analysis is distinctive and original if one compares it with Kant’s critique of analysis in the Critique of Pure Reason, which rests on the idea that analysis is insufficient to ground substantial metaphysical truths. I also make an additional point: Scholars have debated whether the appeal to Newton’s analytic method involves a form of empiricism. I submit that this debate is ill-conceived because Kant uses a notion of “given concepts” that is indeterminate with respect to their a priori or a posteriori status. (shrink)

The usage of Quantum Similarity through the equation Z = {∀Θ∈Z→∃s ∈ S ʌ ∃t ∈ T: Θ= (s,t)}., represents a way to analyze the way communication works in our DNA. Being able to create the object set reference for z being (s,t) in our DNA strands, we are able to set logical tags and representations of our DNA in a completely computational form. This will allow us to have a better understanding of the sequences that happen in our DNA. (...) With this approach, we can also utilize mathematical formulas such as the Euler–Mascheroni constant, regressional analysis, and computational proofs to answer important questions on Quantum biology, Quantum similarity, and Theoretical Physics. (shrink)

Abstract -/- This paper establishes the mathematical foundation of CODES (Chirality of Dynamic Emergent Systems), introducing a unifying framework for structured emergence across disciplines. We formalize prime-driven resonance equations, a novel class of nonlinear phase-locking dynamics, and a generalized coherence metric to quantify system stability across physical, biological, and cognitive domains. -/- By extending harmonic analysis, prime number theory, and topological invariants, we propose a universal resonance function that governs the transition from stochastic disorder to structured order. This (...) framework: • Resolves fundamental paradoxes in probability theory by demonstrating that randomness is a projection of underlying resonance structures. • Redefines symmetry-breaking as a phase-locked emergence process, replacing traditional group-theoretic formulations. • Introduces a computable coherence model that predicts emergent stability across complex adaptive systems. -/- Finally, we explore implications for cosmology, AI, and quantum gravity, demonstrating that mathematical reality is fundamentally a structured resonance field, not a probabilistic space. (shrink)