The mathematics of McTaggart's paradox

Mc Taggart's celebrated proof of the unreality of time is a chain of implications whose final step asserts that the A-series (i.e. the classification of events as past, present or future) is intrinsically contradictory. This is widely believed to be the heart of the argument, and it is where most attempted refutations have been addressed; yet, it is also the only part of the proof which may be generalised to other contexts, since none of the notions involved in it is specifically temporal. In fact, as I show in the first part of the paper, McTaggart's refutation of the A-series can be easily interpreted in mathematical terms; subsequently, in order to strengthen my claim, I apply the same framework by analogy to the cases of space, modality, and personal identity. Therefore, either McTaggart's proof as a whole may be extended to each of these notions, or it must embed some distinctly temporal element in one of the steps leading up to the contradiction of the A-series. I conclude by suggesting where this element might lay, and by hinting at what I believe to be the true logical fallacy of the proof.

HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS

Abstract: In this article we analyze the key concept of Hilbert's axiomatic method, namely that of axiom. We will find two different concepts: the first one from the period of Hilbert's foundation of geometry and the second one at the time of the development of his proof theory. Both conceptions are linked to two different notions of intuition and show how Hilbert's ideas are far from a purely formalist conception of mathematics. The principal thesis of this article is that one of the main problems that Hilbert encountered in his foundational studies consisted in securing a link between formalization and intuition. We will also analyze a related problem, that we will call "Frege's Problem", form the time of the foundation of geometry and investigate the role of the Axiom of Completeness in its solution.

Conceptions of mathematics teacher education : thoughts among teacher educators in Tanzania

This study addresses the question of teacher educators’ conceptions of mathematics teacher education (MTE) in teacher colleges in Tanzania, and their thoughts on how to further develop it. The tension between exponents of content as opposed to pedagogy has continued to cause challenging conceptual differences, which also influences what teacher educators conceive as desirable in the development of this domain. This tension is connected to the dissatisfaction of parents and teachers with the failure of school mathematics. From this point of view, the overall aim was to identify and describe teacher educators’ various conceptions of MTE. Inspired by the debate among teacher educators about what the balance should be between subject matter and pedagogical knowledge, it was important to look at the theoretical faces of MTE. The theoretical background involved the review of what is visible in MTE, what is yet to be known and the challenges within the practice. This task revealed meanings, perspectives in MTE, professional development and assessment. To do this, two questions were asked, to which no clear solutions satisfactorily existed. The questions to guide the investigation were, firstly, what are teacher educators’ conceptions of MTE, and secondly, what are teacher educators’ thoughts on the development of MTE? The two questions led to the choice of phenomenography as the methodological approach. Against the guiding questions, 27 mathematics teacher educators were interviewed in relation to the first question, while 32 responded to an open-ended questionnaire regarding question two. The interview statements as well as the questionnaire responses were coded and analysed (classified). The process of classification generated patterns of qualitatively different ways of seeing MTE. The results indicate that MTE is conceived as a process of learning through investigation, fostering inspiration, an approach to learning with an emphasis on problem solving, and a focus on pedagogical knowledge and skills in the process of teaching and learning. In addition, the teaching and learning of mathematics is seen as subject didactics with a focus on subject matter and as an organized integration of subject matter, pedagogical knowledge and some school practice; and also as academic content knowledge in which assessment is inherent. The respondents also saw the need to build learner-educator relationships. Finally, they emphasized taking advantage of teacher educators’ neighbourhood learning groups, networking and collaboration as sustainable knowledge and skills sharing strategies in professional development. Regarding desirable development, teacher educators’ thoughts emphasised enhancing pedagogical knowledge and subject matter, and to be determined by them as opposed to conventional top-down seminars and workshops. This study has revealed various conceptions and thoughts about MTE based on teacher educators´ diverse history of professional development in mathematics. It has been reasonably substantiated that some teacher educators teach school mathematics in the name of MTE, hardly distinguishing between the role and purpose of the two in developing a mathematics teacher. What teacher educators conceive as MTE and what they do regarding the education of teachers of mathematics revealed variations in terms of seeing the phenomenon of interest. Within limits, desirable thoughts shed light on solutions to phobias, and in the same way low self-esteem and stigmatization call for the building of teacher educator-student teacher relationships.

