3 ms·
When I say "the value now depends" I mean the value you computed in that stronger theory is not computable in the weaker one, and therefore the computation depe
by lilyball 5y ago
When I say "the value now depends" I mean the value you computed in that stronger theory is not computable in the weaker one, and therefore the computation depends on the stronger theory, and therefore the value is only correct if the stronger theory is consistent.