Abstract
In [1] Knuth presents an algorithm for converting a binary fraction to a decimal fraction that satisfies certain conditions. Knuth found the algorithm interesting not only because it was short and useful but because he could “see no way to demonstrate its correctness by conventional methods”. He hoped that “others with more experience in formal methods will agree that the algorithm is interesting and will help me figure out what I should have done.”.
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
Preview
Unable to display preview. Download preview PDF.
References
Donald E. Knuth. A simple program whose proof isn’t. In Beauty is our Business, chapter 27, Springer-Verlag, New York, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag New York, Inc.
About this chapter
Cite this chapter
Gries, D. (1990). Binary to Decimal, One More Time. In: Feijen, W.H.J., van Gasteren, A.J.M., Gries, D., Misra, J. (eds) Beauty Is Our Business. Texts and Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-4476-9_17
Download citation
DOI: https://doi.org/10.1007/978-1-4612-4476-9_17
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-8792-6
Online ISBN: 978-1-4612-4476-9
eBook Packages: Springer Book Archive