Around a hundred years ago, an age old philosophical question collided with modern mathematics and gave birth to computer ...