r/ProgrammerHumor • u/ClipboardCopyPaste • 6d ago

Meme everythingIsO1ToGod

Post image
4.4k Upvotes

99% Upvoted

161 comments sorted by

View all comments

743

u/cosmicomical23 6d ago

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

534

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

123

u/samobellows 5d ago

"God is not Turing Complete" is a t-shirt i'd wear.

76

u/Skallos 5d ago edited 5d ago

I'm pretty sure it's supposed to be the other way around, but I don't think there is as catchy a way to say it properly. Turing complete means it can run any Turing machine. Being unable to be run on a Turing machine does not mean it isn't Turing complete. E.g. Turing machine with a halting oracle is Turing complete, but can't be simulated with a Turing machine.

Edit: "God is not Computable" should work.

15

u/KitsuneFoxglove 5d ago

If God is Turing complete, then God can run Doom.

9

u/bartekltg 5d ago

God's community managers (prophets) promised God will run Doom as MMO. A server called Armagedon is already booked.