J.P. Locquet, J. Perret, et al.
SPIE Optical Science, Engineering, and Instrumentation 1998
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.
J.P. Locquet, J. Perret, et al.
SPIE Optical Science, Engineering, and Instrumentation 1998
Ziv Bar-Yossef, T.S. Jayram, et al.
Journal of Computer and System Sciences
Harpreet S. Sawhney
IS&T/SPIE Electronic Imaging 1994
Trang H. Tran, Lam Nguyen, et al.
INFORMS 2022