Gödel’s Incompleteness Phenomenon—Computationally
Work
Year: 2014
Type: article
Abstract: 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... more
Source: Philosophia Scientae
Author Saeed Salehi
Institution University of Tabriz
Cites: 22
Cited by: 4
Related to: 10
FWCI: 0.569
Citation percentile (by year/subfield): 64.97
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: green