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
Follow Satoshi's original vision by switching to XT https://bitcoinxt.software
. The recent anti-XT email from 'Satoshi' was fake.
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.