Search for dissertations about: "theories of computation"

Showing result 1 - 5 of 22 swedish dissertations containing the words theories of computation.

  2. 1. The Mathematician as Mathematics : Theories of Computation in Light of Wittgenstein's Thought

    Author : Kim Solin; Lars-Göran Johansson; Sören Stenlund; André Porto; Uppsala universitet; []
    Keywords : HUMANIORA; HUMANITIES; theories of computation; philosophy of mathematics; Wittgenstein;

    Abstract : Theories of computation are considered in light of Wittgenstein's thought. The dissertation is divided into three parts.The first part presents the philosophical approach taken in the dissertation. The approach takes Wittgenstein's philosophy, in particular as it has been understood by Rush Rhees, as a model. READ MORE

  4. 2. Results in Localization for Supersymmetric Gauge Theories

    Author : Anastasios Gorantis; Joseph A. Minahan; Kimyeong Lee; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Supersymmetric localization; Matrix models; Supersymmetric field theories; Cohomological field theories; Chiral algebras; Theoretical Physics; Teoretisk fysik;

    Abstract : The strong coupling dynamics of Quantum Field Theories with gauge symmetries constitutes a profound problem in Theoretical Physics. Supersymmetric theories offer rare instances where this elusive problem is tractable and can be a valuable source of information and intuition. READ MORE

  5. 3. Computational Issues in Calculi of Partial Inductive Definitions

    Author : Per Kreuger; RISE; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Theory of computation; algorithms; logic; proof-theory; partial inductive defi-nitions; definitional reflection; disunification; closure; completion; negation; constructive negation; quantification; logic programming; meta programming; quantification; skolemization; self-reference; program semantics; declarative control; proof-search; theorem-proving.;

    Abstract : We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. READ MORE

  6. 4. Supersymmetric Gauge Theories and Matrix Models

    Author : Rainer Heise; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; String theory; Effective field theory; Matrix model; Supersymmetric gauge theories;

    Abstract : We discuss recent developments in supersymmetric field theory due to the conjecture of Dijkgraaf and Vafa relating the effective superpotential of such theories to the computation of an associated matrix model. We give a short survey of N=1 supersymmetric gauge theories and state the conjecture. READ MORE

  7. 5. Localization, supersymmetric gauge theories and toric geometry

    Author : Jacob Winding; Maxim Zabzine; Sara Pasquetti; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Supersymmetry; gauge theory; localization; toric geometry; Theoretical Physics; Teoretisk fysik;

    Abstract : Gauge theories is one of the most pervasive and important subject of modern theoretical physics, and there are still many things about them we do not understand. In particular dealing with strongly coupled theories where normal perturbative techniques do not apply is a fundamental open problem. READ MORE