An Introduction to Gödel's Theorems: Turing machines and recursiveness