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.

Qualitative Characteristics and Quantitative Measures of Solution's Reliability in Discrete Optimization: Traditional Analytical Approaches, Innovative Computational Methods and Applicability

The purpose of this thesis is twofold. The first and major part is devoted to sensitivity analysis of various discrete optimization problems while the second part addresses methods applied for calculating measures of solution stability and solving multicriteria discrete optimization problems. Despite numerous approaches to stability analysis of discrete optimization problems two major directions can be single out: quantitative and qualitative. Qualitative sensitivity analysis is conducted for multicriteria discrete optimization problems with minisum, minimax and minimin partial criteria. The main results obtained here are necessary and sufficient conditions for different stability types of optimal solutions (or a set of optimal solutions) of the considered problems. Within the framework of quantitative direction various measures of solution stability are investigated. A formula for a quantitative characteristic called stability radius is obtained for the generalized equilibrium situation invariant to changes of game parameters in the case of the H¨older metric. Quality of the problem solution can also be described in terms of robustness analysis. In this work the concepts of accuracy and robustness tolerances are presented for a strategic game with a finite number of players where initial coefficients (costs) of linear payoff functions are subject to perturbations. Investigation of stability radius also aims to devise methods for its calculation. A new metaheuristic approach is derived for calculation of stability radius of an optimal solution to the shortest path problem. The main advantage of the developed method is that it can be potentially applicable for calculating stability radii of NP-hard problems. The last chapter of the thesis focuses on deriving innovative methods based on interactive optimization approach for solving multicriteria combinatorial optimization problems. The key idea of the proposed approach is to utilize a parameterized achievement scalarizing function for solution calculation and to direct interactive procedure by changing weighting coefficients of this function. In order to illustrate the introduced ideas a decision making process is simulated for three objective median location problem. The concepts, models, and ideas collected and analyzed in this thesis create a good and relevant grounds for developing more complicated and integrated models of postoptimal analysis and solving the most computationally challenging problems related to it.

Experimental and discrete element simulation studies of bell-less charging of blast furnace

This thesis presents an experimental study and numerical study, based on the discrete element method (DEM), of bell-less charging in the blast furnace. The numerical models are based on the microscopic interaction between the particles in the blast furnace charging process. The emphasis is put on model validation, investigating several phenomena in the charging process, and on finding factors that influence the results. The study considers and simulates size segregation in the hopper discharging process, particle flow and behavior on the chute, which is the key equipment in the charging system, using mono-size spherical particles, multi-size spheres and nonspherical particles. The behavior of the particles at the burden surface and pellet percolation into a coke layer is also studied. Small-scale experiments are used to validate the DEM models.

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.

Chronic imipramine treatment-induced changes in acetylcholinesterase (EC 3.1.1.7) activity in discrete rat brain regions

Cholinergic as well as monoaminergic neurotransmission seems to be involved in the etiology of affective disorders. Chronic treatment with imipramine, a classical antidepressant drug, induces adaptive changes in monoaminergic neurotransmission. In order to identify possible changes in cholinergic neurotransmission we measured total, membrane-bound and soluble acetylcholinesterase (Achase) activity in several rat brain regions after chronic imipramine treatment. Changes in Achase activity would indicate alterations in acetylcholine (Ach) availability to bind to its receptors in the synaptic cleft. Male rats were treated with imipramine (20 mg/kg, ip) for 21 days, once a day. Twenty-four hours after the last dose the rats were sacrificed and homogenates from several brain regions were prepared. Membrane-bound Achase activity (nmol thiocholine formed min-1 mg protein-1) after chronic imipramine treatment was significantly decreased in the hippocampus (control = 188.8 ± 19.4, imipramine = 154.4 ± 7.5, P<0.005) and striatum (control = 850.9 ± 59.6, imipramine = 742.5 ± 34.7, P<0.005). A small increase in total Achase activity was observed in the medulla oblongata and pons. No changes in enzyme activity were detected in the thalamus or total cerebral cortex. Since the levels of Achase seem to be enhanced through the interaction between Ach and its receptors, a decrease in Achase activity may indicate decreased Ach release by the nerve endings. Therefore, our data indicate that cholinergic neurotransmission is decreased after chronic imipramine treatment which is consistent with the idea of an interaction between monoaminergic and cholinergic neurotransmission in the antidepressant effect of imipramine

Rapid eye movement sleep deprivation induces an increase in acetylcholinesterase activity in discrete rat brain regions

