
Computability And Incompleteness
Published on 2009-04-0119992 Views
In these lectures we cover the following topics: Computability and Recursive Functions, Proof that exactly the partial recursive functions are computable, Gödel’s Incompleteness Theorems, Löb's Theore