L Auslander, E Feig, et al.
Advances in Applied Mathematics
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.
L Auslander, E Feig, et al.
Advances in Applied Mathematics
Ronen Feldman, Martin Charles Golumbic
Ann. Math. Artif. Intell.
Peter Wendt
Electronic Imaging: Advanced Devices and Systems 1990
Zhihua Xiong, Yixin Xu, et al.
International Journal of Modelling, Identification and Control