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 ...
(PhysOrg.com) -- Just over a century ago, one of the world’s leading mathematicians posed this question to a number of his colleagues: What are the most important unsolved questions in mathematics?