Spelling suggestions: "subject:"decidability (amathematical logic)"" "subject:"decidability (dmathematical logic)""
1 |
Techniques and counterexamples in almost categorical recursive model theoryManasse, Mark S. January 1900 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1982. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 148-150).
|
2 |
Limited ink : interpreting and misinterpreting GÜdel's incompleteness theorem in legal theoryCrawley, Karen. January 2006 (has links)
This thesis explores the significance of Godel's Theorem for an understanding of law as rules, and of legal adjudication as rule-following. It argues that Godel's Theorem, read through Wittgenstein's understanding of rules and language as a contextual activity, and through Derrida's account of 'undecidability,' offers an alternative account of the relationship of judging to justice. Instead of providing support for the 'indeterminacy' claim, Godel's Theorem illuminates the predicament of undecidability that structures any interpretation and every legal decision, and which constitutes the opening to justice. The first argument in this thesis examines Godel's proof, Wittgenstein's views on rules, and Derrida's undecidability, as manifestations of a common concern with the limits of what can be formalized. The meta-argument examines their misinterpretation and misappropriation within legal theory as a case study of just what they mean about meaning, context, and justice as necessarily co-implicated.
|
3 |
Limited ink : interpreting and misinterpreting GÜdel's incompleteness theorem in legal theoryCrawley, Karen January 2006 (has links)
No description available.
|
Page generated in 0.0908 seconds