期刊名称：Vìsnik Pridnìprovsʹkoï Deržavnoï Akademìï Budìvnictva ta Arhìtekturi
印刷版ISSN：2312-2676
出版年度：2016
期号：6
页码：10-16
语种：English
出版社：Prydniprovs'ka State Academy of Civil Engineering and Architecture
摘要：The known theorem of Godel's incompleteness of formal axiomatic exhibited in the identification of an object,triggers the application of artificially created "tools" reducing this incompleteness.The use of statistics in the analysis of metal structure,suggests about the differences in the image of thin resisting intractable deterministic analysis,are the result of computational irreducibility,the results of the process of obtaining the metal.If the case of computational irreducibility,was not observed,the user would find much more accurate way to determine the connection between the metal structure with mechanical properties.S.Bir recommended use the principle of "external addition" based on the application for formulating statements of a higher level of language that should not be formulated in terms of the language used before for partial elimination of the incompleteness of formal axiomatic statements.The selected solutions,expressed with a higher level of language,called on to eliminate defects of the original language used.The use of the newly elected language,serves as a practical method aimed at partial overcoming of the difficulty is to be a consequence arising from Gödel's theorem.It is expected new language is not able to give an insoluble approval to the exact definition and you will need the use of higher-level languages for this.S.Bir recommended to go out the initially selected language,but at the same time not to break away from the real situation,it should be attached to such a property system inextricably linking to its real existence.Due to a permanently evolving science,it will be more high-level language with lapse of time and it will be formulated deductively complete axiom which can be applied to the analysis of the processes of self-organizing systems of any nature.
其他摘要：Известная теорема Гёделя о неполноте формальной аксиоматики,проявляющейся при идентификации того или иного объекта,инициирует применение исскуственно создаваемых “инструментов”,снижающих эту неполноту.Применение статистики при анализе структуры металла св
