On formalism freeness: Implementing gödel's 1946 princeton bicentennial lecture

Association for Symbolic Logic: The Bulletin of Symbolic Logic 19 (3) (2013)
  Copy   BIBTEX

Abstract

In this paper we isolate a notion that we call "formalism freeness" from Gödel's 1946 Princeton Bicentennial Lecture, which asks for a transfer of the Turing analysis of computability to the cases of definability and provability We suggest an implementation of Gödel's idea in the case of definability, via versions of the constructible hierarchy based on fragments of second order logic. We also trace the notion of formalism freeness in the very wide context of developments in mathematical logic in the 20th century.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Remarks before the Princeton Bicentennial Conference on Problems in Mathematics.Kurt Gödel - 1946 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Kurt Gödel: Collected Works Vol. Ii. Oxford University Press. pp. 150--153.
Gödel’s Incompleteness Theorems and Physics.Newton C. A. Da Costa - 2011 - Principia: An International Journal of Epistemology 15 (3):453-459.
On Gödel's awareness of Skolem's Helsinki lecture.Mark van Atten - 2005 - History and Philosophy of Logic 26 (4):321-326.
Gödel's Introduction to Logic in 1939.P. Cassou-Nogues - 2009 - History and Philosophy of Logic 30 (1):69-90.
Gödel's Modernism: On Set Theoretic Incompleteness, Revisited.Juliette Kennedy - 2009 - In Sten Lindström, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.), Logicism, Intuitionism and Formalism: What has become of them? Springer.
Residuation, structural rules and context freeness.Gerhard Jäger - 2004 - Journal of Logic, Language and Information 13 (1):47-59.
Godel on computability.W. Sieg - 2006 - Philosophia Mathematica 14 (2):189-207.
Unification of mathematical theories.Krzysztof Wójtowicz - 1998 - Foundations of Science 3 (2):207-229.
Λ-terms, logic, determiners and quantifiers.Fairouz Kamareddine - 1992 - Journal of Logic, Language and Information 1 (1):79-103.

Analytics

Added to PP
2013-11-23

Downloads
31 (#445,254)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Juliette Kennedy
University of Helsinki

References found in this work

No references found.

Add more references