Still confused. The argument goes: we can only assess the truth of statements through computing, computing requires control over some resources (e.g., you can’t have somebody come in and flip some bits randomly, or else your computation might be flawed), thus any use of logic requires control of resources because they are finite, hence private property?
Doesn’t the first step conflate verification of truth with truth?