Translator Disclaimer
September 2013 On formalism freeness: Implementing Gödel's 1946 Princeton bicentennial lecture
Juliette Kennedy
Bull. Symbolic Logic 19(3): 351-393 (September 2013). DOI: 10.2178/bsl.1903030

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.

Citation

Download Citation

Juliette Kennedy. "On formalism freeness: Implementing Gödel's 1946 Princeton bicentennial lecture." Bull. Symbolic Logic 19 (3) 351 - 393, September 2013. https://doi.org/10.2178/bsl.1903030

Information

Published: September 2013
First available in Project Euclid: 6 January 2014

zbMATH: 1348.03008
MathSciNet: MR3134897
Digital Object Identifier: 10.2178/bsl.1903030

Rights: Copyright © 2013 Association for Symbolic Logic

JOURNAL ARTICLE
43 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.19 • No. 3 • September 2013
Back to Top