Quote from: BitProdigy on August 23, 2015, 03:43:31 AM

Quote from: Krona Rev on August 22, 2015, 08:51:48 AM

Your modified version of my axiom was: "Bitcoin XT does not allow running behind Tor."

You are now saying (bold above) you "agree" with this axiom. (I think you mean you believe the axiom is true, since I never introduced the statement or suggested it was true.) However, it's also clear from your previous posts that you clearly don't believe "Bitcoin XT does not allow running behind Tor." Is it possible you're confused about what you're really trying to say?

To clarify:

IF: Bitcoin XT eliminated the ability to run behind Tor

THEN: It would follow that Bitcoin XT should be opposed.

BUT: Since Bitcoin XT still allows for the ability to run behind Tor

THEN: Bitcoin XT should not be opposed.

The conclusion "bitcoin XT should be opposed" does not follow from your axioms sir. Are we clear now?

Thanks for the clarification. Reading the relevant portions of your comments again, I can see this interpretation, so I'm willing to just accept that I misunderstood. It would've been clearer to me if you'd asked me to flesh out the argument if you didn't accept there is such an argument. Here's the closest thing to an actual argument I gave:

Quote from: Krona Rev on August 21, 2015, 11:21:40 AM

Often I've seen the argument that Bitcoin should be censorship-resistant way for individuals to control their finances free from government control. We could take this as an axiom. Another axiom could be that for a cryptocurrency to remain censorship-resistant it is vital that it can be safely run behind Tor. Finally, we could add an axiom that states that some of the new code in Bitcoin XT makes it difficult to run Bitcoin XT safely behind Tor. With axioms like these, and possibly some more, we could chain together a logical argument ending with "XT should be opposed." I'll flesh out the details of the argument upon demand.

It was a long post and maybe it wasn't clear that I didn't actually make the argument. I claimed I could make one that gives the conclusion from axioms like the ones I gave (and maybe other axioms). I'm still willing to do it at some point. (I don't have time today.) I like to do different kinds of Coq developments to keep in practice.