From this proposition it will follow, when arithmetical addition has been defined, that 1+1=2.

—Principia Mathematica, Volume I, page 360.

A mathematical theory is not to be considered complete until you have made it so clear that you can explain it to the first man whom you meet on the street.

—David Hilbert

Perfection is when there is no longer anything more to take away.

—Antoine de Saint-Exupery

Set theory can be viewed as a form of exact theology.

—Rudy Rucker

We used to think that if we knew one, we knew two, because one and one are two. We are finding that we must learn a great deal more about 'and.'

—Sir Arthur Eddington

Quotes from homepage of Metamath Proof Explorer.


If it isn't axiomatic you probably shouldn't buy into it, because it likely isn't true, plain and simple.

Be careful out there.

[no]

Motocoin, the first proof-of-play coin, did a fork and soft-relaunch this weekend with new challenge parameters.  See more info on the main thread and a link to "in testing" binary builds here https://bitcointalk.org/index.php?topic=591724.msg8528350#msg8528350

Now the "warp attack" issues that had been brought up in the thread are both addressed, and some additional measures were taken to limit botting.  Right now there are no bots active (as it is quite a bit more difficult to mine with a bot, now) and difficulty is at minimum until block 180000.  We're on block 177313 right now, so there will likely never again be a better time to try human mining!

Without bots active we need as many humans as possible to be actively mining as much as possible in order to secure the network, particularly while the difficulty remains low.  As such, this is a call to action for anyone so inclined to do some MOTO mining ASAP!

Thank you in advance for your participation,
HMC