Abstract Incompleteness Theorems and Their Influence in Methodology

Abstract

Gödel theorem of incompleteness and Chaitin theorem of incognizable are affecting many philosophical speculations and many branches of Western philosophy. Due to their importance it is reasonable to clarify whether they deal with one kind of precisely defined structures or with a wide class of such (and maybe not fully defined) structures. So we start with a popular outline of proof of their very common and abstract nature making them in essence basic and inevitable restrictions of precise thinking.