Search for dissertations about: "Philosophy of mathematics"

Showing result 1 - 5 of 19 swedish dissertations containing the words Philosophy of mathematics.

  2. 1. On Axioms and Images in the History of Mathematics

    Author : Johanna Pejlare; Gunnar Berg; Anders Öberg; Leo Corry; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; Mathematics; History of mathematics; axiomatization; intuition; visualization; images; Euclidean geometry; MATHEMATICS; MATEMATIK; History of mathematics; axiomatization; intuition; visualization; images; Euclidean geometry;

    Abstract : This dissertation deals with aspects of axiomatization, intuition and visualization in the history of mathematics. Particular focus is put on the end of the 19th century, before David Hilbert's (1862–1943) work on the axiomatization of Euclidean geometry. The thesis consists of three papers. READ MORE

  4. 2. Philosophy of Mathematics for the Masses : Extending the scope of the philosophy of mathematics

    Author : Stefan Buijsman; Peter Pagin; Oystein Linnebo; Stockholms universitet; []
    Keywords : HUMANIORA; HUMANITIES; Benacerraf; Epistemology; Semantics; Mathematics; Mathematical practice; filosofi; Philosophy;

    Abstract : One of the important discussions in the philosophy of mathematics, is that centered on Benacerraf’s Dilemma. Benacerraf’s dilemma challenges theorists to provide an epistemology and semantics for mathematics, based on their favourite ontology. READ MORE

  5. 3. On Non-Prioritized Multiple Belief Revision

    Author : Li Zhang; Sven Ove Hansson; John Cantwell; Tor Sandqvist; André Fuhrmann; KTH; []
    Keywords : HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Non-prioritized multiple revision; Making up one s mind; Choice revision; Descriptor revision; AGM; Believability relation; Multiple believability relation; Belief base; Partial expansion; Multiple contraction; Filosofi; Philosophy; Mathematics; Matematik; Computer Science; Datalogi;

    Abstract : This thesis investigates a sort of non-prioritized multiple revision, the operation of making up one's mind, and its generalization, the operation of choice revision. Making up one's mind about a sentence is a belief change that takes the agent to a belief state in which either the sentence or its negation is believed. READ MORE

  6. 4. Measuring the Power of Arithmetical Theories

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

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

  7. 5. 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