Switch to: References

Add citations

You must login to add citations.
  1. Gödel’s Incompleteness Phenomenon—Computationally.Saeed Salehi - 2014 - Philosophia Scientae 18:23-37.
    We argue that Gödel's completeness theorem is equivalent to completability of consistent theories, and Gödel's incompleteness theorem is equivalent to the fact that this completion is not constructive, in the sense that there are some consistent and recursively enumerable theories which cannot be extended to any complete and consistent and recursively enumerable theory. Though any consistent and decidable theory can be extended to a complete and consistent and decidable theory. Thus deduction and consistency are not decidable in logic, and an (...)
    Export citation