spin kuroki
Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete.
Archive
Feb
12th
Fri
Sketchpad
This
is really cool — a well-featured painting app that runs entirely on HTML5.
[Source]
