Robert F. Gordon, Edward A. MacNair, et al.
WSC 1985
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.
Robert F. Gordon, Edward A. MacNair, et al.
WSC 1985
John R. Kender, Rick Kjeldsen
IEEE Transactions on Pattern Analysis and Machine Intelligence
James Lee Hafner
Journal of Number Theory
Fausto Bernardini, Holly Rushmeier
Proceedings of SPIE - The International Society for Optical Engineering