Search for dissertations about: "axiomatization"

Showing result 1 - 5 of 9 swedish dissertations containing the word axiomatization.

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. Essays on Mathematical Economics

   Author : Uuganbaatar Ninjbat; Handelshögskolan i Stockholm; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

   Abstract : .... READ MORE

5. 3. Logics of Knowledge and Cryptography : Completeness and Expressiveness

   Author : Mika Cohen; Mads Dam; Alessio Lomuscio; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; epistemic logic; first-order logic; formal cryptography; static equivalence; security protocols; BAN logic; multi-agent system; completeness; logical omniscience problem; Computer science; Datavetenskap;

   Abstract : An understanding of cryptographic protocols requires that we examine the knowledge of protocol participants and adversaries: When a participant receives a message, does she know who sent it? Does she know that the message is fresh, and not merely a replay of some old message? Does a network spy know who is talking to whom? This thesis studies logics of knowledge and cryptography. Specifically, the thesis addresses the problem of how to make the concept of knowledge reflect feasible computability within a Kripke-style semantics. READ MORE

6. 4. Deductive Program Analysis with First-Order Theorem Provers

   Author : Simon Robillard; Chalmers tekniska högskola; []
   Keywords : HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automated theorem proving; Program semantics; Program Verification; Program analysis; Automated reasoning; First-order logic;

   Abstract : Software is ubiquitous in nearly all aspects of human life, including safety-critical activities. It is therefore crucial to analyze programs and provide strong guarantees that they perform as expected. READ MORE

7. 5. Transformative Decision Rules : Foundations and Applications

   Author : Martin Peterson; KTH; []
   Keywords : HUMANIORA; HUMANITIES; transformative decision rule; problem specification; framing; expected utility; decision theory; Philosophy subjects; Filosofiämnen;

   Abstract : A transformative decision rule alters the representation of a decisionproblem, either by changing the sets of acts and states taken intoconsideration, or by modifying the probability or value assignments.Examples of decision rules belonging to this class are the principleof insufficient reason, Isaac Levi’s condition of E-admissibility, Luceand Raiffa’s merger of states-rule, and the de minimis principle. READ MORE