LARA This is an old revision of the document! Undecidabilityy of First-Order Logic Turing Machines Halting Problem - diagonalization in finite case Turing-Completeness of 2-counter Machines Undecidability of Tiling Complete Recursive Axiomatizations Goedel's Theorem