Sökning: "Christian Bennet"

Hittade 2 avhandlingar innehållade orden Christian Bennet.

  1. 1. On some Orderings of Extensions of Arithmetic

    Författare :Christian Bennet; Göteborgs universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Arithmetization; interpretability; lattice; Lindenbaum algebra; partal conservativity; Peano Arithmetic; relative consistency; self-reference;

    Sammanfattning : .... LÄS MER

  3. 2. Concept Formation in Mathematics

    Författare :Jörgen Sjögren; Högskolan i Skövde; []
    Nyckelord :HUMANIORA; HUMANITIES; Explication; Power of arithmetical theories; Formal proof; Informal proof; Indispensability; Mathematical realism; Naturvetenskap; Natural sciences; Explication; Power of arithmetical theories; Formal Proof; Informal proof; Indispensability; Mathematical Realism;

    Sammanfattning : This thesis consists of three overlapping parts, where the first one centers around the possibility of defining a measure of the power of arithmetical theories. In this part a partial measure of the power of arithmetical theories is constructed, where “power” is understood as capability to prove theorems. LÄS MER