Midnight Mathematicians - Incompleteness and Gödels incompleteness theorem