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
Le Porno mis à nu
Les femmes dans le projet Nazi
La Ligne Bleue
Adolescents et criminels, comment ont-ils basculé ?