[math-fun] George Boole's 200th BDay Nov 2nd

Celebrate Boole's Birthday with "(I Can't Get No) Satisfaction",* which conjectured that 3SAT is NP-Complete. ;-) http://georgeboole.com/ * (in polynomial time) Curiously, Boole's donation website won't take Bitcoin: https://community.ucc.ie/donation-euro-page---george-boole-200 Are there any digital currencies that solve satisfiability problems for their proof-of-work? (Boole-coin ?)