Mathematics inspired by Darwin. Adaptive dynamics of dispersal and cooperation

In 1859, Charles Darwin published his theory of evolution by natural selection, the process occurring based on fitness benefits and fitness costs at the individual level. Traditionally, evolution has been investigated by biologists, but it has induced mathematical approaches, too. For example, adaptive dynamics has proven to be a very applicable framework to the purpose. Its core concept is the invasion fitness, the sign of which tells whether a mutant phenotype can invade the prevalent phenotype. In this thesis, four real-world applications on evolutionary questions are provided. Inspiration for the first two studies arose from a cold-adapted species, American pika. First, it is studied how the global climate change may affect the evolution of dispersal and viability of pika metapopulations. Based on the results gained here, it is shown that the evolution of dispersal can result in extinction and indeed, evolution of dispersalshould be incorporated into the viability analysis of species living in fragmented habitats. The second study is focused on the evolution of densitydependent dispersal in metapopulations with small habitat patches. It resulted a very surprising unintuitive evolutionary phenomenon, how a non-monotone density-dependent dispersal may evolve. Cooperation is surprisingly common in many levels of life, despite of its obvious vulnerability to selfish cheating. This motivated two applications. First, it is shown that density-dependent cooperative investment can evolve to have a qualitatively different, monotone or non-monotone, form depending on modelling details. The last study investigates the evolution of investing into two public-goods resources. The results suggest one general path by which labour division can arise via evolutionary branching. In addition to applications, two novel methodological derivations of fitness measures in structured metapopulations are given.

Distribution of HCV genotypes among different exposure categories in Brazil

Hepatitis C virus (HCV) infection is widespread and responsible for more than 60% of chronic hepatitis cases. HCV presents a genetic variability which has led to viral classification into at least 6 genotypes and a series of subtypes. These variants present characteristic geographical distribution, but their association with different responses to treatment with interferon and severity of disease still remains controversial. The aim of this study was to investigate the patterns of distribution of HCV genotypes among different exposure categories in Brazil. Two hundred and fifty anti-HCV positive samples were submitted to HCV-RNA detection by RT-PCR and their genotype was determined by restriction fragment length polymorphism (RFLP) analysis. In addition, the genotype/subtype of 60 samples was also determined by a reverse hybridization assay. HCV 1 was the most prevalent (72.0%), followed by type 3 (25.3%), HCV 2 (2.0%) and HCV 4 (0.7%). The HCV genotype distribution varied among the different exposure categories, with HCV 1 being more frequent among blood donors, hemophiliacs and hemodialysis patients. A high frequency of HCV 3 was observed in cirrhotic patients, blood donors from the South of Brazil and injecting drug users (IDUs). The general distribution of the HCV genotype in Brazil is similar to that in other regions of the world.

Utilising student profiles in mathematics course arrangements

This thesis develops a method for identifying students struggling in their mathematical studies at an early stage. It helps in directing support to students needing and benefiting from it the most. Thus, frustration felt by weaker students may decrease and therefore, hopefully, also drop outs of potential engineering students. The research concentrates on a combination of personality and intelligence aspects. Personality aspects gave information on conation and motivation for learning. This part was studied from the perspective of motivation and self-regulation. Intelligence aspects gave information on declarative and procedural knowledge: what had been taught and what was actually mastered. Students answered surveys on motivation and self-regulation in 2010 and 2011. Based on their answers, background information, results in the proficiency test, and grades in the first mathematics course, profiles describing the students were formed. In the following years, the profiles were updated with new information obtained each year. The profiles used to identify struggling students combine personality (motivation, selfregulation, and self-efficacy) and intelligence (declarative and procedural knowledge) aspects at the beginning of their studies. Identifying students in need of extra support is a good start, but methods for providing support must be found. This thesis also studies how this support could be taken into account in course arrangements. The methods used include, for example, languaging and scaffolding, and continuous feedback. The analysis revealed that allocating resources based on the predicted progress does not increase costs or lower the results of better students. Instead, it will help weaker students obtain passing grades.

