Abstract
This chapter presents a lesser-known limitation of first-order logic. Lipton had the experience of sitting on a potential breakthrough in complexity theory if only he could encode a certain construction in first-order logic. He approached Buss, who used his background in bounded logic to recognize it as a known impossibility.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Lipton, R.J., Regan, K.W. (2013). Sam Buss: Bounded Logic. In: People, Problems, and Proofs. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41422-0_34
Download citation
DOI: https://doi.org/10.1007/978-3-642-41422-0_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41421-3
Online ISBN: 978-3-642-41422-0
eBook Packages: Computer ScienceComputer Science (R0)