John R. Kender, Rick Kjeldsen
IEEE Transactions on Pattern Analysis and Machine Intelligence
It is argued that the information-theoretic incompleteness theorems of algorithmic information theory provide a certain amount of support for what Jaffe and Quinn call “theoretical mathematics”. © 1994 American Mathematical Society.
John R. Kender, Rick Kjeldsen
IEEE Transactions on Pattern Analysis and Machine Intelligence
Leo Liberti, James Ostrowski
Journal of Global Optimization
Kenneth L. Clarkson, K. Georg Hampel, et al.
VTC Spring 2007
Matthew A Grayson
Journal of Complexity