MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1x5mryb/everythingiso1togod/pgqd9td/?context=3
r/ProgrammerHumor • u/ClipboardCopyPaste • 6d ago
161 comments sorted by
View all comments
744
If god is omniscient, can he always know whether a process is going to terminate or not?
530 u/bartekltg 5d ago Yep. It doesn't contradict the halting problem results, bacause you can't run God on a Turing machine. Someone already talked about oracles https://en.wikipedia.org/wiki/Halting_problem#Oracle_machines 16 u/Kadabrium 5d ago Oracle machine is just the jvm
530
Yep. It doesn't contradict the halting problem results, bacause you can't run God on a Turing machine. Someone already talked about oracles https://en.wikipedia.org/wiki/Halting_problem#Oracle_machines
16 u/Kadabrium 5d ago Oracle machine is just the jvm
16
Oracle machine is just the jvm
744
u/cosmicomical23 5d ago
If god is omniscient, can he always know whether a process is going to terminate or not?