Abstract
Twenty years ago I wrote the following:
Logic deals with what follows from what. ...The correctness of a piece ...does not depend on what the reasoning is about.
(Robinson, 1979, p. 1)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Robinson, J. A. Logic: Form and Function. North Holland, 1979.
Mac Lane, S. Mathematics: Form and Function. Springer, 1986.
Robinson, J. A. Natural and Artificial Reasoning. In Natural and Artificial Parallel Computation, MIT Press, 1990.
Frege, G. Begriffschrifft, a formula language, modeled upon that of arithmetic, for pure thought. In From Frege to Gödel, Harvard, 1967.
Lakatos, I. Proofs and Refutations. Cambridge University Press, 1976
Aigner, M. and Ziegler, G.M. Proofs from THE BOOK. Springer, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Robinson, J.A. (2000). Proof = Guarantee + Explanation. In: Hölldobler, S. (eds) Intellectics and Computational Logic. Applied Logic Series, vol 19. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9383-0_17
Download citation
DOI: https://doi.org/10.1007/978-94-015-9383-0_17
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5438-8
Online ISBN: 978-94-015-9383-0
eBook Packages: Springer Book Archive