pi

For any finite sequence of numbers, that sequence can be found in the decimal extension of pi. True or false.

>>30
I want to believe! I want to believe that within Pi this whole thread is encoded in lisp.

I want to believe that the digits of certain approximations to Chaitin's constants are embedded so that we can solve outstanding problems just by enumerating digits.