Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
sav08:undecidability_of_first-order_logic [2008/04/03 11:30] vkuncak |
sav08:undecidability_of_first-order_logic [2008/04/03 13:53] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Undecidabilityy of First-Order Logic ====== | + | ====== Undecidability of First-Order Logic ====== |
| ===== Background ===== | ===== Background ===== | ||
| Line 7: | Line 7: | ||
| ===== Result ===== | ===== Result ===== | ||
| - | [[Undecidability of First-Order Logic]] | + | [[First-Order Logic is Undecidable]] |
| ===== Consequences ===== | ===== Consequences ===== | ||
| [[Complete Recursive Axiomatizations]] | [[Complete Recursive Axiomatizations]] | ||
| - | |||
| - | [[Goedel's Theorem]] | ||