« When do I get my talkshow? | Main | Happy Valentine's Day »
February 09, 2005
Studying for Theory of Computation
So... sometime around midnight last night.... I couldn't help but wonder.... is there a Turing Machine that can compute the existence of God? Surely, this question had to be on Hilbert's list. This question plagued me most of the night.... what if we could just solve this dispute once and for all with a few little computations...
The best part of this exploration into the existential is this realization:
If x is an element of the langugae L <=> { yes, if God exists; no, if God does not exist } This is a decidable language.
Oh Alan Turing... what have you done to me?
Posted by trina at February 9, 2005 01:53 PM
Comments
Hee hee hee. :o) I think you're obsessed with your new job.
Posted by: alpha at February 9, 2005 03:41 PM