Abstract
Stephen Cole Kleene (1909–1994) was an American logician, well-known for his fundamental work in various fields of theoretical computer science, such as formal language theory, automata theory and recursion theory. The letter to Kleene reproduced in this chapter shows Popper’s continued interest in Boolean algebra. In that letter Popper claims to have found a proof of a theorem in Boolean algebra that contradicts propositions which are widely believed to be true; similar letters were sent to various other researchers. A typescript entitled “The Distributivity of Lattices with Unique Complements” was enclosed, but the alleged proof contains an error. As mentioned in the Preface, Popper’s work on Boolean algebra is outside the scope of this edition. This episode, part of a larger critical examination of the logic of quantum mechanics, is discussed more fully in an article by ( Del Santo, F. (2020). An Unpublished Debate Brought to Light: Karl Popper’s Enterprise against the Logic of Quantum Mechanics. In: Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 70, pp. 65–78.).
Chapter PDF
Similar content being viewed by others
References
Birkhoff, G. (1948). Lattice Theory. 2nd ed. New York: American Mathematical Society.
Del Santo, F. (2020). An Unpublished Debate Brought to Light: Karl Popper’s Enterprise against the Logic of Quantum Mechanics. In: Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 70, pp. 65–78.
Dilworth, R. P. (1945). Lattices with Unique Complements. In: Transactions of theAmerican Mathematical Society 57 (1), pp. 123–154.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (http://creativecommons.org/licenses/by-nc-nd/4.0/), which permits any noncommercial use, sharing, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if you modified the licensed material. You do not have permission under this license to share adapted material derived from this chapter or parts of it.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2022 The Author(s)
About this chapter
Cite this chapter
Popper, K.R., Kleene, S.C. (2022). Popper’s Correspondence with Stephen Cole Kleene. In: Binder, D., Piecha, T., Schroeder-Heister, P. (eds) The Logical Writings of Karl Popper. Trends in Logic, vol 58. Springer, Cham. https://doi.org/10.1007/978-3-030-94926-6_28
Download citation
DOI: https://doi.org/10.1007/978-3-030-94926-6_28
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-94925-9
Online ISBN: 978-3-030-94926-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)