4 ms·
It's interesting that contradiction, that is inconsistency, is a hint that a mathematical system does not model something in reality, because we don't want to b
by undershirt 10y ago
It's interesting that contradiction, that is inconsistency, is a hint that a mathematical system does not model something in reality, because we don't want to believe such a thing can exist. But it is about as hard to work out the kinks of inconsistency from of a mathematical model as it is from ideology, law, ethics, and other such systems that we construct to guide our behavior. So I would say that METAmathematics has a lot to say about us and our ability to construct consistent systems-- it's really hard.
Freedom is one such example since it cannot belong to everyone when competing interests are at play. That might be a strange way to slice it though, since the language we use to describe freedom is probably not as well defined as we think.
- stcredzero 10y agothe language we use to describe freedom is probably not as well defined as we think Your basically saying the statement is bunk, and we shouldn't live our lives by it or treat it as on oracle. Basically, when power is more distributed, lives are better for more people. https://www.youtube.com/watch?v=rStL7niR7gs https://www.youtube.com/watch?v=rStL7niR7gs Trying to come up with a philosophy of freedom with the integrity of set theory is probably just mental masturbation. I don't think you need mathematical precision with things like that, any more than you need mathematical precision in defining geological strata.