This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document Winter '07
 Plummer,R
 Computer Science, Mathematical logic, Proof theory, Kurt Gödel, Gödel's incompleteness theorems, Godel, Godel number

Click to edit the document details