spin kuroki

Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete.

Benedict XVI: internet can promote the search for truth (via vatican)

The Pope now has a YouTube channel. That is all.