Abstract
In the preceding chapters we saw a definite Best Practice of Informatics: the consistently executed inductive approach, leading from the inductive definition of the objects of study and the formulation of properties we wish to prove about such objects to the concluding proofs that all such objects have these properties. Any deviation from this best practice should be carefully justified. In these concluding sections, we want to discuss the potential as well as the limitations of this best practice of inductive approaches from the point of view of Informatics and its corresponding pragmatics.
God made the integers. Everything else is the work of man.
(Leopold Kronecker)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Steffen, B., Rüthing, O., Huth, M. (2018). Inductive Approach: Potential, Limitations, and Pragmatics. In: Mathematical Foundations of Advanced Informatics. Springer, Cham. https://doi.org/10.1007/978-3-319-68397-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-68397-3_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-68396-6
Online ISBN: 978-3-319-68397-3
eBook Packages: Computer ScienceComputer Science (R0)