Mathgate is a website for learning logic and mathematics through formal proofs.
December 10, 2014
October 3, 2014
September 27, 2014
September 20, 2014
September 13, 2014
September 6, 2014
Proving Your First Theorems
(a video for theorem proving beginners)
August 30, 2014
August 23, 2014
August 16, 2014
Put your message here with CLAMspeech
The developers of this pretender-Bitcoin claim to be following my original vision, but nothing could be further from the truth.
Bitcoin was designed to be protected from ... charismatic leaders, even if their name is Gavin Andresen, Barack Obama, or Satoshi Nakamoto.
By doing a fork in this way, these developers are violating the "original vision" they claim to honour.
If two developers can ... succeed in redefining what "Bitcoin" is ... then I will have no choice but to declare Bitcoin a failed project.