Sökning: "models of arithmetic"

Visar resultat 1 - 5 av 26 avhandlingar innehållade orden models of arithmetic.

  1. 1. Världsmaskinen. Emanuel Swedenborgs naturfilosofi

    Författare :David Dunér; Avdelningen för idé- och lärdomshistoria; []
    Nyckelord :HUMANIORA; HUMANITIES; Christopher Polhem; Charles XII; hydrodynamics; technology; optics; acoustics; mechanics; space; theology; number systems; neurology; iatromechanics; body and soul; infinity; mineralogy; cosmology; matter theory; perception; analogy; metaphors; cognition; 18th century Swedish history; philosophy of science; philosophy of religion; mechanical philosophy; philosophy; geometry; mathematics; history of science; Emanuel Swedenborg 1688–1772 ; natural philosophy; History of philosophy; history of ideas; Filosofins historia; idéhistoria; History of science; Vetenskapshistoria;

    Sammanfattning : The Swedish natural philosopher Emanuel Swedenborg (1688–1772) thought in his early scientific career that the world was like a gigantic machine, following the laws of mechanics and geometry. The work presented here is a study of his mechanistic worldview and metaphorical way of thinking up to the year 1734, examining most of his fields of interest, from geometry and metaphysics to technology and mining engineering. LÄS MER

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

    Författare :Fredrik Engström; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; satisfaction classes; models of arithmetic; models of arithmetic;

    Sammanfattning : .... LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

  5. 4. Tidig aritmetisk kunskapsbildning : Ett radikalkonstruktivistiskt perspektiv

    Författare :Göta Eriksson; Siv Fischbein; Olof Magne; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Radical Constructivism; model building; ontogenesis of arithmetic; counting scheme; cognitive system of self-regulation and self-organising; conceptual progression; longitudinal approach; special education.; Education; Pedagogik;

    Sammanfattning : From a Radical Constructivist (RC) perspective this thesis deals with children’s construction of early arithmetic learning as an evolving process through the cognitive system of self-regulation and self-organising. Thus the child’s learning must guide teaching. RC views early arithmetic as verbal and preceding the system of written arithmetic. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER