Search for dissertations about: "models of arithmetic"

Showing result 1 - 5 of 24 swedish dissertations containing the words models of arithmetic.

  2. 1. Satisfaction classes in nonstandard models of first-order arithmetic

    Author : Fredrik Engström; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; satisfaction classes; models of arithmetic; models of arithmetic;

    Abstract : .... READ MORE

  4. 2. Contributions to the Metamathematics of Arithmetic: Fixed Points, Independence, and Flexibility

    Author : Rasmus Blanck; Göteborgs universitet; []
    Keywords : HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; arithmetic; incompleteness; flexibility; independence; non-standard models; partial conservativity; interpretability;

    Abstract : This thesis concerns the incompleteness phenomenon of first-order arithmetic: no consistent, r.e. theory T can prove every true arithmetical sentence. The first incompleteness result is due to Gödel; classic generalisations are due to Rosser, Feferman, Mostowski, and Kripke. READ MORE

  5. 3. Cognitive strategies in simple addition and subtraction : Process models based on analyses of response latencies and retrospective verbal reports

    Author : Maj-Lene Hedenborg; Stellan Ohlsson; Stockholms universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; cognition; mental arithmetic; addition; subtraction; process models; response latencies; verbal reports; errors; psykologi; Psychology;

    Abstract : The purpose of this thesis is to explore cognitive processes used by children and adults when solving simple arithmetic problems, and to develop process models for describing these processes. The studies in the thesis were based mainly on analyses of response latencies and retrospective verbal reports, separately and in combination. READ MORE

  6. 4. An Analysis of Consequences of Land Evaluation and Path Optimization

    Author : Rachel Mundeli Murekatete; Takeshi Shirabe; Gerhard Navratil; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Least-cost paths; Most-suitable paths; Raster cost surfaces; Raster suitability surfaces; Shortest path problem; Minimax path problem; Scales of measurement; Minsta-kostnad rutter; Mest-lämpliga rutter; Raster kostnadsytor; Raster lämplighets ytor; kortaste vägen problem; Minimax väg problem; Mätskalor; Geodesy and Geoinformatics; Geodesi och geoinformatik;

    Abstract : Planners who are involved in locational decision making often use raster-based geographic information systems (GIS) to quantify the value of land in terms of suitability or cost for a certain use. From a computational point of view, this process can be seen as a transformation of one or more sets of values associated with a grid of cells into another set of such values through a function reflecting one or more criteria. READ MORE

  7. 5. Making Sense of Negative Numbers

    Author : Cecilia Kilhamn; Göteborgs universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; mathematics education; metaphor; signed number; negative number; number sense; case study; longitudinal; social constructivism;

    Abstract : Numbers are abstract objects that we conceptualize and make sense of through metaphors. When negative numbers appear in school mathematics, some properties of number sense related to natural numbers become contradictory. The metaphors seem to break down, making a transition from intuitive to formal mathematics necessary. READ MORE