Sökning: "Undecidability"
Visar resultat 1 - 5 av 9 avhandlingar innehållade ordet Undecidability.
1. Model Checking Parameterized Timed Systems
Sammanfattning : In recent years, there has been much advancement in the area of verification of infinite-state systems. A system can have an infinite state-space due to unbounded data structures such as counters, clocks, stacks, queues, etc. It may also be infinite-state due to parameterization, i.e. LÄS MER
2. Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods
Sammanfattning : Software is finding its way into an increasing range of devices (phones, medical equipment, cars...). LÄS MER
3. Mobile Performances : A Philosophical Account of Linguistic Undecidability as Possibility and Problem in the Theology of Religion
Sammanfattning : How to judge religions other than one's own when the means are lacking due to linguistic mobility? In the present thesis this question is mainly analysed in a Christian setting through a reading of the theologians Paul Knitter and Harold Netland. It is, however, claimed that the same question could be asked in other religious settings, also with regard to one's own tradition, and could be treated as a general question?how to judge, evaluate, and criticise religion if the means to do that are lacking? The thesis starts by maintaining that the question of linguistic mobility/stability is an issue in theology. LÄS MER
4. On Simultaneous Rigid E-Unification
Sammanfattning : Automated theorem proving methods in classical logic with equality that are based on the Herbrand theorem, reduce to a problem called Simultaneous Rigid E-Unification, or SREU for short. Recent developments show that SREU has also close connections with intuitionistic logic with equality, second-order unification, some combinatorial problems and finite tree automata. LÄS MER
5. Radical democracy redux : politics and subjectivity beyond Habermas and Mouffe
Sammanfattning : This thesis investigates two contemporary theories of radical democracy, Jürgen Habermas’s deliberative and Chantal Mouffe’s agonistic democracy. By bringing the two scholars together and constructing a debate between them, their respective strengths and weaknesses are highlighted and the similarities and differences are pointed out. LÄS MER