[undersuit]

Why isn't it? It just hides time passage. Oh no the computer gets a higher score... but it's not playing Tetris, the high score doesn't matter.

For instance: "For instance, if the agent emulates a semihard drop with a finite number of soft drops, then it will let a gravity drop serve as the final soft drop. "

[woodrowbarlow]

it's math: no amount of soft-drops (or gravity drops) can bring a block from row infinity to row x. subtracting one from infinity is fruitless.

[undersuit]

And you can't have an infinite tape, but no one is out there saying the Turing Machine is fake.

Consider this. Our physical implementations of turing machines work even though we don't have an infinite memory. We do encounter some limitations because of such.

The Tetrino also works. You can create it and run it on a finite board. It would be limited just at our physical machines are limited without access to infinite memory.

[woodrowbarlow]

i'm not saying it's impossible to model an infinite board using software (that's quite possible). i'm saying that if it's possible to soft-drop a block to an arbitrary row, then the model of infinity is faulty and inconsistent. and, unfortunately, both the infinite board and the soft-drop are required fundamental underpinnings of the proposed mechanism for computation.

[undersuit]

And I'm saying you don't need a board to be infinite to do work, you just need a board to be infinite to compute all work. Just like you need infinite tape for a Turing Machine to be able to compute all work.