2 ms·
Yeah, it's fundamentally a "if god can create anything, can he create a rock that he himself cannot lift?" kind of deal - a meaningless philosophical debate bec
by rf15 2y ago
Yeah, it's fundamentally a "if god can create anything, can he create a rock that he himself cannot lift?" kind of deal - a meaningless philosophical debate because the parameters were constructed to make the problem possible in the first place. An "intellectual trap", if you will.
Alternatively: We know that the earth is not perfectly flat, so why are our spherical cows not rolling off the meadow?
- influx 2y agoYour comment helped me get this: function HALT(program, input): # This is a "magic" function for our proof - we assume it exists for all programs # In reality, this function cannot exist because of the paradox we're about to create # Returns True if `program(input)` halts, False if it runs forever ... # Program D: Creates the paradox function D(self): if HALT(D, self) == True: loop_forever() else: halt()