Summary
Imagine a world where a machine could calculate true and false... Failing that, Church, Herbrand, Gödel and Turing each tried in their own way to determine whether an algorithm could decide whether or not a mathematical assertion could be proved. The Entscheidungsproblem, the decision problem that rocked maths and, in the process, laid the foundations of computer science.
In Real Life
Oh My Ghosts! Horror stories of Asian ghosts
A Musée vous, à musée moi
Cam Gaze - À la recherche des premières "camgirls"
DJ Mehdi: Made in France
The Moon and Us
Chroniques végétales
Légionnaires - Missions de combat
Louves
La face cachée de l'industrie alimentaire