Some upper brainstem cholinergic neurons (pedunculopontine and laterodorsal tegmental nuclei) are involved in the generation of rapid eye movement (REM) sleep and project rostrally to the thalamus and caudally to the medulla oblongata. A previous report showed that 96 h of REM sleep deprivation in rats induced an increase in the activity of brainstem acetylcholinesterase (Achase), the enzyme which inactivates acetylcholine (Ach) in the synaptic cleft. There was no change in the enzyme's activity in the whole brain and cerebrum. The components of the cholinergic synaptic endings (for example, Achase) are not uniformly distributed throughout the discrete regions of the brain. In order to detect possible regional changes we measured Achase activity in several discrete rat brain regions (medulla oblongata, pons, thalamus, striatum, hippocampus and cerebral cortex) after 96 h of REM sleep deprivation. Naive adult male Wistar rats were deprived of REM sleep using the flower-pot technique, while control rats were left in their home cages. Total, membrane-bound and soluble Achase activities (nmol of thiocholine formed min-1 mg protein-1) were assayed photometrically. The results (mean ± SD) obtained showed a statistically significant (Student t-test) increase in total Achase activity in the pons (control: 147.8 ± 12.8, REM sleep-deprived: 169.3 ± 17.4, N = 6 for both groups, P<0.025) and thalamus (control: 167.4 ± 29.0, REM sleep-deprived: 191.9 ± 15.4, N = 6 for both groups, P<0.05). Increases in membrane-bound Achase activity in the pons (control: 171.0 ± 14.7, REM sleep-deprived: 189.5 ± 19.5, N = 6 for both groups, P<0.05) and soluble enzyme activity in the medulla oblongata (control: 147.6 ± 16.3, REM sleep-deprived: 163.8 ± 8.3, N = 6 for both groups, P<0.05) were also observed. There were no statistically significant differences in the enzyme's activity in the other brain regions assayed. The present findings show that the increase in Achase activity induced by REM sleep deprivation was specific to the pons, a brain region where cholinergic neurons involved in REM generation are located, and also to brain regions which receive cholinergic input from the pons (the thalamus and medulla oblongata). During REM sleep extracellular levels of Ach are higher in the pons, medulla oblongata and thalamus. The increase in Achase activity in these brain areas after REM sleep deprivation suggests a higher rate of Ach turnover.

Stability Analysis in Multicriteria Discrete Portfolio Optimization.

Almost every problem of design, planning and management in the technical and organizational systems has several conflicting goals or interests. Nowadays, multicriteria decision models represent a rapidly developing area of operation research. While solving practical optimization problems, it is necessary to take into account various kinds of uncertainty due to lack of data, inadequacy of mathematical models to real-time processes, calculation errors, etc. In practice, this uncertainty usually leads to undesirable outcomes where the solutions are very sensitive to any changes in the input parameters. An example is the investment managing. Stability analysis of multicriteria discrete optimization problems investigates how the found solutions behave in response to changes in the initial data (input parameters). This thesis is devoted to the stability analysis in the problem of selecting investment project portfolios, which are optimized by considering different types of risk and efficiency of the investment projects. The stability analysis is carried out in two approaches: qualitative and quantitative. The qualitative approach describes the behavior of solutions in conditions with small perturbations in the initial data. The stability of solutions is defined in terms of existence a neighborhood in the initial data space. Any perturbed problem from this neighborhood has stability with respect to the set of efficient solutions of the initial problem. The other approach in the stability analysis studies quantitative measures such as stability radius. This approach gives information about the limits of perturbations in the input parameters, which do not lead to changes in the set of efficient solutions. In present thesis several results were obtained including attainable bounds for the stability radii of Pareto optimal and lexicographically optimal portfolios of the investment problem with Savage's, Wald's criteria and criteria of extreme optimism. In addition, special classes of the problem when the stability radii are expressed by the formulae were indicated. Investigations were completed using different combinations of Chebyshev's, Manhattan and Hölder's metrics, which allowed monitoring input parameters perturbations differently.

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.

Gender bias in the Trends in Mathematics and Science Study 2003 (TIMMS) for Canadian students /

This study is a secondary data analysis of the Trends in Mathematics and Science Study 2003 (TIMSS) to determine if there is a gender bias, unbalanced number of items suited to the cognitive skill of one gender, and to compare performance by location. Results of the Grade 8, math portion of the test were examined. Items were coded as verbal, spatial, verbal /spatial or neither and as conventional or unconventional. A Kruskal- Wallis was completed for each category, comparing performance of students from Ontario, Quebec, and Singapore. A Factor Analysis was completed to determine if there were item categories with similar characteristics. Gender differences favouring males were found in the verbal conventional category for Canadian students and in the spatial conventional category for students in Quebec. The greatest differences were by location, as students in Singapore outperformed students from Canada in all areas except for the spatial unconventional category. Finally, whether an item is conventional or unconventional is more important than whether the item is verbal or spatial. Results show the importance of fair assessment for the genders in both the classroom and on standardized tests.

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.