5 ms·
Hmm, you bring up an interesting point. Contradiction and proof by it are very powerful (proof by induction or contradiction being the two from classical logic
by cushpush 2y ago
Hmm, you bring up an interesting point. Contradiction and proof by it are very powerful (proof by induction or contradiction being the two from classical logic). IF we consider that fully centralized (100% centralized) or fully decentralized (evenly spread, even density) are the extremes then maybe we have an idea, and maybe the real terrain is somewhere in the middle, but now we're talking spring mechanics of decision making and rarefaction and compression of decisions. Maybe something closer to how expressivity behaves.