3 ms·
For that matter, all inconsistent structures ought to also "exist" — they're just indistinguishably boring, for inconsistency leads to triviality?
by 082349872349872 3y ago
For that matter, all inconsistent structures ought to also "exist" — they're just indistinguishably boring, for inconsistency leads to triviality?
- A_D_E_P_T 3y agoEverything that you can imagine, no matter how trivial, is a consistent notion that can be expressed mathematically as a true logical proposition. This includes an empty room, a Platonic solid, physical entropy, whatever. As Wittgenstein once noted, "logically consistent statements which are a priori true are possibilities which ensure their own truth." What stands in opposition to this? The logically nonsensical – the incomputable. This includes anything discrete that can't be simulated, even in principle. These things cannot exist even in an infinite mathematical universe; for everything in such a universe is emergent, but such things cannot emerge.