spin kuroki

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

Bing Maps Wows 'Em At TED2010

Shared by Yuliy
Google has some major competition.

theodp writes “In an eye-candy filled presentation that earned him a standing-O at TED2010, Blaise Aguera y Arcas demos augmented-reality mapping…