Responses to “theoretical mathematics: Toward a cultural synthesis of mathematics and theoretical physics” by A. Jaffe and F. Quinn

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.