Sökning: "axiomatization"
Visar resultat 1 - 5 av 9 avhandlingar innehållade ordet axiomatization.
1. On Axioms and Images in the History of Mathematics
Sammanfattning : 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. LÄS MER
2. Essays on Mathematical Economics
Sammanfattning : .... LÄS MER
3. Logics of Knowledge and Cryptography : Completeness and Expressiveness
Sammanfattning : 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. LÄS MER
4. Deductive Program Analysis with First-Order Theorem Provers
Sammanfattning : 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. LÄS MER
5. Transformative Decision Rules : Foundations and Applications
Sammanfattning : 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. LÄS MER