Abstract
I am much struck by the historical fact that in attempting to prove the (relative) consistency of analysis, Gödel was led to certain propositions undecidable in segments of set theory. He then brought the propositions into an elegant arithmetic form and, independently of this improvement, realized that his result also implied a negative reply to the initial problem of proving consistency (not only of analysis but even of number theory). For lack of a suitable term, I have chosen to call this phenomenon “problem transmutation,” by which I mean to cover an indefinite and wide range of related phenomena.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Birkhäuser Boston
About this chapter
Cite this chapter
Wang, H. (2008). Gödel’s and Some Other Examples of Problem Transmutation. In: Drucker, T. (eds) Perspectives on the History of Mathematical Logic. Birkhäuser Boston. https://doi.org/10.1007/978-0-8176-4769-8_8
Download citation
DOI: https://doi.org/10.1007/978-0-8176-4769-8_8
Publisher Name: Birkhäuser Boston
Print ISBN: 978-0-8176-4768-1
Online ISBN: 978-0-8176-4769-8
eBook Packages: Springer Book Archive