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]] | ||