Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering
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.
Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering
Andrew Skumanich
SPIE Optics Quebec 1993
M. Tismenetsky
International Journal of Computer Mathematics
Elizabeth A. Sholler, Frederick M. Meyer, et al.
SPIE AeroSense 1997