Here's a short movie by Martha Goddard. It features the logician Gödel... one of the most important mathematicians of the 20th century. The title: "Gödel, incomplete." Gödel's most famous results were his "incompleteness" theorems. These theorems demonstrated limits of formal systems. At the same time, Gödel himself, as a person, is incomplete, and defined not only by what he is, but by what he is not... by his empty spaces, his desires. Which include love.