On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency
Graduate studies at Western
Journal of Symbolic Logic 71 (4):1189-1199 (2006)
|Abstract||Gödel’s Second Incompleteness Theorem states axiom systems of sufficient strength are unable to verify their own consistency. We will show that axiomatizations for a computer’s floating point arithmetic can recognize their cut-free consistency in a stronger respect than is feasible under integer arithmetics. This paper will include both new generalizations of the Second Incompleteness Theorem and techniques for evading it|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Dan E. Willard (2001). Self-Verifying Axiom Systems, the Incompleteness Theorem and Related Reflection Principles. Journal of Symbolic Logic 66 (2):536-596.
Dan E. Willard (2005). An Exploration of the Partial Respects in Which an Axiom System Recognizing Solely Addition as a Total Function Can Verify its Own Consistency. Journal of Symbolic Logic 70 (4):1171-1209.
Dan E. Willard (2002). How to Extend the Semantic Tableaux and Cut-Free Versions of the Second Incompleteness Theorem Almost to Robinson's Arithmetic Q. Journal of Symbolic Logic 67 (1):465-496.
Leszek Aleksander Kołodziejczyk (2006). On the Herbrand Notion of Consistency for Finitely Axiomatizable Fragments of Bounded Arithmetic Theories. Journal of Symbolic Logic 71 (2):624 - 638.
Laureano Luna & Alex Blum (2008). Arithmetic and Logic Incompleteness: The Link. The Reasoner 2 (3):6.
Panu Raatikainen (2005). On the Philosophical Relevance of Gödel's Incompleteness Theorems. Revue Internationale de Philosophie 59 (4):513-534.
Jeremy Avigad (2002). Update Procedures and the 1-Consistency of Arithmetic. Mathematical Logic Quarterly 48 (1):3-14.
Albert Visser (2012). The Second Incompleteness Theorem and Bounded Interpretations. Studia Logica 100 (1-2):399-418.
Added to index2010-08-24
Total downloads2 ( #246,545 of 739,352 )
Recent downloads (6 months)0
How can I increase my downloads?