An Open Formalism against Incompleteness
Notre Dame Journal of Formal Logic 40 (2):207-226 (1999)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesDan 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.
Juliette Kennedy (2009). Gödel's Modernism: On Set Theoretic Incompleteness, Revisited. In Sten Lindström, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.), Logicism, Intuitionism and Formalism: What has become of them? Springer.
Alexander Bochman (1998). Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness. Notre Dame Journal of Formal Logic 39 (1):47-73.
Carlo Cellucci (1993). From Closed to Open Systems. In J. Czermak (ed.), Philosophy of Mathematics, pp. 206-220. Hölder-Pichler-Tempsky.
Carlo Cellucci (1992). Gödel's Incompleteness Theorem and the Philosophy of Open Systems. In Daniel Miéville (ed.), Kurt Gödel: Actes du Colloque, Neuchâtel 13-14 Juin 1991, pp. 103-127. Travaux de logique N. 7, Université de Neuchâtel.
Laureano Luna & Alex Blum (2008). Arithmetic and Logic Incompleteness: The Link. The Reasoner 2 (3):6.
Scott Hotton & Jeff Yoshimi (2011). Extending Dynamical Systems Theory to Model Embodied Cognition. Cognitive Science 35 (3):444-479.
Nick Zangwill (1999). Feasible Aesthetic Formalism. Noûs 33 (4):610-629.
Cristian S. Calude (2002). Incompleteness, Complexity, Randomness and Beyond. Minds and Machines 12 (4):503-517.
Nick Zangwill (2005). In Defence of Extreme Formalism About Inorganic Nature: Reply to Parsons. British Journal of Aesthetics 45 (2):185-191.
Glen Hoffmann (2007). The Semantic Theory of Truth: Field's Incompleteness Objection. Philosophia 35 (2):161-170.
Raymond M. Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads1 ( #274,982 of 549,130 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
