Search for dissertations about: "Proof"

Showing result 1 - 5 of 781 swedish dissertations containing the word Proof.

  2. 1. Legal Interpretation and Standards of Proof : Essays in Philosophy of Law and Evidence Law Theory

    Author : Sebastián Reyes Molina; Sebastian Lutz; Jens Johansson; Verónica Rodríguez-Blanco; Uppsala universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; HUMANIORA; HUMANITIES; law; legal interpretation; evidence; legal evidence; proof; philosophy of law; legal theory; general jurisprudence; standards of proof; philosophy; legal reasoning; evidential reasoning; Filosofi; Philosophy;

    Abstract : This dissertation addresses the issues of the indeterminacy of law and judicial discretion in the decision of the quaestio facti. It is composed of four papers:In the first paper, I develop an account of legal indeterminacy called the ‘systemic indeterminacy’ thesis. READ MORE

  4. 2. Space in Proof Complexity

    Author : Marc Vinyals; Jakob Nordström; Yehudayoff Amir; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; proof complexity; resolution; polynomial calculus; cutting planes; space complexity; computational complexity; pebble games; communication complexity; CDCL; Computer Science; Datalogi;

    Abstract : ropositional proof complexity is the study of the resources that are needed to prove formulas in propositional logic. In this thesis we are concerned with the size and space of proofs, and in particular with the latter.Different approaches to reasoning are captured by corresponding proof systems. READ MORE

  5. 3. Approaching Proof in a Community of Mathematical Practice

    Author : Kirsti Hemmi; Rikard Bögvad; Barbara Jaworski; Gila Hanna; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; proof; university mathematics; community of practice; participation; reification; MATHEMATICS; MATEMATIK;

    Abstract : This thesis aims to describe how students encounter proof in a community of mathematical practice at a mathematics department and how they are drawn to share mathematicians’ views and knowledge of proof. Considering the department as a community of practice where the joint enterprise is learning mathematics in a broad sense made it possible to perceive the newcomers as active participants in the practice. READ MORE

  6. 4. Concept Formation in Mathematics

    Author : Jörgen Sjögren; Högskolan i Skövde; []
    Keywords : 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;

    Abstract : 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. READ MORE

  7. 5. Natural deduction : a proof-theoretical study

    Author : Dag Prawitz; Stockholms universitet; []
    Keywords : ;

    Abstract : .... READ MORE