Про неповноту формальної аксіоматики в задачах ідентифікації структури металу
DOI:
https://doi.org/10.15407/visn2014.04.055Ключові слова:
самоорганізація, теорема Геделя, обчислювальна незвідність, відкриті системи, принцип БіраАнотація
Уперше використано теорему Геделя про неповноту в ідентифікації структури сталі. Для часткового усунення неповноти твердження про можливу самоорганізацію системи неживої природи, різновиду металів, застосовано принцип зовнішнього доповнення Біра.
Посилання
Bolshakov V., Dubrov Yu. Materials selforganization: scientific fact or phantom? Visn. Nac. Akad. Nauk Ukr. 2002. (10): 21-27. [in Ukrainian].
Bolshakov V., Dubrov Yu. Dopovidi NANU. 2004. (9): 97-104. [in Russian].
Sokolov T.N. Self-organizing systems. (Moscow: Mir, 1964). [in Russian].
Lerner M.J. (Ed.) The principles of self-organization. (Oxford: Pergamon, 1962).
Sadovskiy V.N., Yudin E.G. Research on general systems theory. (Moscow: Progress, 1969). [in Russian].
Pask G. In: The principles of self-organization. Lerner M.J. (Ed.). (Oxford: Pergamon, 1962).
Poston T., Stewart I. Catastrophe Theory and Its Applications. (London: Pitman, 1978).
Frik P.G. Turbulence: methods and approaches. (Perm, 1998). [in Russian].
Bol'shakov V.I., Dubrov Yu.I., Tkachenko A.N., Tkachenko V.A. Dopovidi NANU. 2006. (5): 100-103. [in Russian].
Wolfram S. A New Kind of Science. (Wolfram Media, 2002).
Lorenz E.N. Deterministic nonperiodic flow. J. Atmos. Sci. 20: 130–141. http://dx.doi.org/10.1175/1520-0469(1963)020<0130:DNF>2.0.CO;2
Kleene S.C. Introduction to Metamathematics. (New York: Van Nostrand, 1952).
Tarski A. Introduction to Logic and to the Methodology of Deductive Sciences. (Oxford University Press, 1941).
Beer A.S. Cybernetics and Management. (English Universities Press, 1959).
