Around a hundred years ago, an age old philosophical question collided with modern mathematics and gave birth to computer science. This video traces how the dream of mechanizing human knowledge moved ...