\input zb-basic
\input zb-matheduc
\iteman{ZMATH 2015d.00478}
\itemau{Smith, Eric D.}
\itemti{G\"odel's incompleteness and consistency theorems elucidated with principles of abstraction levels, complementarity, and self-reference.}
\itemso{Philos. Math. Educ. J. 27, 25 p., electronic only (2013).}
\itemab
Summary: The question ``What is a system?" can be asked and answered differently, but the fact that the question refers to a whole -- called a system -- remains. While formal engineering design and modeling languages describe system parts, the practice of systems engineering results when there is reference to holistic systems, often via self-reference. Self-reference creates the possibility of circular, paradoxical reasoning where multiple outcomes can occur. Conceptual structuring by abstraction levels with complementarity clarifies paradoxes without resort to strict hierarchical decomposition that nullifies complexity. G\"odel's Incompleteness and Inconsistency Theorems prove truths about formal languages that have the ability of self-reference, elucidating analogous relations among: informal natural language statements about systems, systems, and formal languages that describe systems. The goal of this work is to foster cognizance in system descriptions.
\itemrv{~}
\itemcc{E30 E20}
\itemut{mathematics and philosophy; G\"odel's theorems; complicated systems; complexity; emergence; concept structuring; complementarity; dualistic principle; levels of abstraction; mathematical logic; expressive systems; self-reference; fractals; paradoxes; metamathematics; arithmetic; systems engineering; SysML modelling; incompleteness; inconsistency; syntactic; semantic; axiomatization; deductive}
\itemli{http://people.exeter.ac.uk/PErnest/pome27/Smith%20-%20Godels%20Incompleteness%20and%20Consistency%20Theorems.docx}
\end