The Shackles of Conviction: A Novel about Kurt Gdel and his Incompleteness Theorem