The effect of calculators on the numerical problem-solving skills and attitudes of primary students towards mathematics /

The purpose of this study was to determine the effect that calculators have on the attitudes and numerical problem-solving skills of primary students. The sample used for this research was one of convenience. The sample consisted of two grade 3 classes within the York Region District School Board. The students in the experimental group used calculators for this problem-solving unit. The students in the control group completed the same numerical problem-solving unit without the use of calculators. The pretest-posttest control group design was used for this study. All students involved in this study completed a computational pretest and an attitude pretest. At the end of the study, the students completed a computational posttest. Five students from the experimental group and five students from the control group received their posttests in the form of a taped interview. At the end of the unit, all students completed the attitude scale that they had received before the numerical problem-solving unit once again. Data for qualitative analysis included anecdotal observations, journal entries, and transcribed interviews. The constant comparative method was used to analyze the qualitative data. A t test was also performed on the data to determine whether there were changes in test and attitude scores between the control and experimental group. Overall, the findings of this study support the hypothesis that calculators improve the attitudes of primary students toward mathematics. Also, there is some evidence to suggest that calculators improve the computational skills of grade 3 students.

The use of explicit algorithms and episodic context to teach subtraction to students with learning problems in mathematics /

This research attempted to address the question of the role of explicit algorithms and episodic contexts in the acquisition of computational procedures for regrouping in subtraction. Three groups of students having difficulty learning to subtract with regrouping were taught procedures for doing so through either an explicit algorithm, an episodic content or an examples approach. It was hypothesized that the use of an explicit algorithm represented in a flow chart format would facilitate the acquisition and retention of specific procedural steps relative to the other two conditions. On the other hand, the use of paragraph stories to create episodic content was expected to facilitate the retrieval of algorithms, particularly in a mixed presentation format. The subjects were tested on similar, near, and far transfer questions over a four-day period. Near and far transfer algorithms were also introduced on Day Two. The results suggested that both explicit and episodic context facilitate performance on questions requiring subtraction with regrouping. However, the differential effects of these two approaches on near and far transfer questions were not as easy to identify. Explicit algorithms may facilitate the acquisition of specific procedural steps while at the same time inhibiting the application of such steps to transfer questions. Similarly, the value of episodic context in cuing the retrieval of an algorithm may be limited by the ability of a subject to identify and classify a new question as an exemplar of a particular episodically deflned problem type or category. The implications of these findings in relation to the procedures employed in the teaching of Mathematics to students with learning problems are discussed in detail.

Adolescent girls and mathematics: classroom performance, attitudes toward mathematics and perceptions of parental attitudes /

The purpose of this study was to determine the extent to which gender differences exist in student attitudes toward mathematics and in their performance in mathematics at the Grade Seven and Eight level. The study also questioned how parents influence the attitudes of this grade level of male and female students toward mathematics. Historically, the literature has demonstrated gender differences in the attitudes of students toward mathematics, and in parental support for classroom performance in mathematics. This study was an attempt to examine these differences at one senior public school in the Peel Board of Education. One hundred three Grade Seven and Eight students at a middle school in the Peel Board of Education volunteered to take part in a survey that examined their attitudes toward mathematics, their perceptions of their parents' attitudes toward mathematics and support for good performance in the mathematics classroom, parental expectations for education and future career choices. Gender differences related to performance levels in the mathematics classroom were examined using Pearson contingency analyses. Items from the survey that showed significant differences involved confidence in mathematics and confidence in writing mathematics tests, as well as a belief in the ability to work on mathematics problems. Male students in both the high and low performance groups demonstrated higher levels of confidence than the females in those groups. Female students, however, indicated interest in careers that would require training and knowledge of higher mathematics. Some of the reasons given to explain the gender differences in confidence levels included socialization pressures on females, peer acceptance, and attribution of success. Perceived parental support showed no significant differences across gender groups or performance levels. Possible explanations dealt with the family structure of the participants in the study. Studies that, in the past, have demonstrated gender differences in confidence levels were supported by this study, and discussed in detail. Studies that reported on differences in parental support for student performance, based on the gender of the parent, were not confirmed by this study, and reasons for this were also discussed. The implications for the classroom include: 1) build on the female students' strengths that will allow them to enjoy their experiences in mathematics; 2) stop using the boys as a comparison group; and 3) make students more aware of the need to continue studying mathematics to ensure a wider choice of future careers.

