Differences
This shows you the differences between two versions of the page.
Next revision Both sides next revision | |||
sav08:undecidability_of_first-order_logic [2008/04/02 17:02] vkuncak created |
sav08:undecidability_of_first-order_logic [2008/04/03 11:30] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Undecidabilityy of First-Order Logic ====== | ====== Undecidabilityy of First-Order Logic ====== | ||
+ | |||
+ | ===== Background ===== | ||
[[Turing Machines]] | [[Turing Machines]] | ||
- | [[Halting Problem]] - diagonalization in finite case | + | ===== Result ===== |
- | [[Turing-Completeness of 2-counter Machines]] | + | [[Undecidability of First-Order Logic]] |
- | [[Undecidability of Tiling]] | + | ===== Consequences ===== |
[[Complete Recursive Axiomatizations]] | [[Complete Recursive Axiomatizations]] |