Sökning: "Power of arithmetical theories"

Hittade 2 avhandlingar innehållade orden Power of arithmetical theories.

1. 1. Measuring the Power of Arithmetical Theories

   Författare :Jörgen Sjögren; Högskolan i Skövde; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; HUMANIORA; HUMANITIES; Other mathematics; Övrig matematik; Philosophy subjects; Filosofiämnen;

   Sammanfattning : This thesis discusses the possibility to measure the power of extentions of Peano Aritmetic, P A. It consists of three parts, an introduction and two separately written papers. 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