Heng Cao, Haifeng Xi, et al.
WSC 2003
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.
Heng Cao, Haifeng Xi, et al.
WSC 2003
Ehud Altman, Kenneth R. Brown, et al.
PRX Quantum
Zhengxin Zhang, Ziv Goldfeld, et al.
Foundations of Computational Mathematics
Peter Wendt
Electronic Imaging: Advanced Devices and Systems 1990