I just had to make a shameless repost of an article, specifically for those who, like me, have philosophical questions about math, science, and the nature of reality. It's an article that I read earlier today about computational theory and whether the laws of nature will every be proven to be computable.

This links in strongly with other posts that I have done about omniscience and supersets of the real numbers.

http://cacm.acm.org/magazines/2012/3/146259-turings-titanic-machine/fulltext

Enjoy!