Added homework, Ackerman function proofs, changed Goedel theorem