Exploring the impact of a hands-on intervention on grade 7 girls and their feelings about self, mathematics, science, technology and related careers

Forty-five 12- and 13-year-old females attending Grade 7 in North York, Ontario were randomly selected from a group of 100 females who had volunteered to participate in a oneday hands-on workshop called It's Your Choice at Seneca College. The goals of this intervention were to broaden the career horizons of these students and to help them realize the need to continue mathematics and science through high school in order to keep occupational options unlimited. The young women were given a pre- and post-attitude survey to provide background information. In the month following participation in the workshop the students were interviewed in small groups (S students per group) to discover their perceptions of the impact of the workshop. The interviews revealed that participants felt that after the workshop their feelings of self-confidence increased, specifically with respect to working with their hands. Participants felt more aware of the usefulness and importance of the study of mathematics, science and technology, They also felt that It's Your Choice increased their interest in careers in these domains and helped them to see that these careers are viable choices for females. The interviews also revealed that many of the participants felt that in this society their roles and their choices were influenced and probably limited by the fact that they are female.

The effects of teaching a mathematics problem solving strategy on the problem solving ability of grade nine students

Forty grade 9 students were selected from a small rural board in southern Ontario. The students were in two classes and were treated as two groups. The treatment group received instruction in the Logical Numerical Problem Solving Strategy every day for 37 minutes over a 6 week period. The control group received instruction in problem solving without this strategy over the same time period. Then the control group received the treat~ent and the treatment group received the instruction without the strategy. Quite a large variance was found in the problem solving ability of students in grade 9. It was also found that the growth of the problem solving ability achievement of students could be measured using growth strands based upon the results of the pilot study. The analysis of the results of the study using t-tests and a MANOVA demonstrated that the teaching of the strategy did not significaritly (at p s 0.05) increase the problem solving achievement of the students. However, there was an encouraging trend seen in the data.

The impact of integrated programming on student attitude and achievement in grade 9 academic mathematics and science

This research studioo the effect of integrated instruction in mathematics and~ science on student achievement in and attitude towards both mathematics and science. A group of grade 9 academic students received instruction in both science and mathematics in an integrated program specifically developed for the purposes of the research. This group was compared to a control group that had received science and mathematics instruction in a traditional, nonintegrated program. The findings showed that in all measures of attitude, there was no significant difference between the students who participated in the integrated science and mathematics program and those who participated in a traditional science and mathematics program. The findings also revealed that integration did improve achievement on some of the measures used. The performance on mathematics open-ended problem-solving tasks improved after participation in the integrated program, suggesting that the integrated students were better able to apply their understanding of mathematics in a real-life context. The performance on the final science exam was also improved for the integrated group. Improvement was not noted on the other measures, which included EQAO scores and laboratory practical tasks. These results raise the issue of the suitability of the instruments used to gauge both achievement and attitude. The accuracy and suitability of traditional measures of achievement are considered. It is argued that they should not necessarily be used as the measure of the value of integrated instruction in a science and mathematics classroom.

Generating finite integral relation algebras

Relation algebras and categories of relations in particular have proven to be extremely useful as a fundamental tool in mathematics and computer science. Since relation algebras are Boolean algebras with some well-behaved operations, every such algebra provides an atom structure, i.e., a relational structure on its set of atoms. In the case of complete and atomic structure (e.g. finite algebras), the original algebra can be recovered from its atom structure by using the complex algebra construction. This gives a representation of relation algebras as the complex algebra of a certain relational structure. This property is of particular interest because storing the atom structure requires less space than the entire algebra. In this thesis I want to introduce and implement three structures representing atom structures of integral heterogeneous relation algebras, i.e., categorical versions of relation algebras. The first structure will simply embed a homogeneous atom structure of a relation algebra into the heterogeneous context. The second structure is obtained by splitting all symmetric idempotent relations. This new algebra is in almost all cases an heterogeneous structure having more objects than the original one. Finally, I will define two different union operations to combine two algebras into a single one.