Comment by exprofmaddy

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