Hello, all... My cousin is a post-doc in computer science. He is a Christian, specifically a Quaker. A while ago, he and I got into a discussion about atheism, religion, etc. He claims that the existence of the supernatural (he didn't go so far as to say "god" or "the Christian god") is provable. Here's what he had to say below...
You're going to have to do some serious reading here, but if you're actually interested in challenging your faith and embracing free thinking, here is where you should start:
"An Introduction to Formal Languages and Automata" by Peter Linz
Mizzou probably has it in their University book store. You need this to understand the fundamental limits of computation. Once you get this, I'd suggest the following shorter reads:
"An Unsolvable Problem of Elementary Number Theory" by Alonzo Church
"On computable numbers, with an application to the Entscheidungsproblem" by Alan Turing
You can find copies of these at the following locations for free:http://phil415.pbworks.com/f/Church.pdfhttp://www.math.uic.edu/~vladot/mcs441/turing36.pdf
Don't even attempt these until you understand Linz's book, however, as you lack the f...undamental background required at the moment.
Also, and probably better than jumping right into Church/Turing is to read
"Introductions to Automata Theory, Languages, and Computation" by Hopcroft, Ullman, etc (they add new authors each addition)
This also should be obtainable from Mizzou's bookstore and/or library. It's a pretty standard text book.
Chomsky's original paper on language models might also be helpful and can be found here:http://www.chomsky.info/articles/195609--.pdf
Once you finish this set, come back to me and we'll talk about how to link this with the concepts I'm talking about if it hasn't become apparent already. Turing connects a lot of it for you, but there are several other authors who build up...on it.
There is not, to my knowledge, an accessible to laymen guide to these concepts.
So I'm hoping that someone on here has read some of these titles/also has a degree in computer science and can help this layman try to figure out exactly what he's talking about and where he might be drawing his conclusions from so that I can actually try to competently refute him..