plutooo

6 ms·

1.
by plutooo 11y ago
"There is no such thing as absolute truth." Isn't that an absolute truth?
2.
by plutooo 11y ago
No, but why is that a problem?
3.
by plutooo 11y ago
Exactly. What are axioms and what are rules of inference ends up being a distinction without a difference.
4.
by plutooo 11y ago
Still, "axiom of choice is a theorem in intuitionistic logic" is absolutely true whether or not you accept intuitionistic logic.
5.
by plutooo 11y ago
No, I'm saying the meaning behind statements are different. On some architectures, an int is 16-bit, on others 32-bit. Anyway, this analogy was pushed too far a long time ago.
6.
by plutooo 11y ago
But I'm saying if you evaluate the axiom symbols two different ways, it's two different axioms.
7.
by plutooo 11y ago
If you have different rules, you have a different object and the meaning of the axiom is different. Even if it is written using the same symbols. To continue the compiler analogy.. Just because the ASCII sequence "int c=0;" means
8.
by plutooo 11y ago
You can't have the same axioms with different rules of inference. The rules of inference are axioms. By the axioms being the same, you mean the ink-shapes making up the symbols on a piece of paper being the same. Not the actual meaning
9.
by plutooo 11y ago
"Formal mathematics has no concept of absolute truth" This is false. The axioms don't have to be true. You can still talk about their implications in absolute terms. "Assuming a=0 implies a=0" is absolutely true. Re
10.
by plutooo 11y ago
Omega is an amazing number. We know it has a digit in its binary expansion that is 0 or 1, yet it is impossible to formulate why. It is impossible to come up with a train of thought that explains it. There is no explanation that can be writ
11.
by plutooo 11y ago
Where is this social contract? What are its terms and where is my signature?
12.
by plutooo 11y ago
From http://taler.net/governments > Thus, Taler will enable competition and avoid the monopolization of payment systems that threatens global political and financial stability today. The irony.
13.
by plutooo 11y ago
But what is capital but investment in the long term?
14.
by plutooo 11y ago
So, the problem is not enough capitalism? ;)
15.
by plutooo 11y ago
Remember that capitalism works in favor of big numbers. 1 person has to earn as much as 1000 people in order to have the same power as them. So while your point still stands, if you have a decent middle-class then it will be much more power
16.
by plutooo 11y ago
It's a faulty analogy. In fact, a paperclip maximizer goes against every single principle of capitalism out there. The paperclip maximizer is bad exactly because it isn't based on capitalism; it will maximize paperclips regardless
17.
by plutooo 12y ago
tox does not attempt to hide your ip. Every single friend you have added has your ip. This is by design.