An ambiguous situation in which it is not possible to decide the truth of a proposition or to take a definite stand in a decision process.
J.van GIGCH writes: "Undecidability existing at one level of language can only be removed by the use of a metalanguage" (1990, p.128).
This is clearly a generalized consequence of GÖDEL's Incompleteness theorem, and is also reflected in A. CHURCH thesis according to which "decidability is equivalent to recursiveness, which is equivalent to computability" (as quoted by R. SCHOENFELD, 1949, p.88).
- 1) General information
- 2) Methodology or model
- 3) Epistemology, ontology and semantics
- 4) Human sciences
- 5) Discipline oriented
To cite this page, please use the following information:
Bertalanffy Center for the Study of Systems Science (2020). Title of the entry. In Charles François (Ed.), International Encyclopedia of Systems and Cybernetics (2). Retrieved from www.systemspedia.org/[full/url]
We thank the following partners for making the open access of this volume possible: