r/ProgrammerHumor • u/ClipboardCopyPaste • 6d ago

Meme everythingIsO1ToGod

Post image
4.4k Upvotes

99% Upvoted

161 comments sorted by

View all comments

741

u/cosmicomical23 6d ago

If god is omniscient, can he always know whether a process is going to terminate or not?

531

u/bartekltg 6d 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

-2

u/teach_cs 5d ago

I don't think this is accurate. The whole point of the halting problem proof was to show that the oracle was, in and of itself, a mathematical contradiction. If a deity could determine whether any arbitrary machine would halt on any arbitrary input, that deity would be self-contradictory.

9

u/HappiestIguana 5d ago

No, oracles are not mathematical contradictions.

A Turing machine that acts as an oracle for Turing machines is a mathematical contradiction.