Viewing profile — plutooo

"There is no such thing as absolute truth." Isn't that an absolute truth?

No, but why is that a problem?

Exactly. What are axioms and what are rules of inference ends up being a distinction without a difference.

Still, "axiom of choice is a theorem in intuitionistic logic" is absolutely true whether or not you accept intuitionistic logic.

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.

But I'm saying if you evaluate the axiom symbols two different ways, it's two different axioms.

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..…

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 …

"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 …

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 though…

Where is this social contract? What are its terms and where is my signature?

From http://taler.net/governments > Thus, Taler will enable competition and avoid the monopolization of payment systems that threatens global political and financial stability toda…

But what is capital but investment in the long term?

So, the problem is not enough capitalism? ;)

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 yo…

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 …

tox does not attempt to hide your ip. Every single friend you have added has your ip. This is by design. So make sure you trust your friends..

tox does not attempt to hide your ip. Every single friend you have added has your ip. This is by design.