James Lee Hafner
Journal of Number Theory
Paper
Responses to “theoretical mathematics: Toward a cultural synthesis of mathematics and theoretical physics” by A. Jaffe and F. Quinn
Abstract
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.
Related
Leo Liberti, James Ostrowski
Journal of Global Optimization
Naga Ayachitula, Melissa Buco, et al.
SCC 2007
John R. Kender, Rick Kjeldsen
IEEE Transactions on Pattern Analysis and Machine Intelligence