[fire_lake]

> Agreed. If someone believes the world is purely mechanistic, then it follows that a sufficiently large computing machine can model the world---like Leibniz's Ratiocinator.

I don’t think it does. Taking computers as an analogy… if you have a computer with 1GB memory, then you can’t simulate a computer with more than 1GB memory inside of it.

[exprofmaddy]

"sufficiently large machine" ... It's a thought experiment. Leibniz didn't have a computer, but he still imagined it.

[fire_lake]

But this machine (even a tremendously large one) will have to operate in our reality and therefore can’t be “bigger” than it.