Abstract
It is known that often, after it is proven that a new statement is equivalent to the original definition, this new statement becomes the accepted new definition of the same notion. In this paper, we provide a natural explanation for this empirical phenomenon.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Reference
A.V. Borovik, Shadows of the Truth: Metamathematics of Elementary Mathematics (AMS, Providence, RI, 2022)
Acknowledgements
This work was supported in part by the National Science Foundation grants 1623190 (A Model of Change for Preparing a New Generation for Professional Practice in Computer Science), and HRD-1834620 and HRD-2034030 (CAHSI Includes), and by the AT&T Fellowship in Information Technology.
It was also supported by the program of the development of the Scientific-Educational Mathematical Center of Volga Federal District No. 075-02-2020-1478, and by a grant from the Hungarian National Research, Development and Innovation Office (NRDI).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Kosheleva, O., Kreinovich, V. (2023). Really Good Theorems Are Those That End Their Life as Definitions: Why. In: Ceberio, M., Kreinovich, V. (eds) Uncertainty, Constraints, and Decision Making. Studies in Systems, Decision and Control, vol 484. Springer, Cham. https://doi.org/10.1007/978-3-031-36394-8_34
Download citation
DOI: https://doi.org/10.1007/978-3-031-36394-8_34
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-36393-1
Online ISBN: 978-3-031-36394-8
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)