ABSTRACT

This chapter is, for the most part, an introductory, informal exposition of the interrelations between attractors of dynamical systems, chaotic dynamics, algorithms, Gödel's Theorem, Chaitin's Theorem, and the notion of truth versus proof. Examination of the interconnections among these topical themes leads to a strong case in support of the conjecture that Chaitin's Theorem ⇒ chaos ⇒ Gödel's Theorem. These themes are then tied together by relating their overall message to the basic issue of the ability of modern science to predict and/or explain natural and human phenomena.