Gödel

A film about the greatest logician of the 20th century, Kurt Gödel, who discovered the incompleteness theorem for Peano's arithmetic.