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
Ruixiong Tian, Zhe Xiang, et al.
Qinghua Daxue Xuebao/Journal of Tsinghua University
Salvatore Certo, Anh Pham, et al.
Quantum Machine Intelligence
A. Skumanich
SPIE OE/LASE 1992