Offtopic, but even the world of 1's and 0's is subject to real-world constraints - learned in my 90s computer hardware class as I spent weeks in summer after semester debugging why my "basic 8-bit processor" kept crashing after only a few hours of uptime: faulty silicon that periodically read median-voltage differentials cascaded eventually into bad instructions.

The world of logic is built on the shifting ground of reality. Only redundancy and checksums keep it from crashing down in compounded errors.