Матеріалознавчі аспекти застосування часткової компенсації неповноти формальної аксіоматики

Автор(и)

  • V. I. Bolshakov Придніпровська державна академія будівництва та архітектури., Україна https://orcid.org/0000-0003-0790-6473
  • V. Volchuk Придніпровська державна академія будівництва та архітектури., Україна https://orcid.org/0000-0001-8717-6786
  • Yu. Dubrov Придніпровська державна академія будівництва та архітектури, Дніпропетровськ., Україна https://orcid.org/0000-0002-2537-4389

Ключові слова:

теорема Геделя, структура металу, теорія фракталів, твердість, чавун

Анотація

У теоремі Геделя про неповноту доведено, що в теоріях, які конструюються на підставі формальної аксіоматики, значення вихідних термінів та їх інтерпретації є неповними, що обумовлено мовною неповнотою тверджень.

Тому, поширюючи висновки з цієї теореми на інтерпретацію твердження, що визначає, наприклад, те чи інше чисельне значення якості будь-якого металу, приймаємо, що це твердження неповне. Ця неповнота може бути представлена неповнотою конструктивних особливостей формальної аксіоматики структури (макрорівень) та неповнотою формальної аксіоматики на мікрорівні. Формальна аксіоматика конструктивних елементів структури металу очевидна і не потребує додаткових роз'яснень. Внаслідок цього, при існуючій в матеріалознавстві великій кількості праць, спрямованих на визначення якості металу, заснованих на  аналізі його структури, в силу обчислювальної невизначеності результатів цього аналізу якість металу найчастіше визначають  на підставі статистики або аналізу передісторії його отримання.

Для того, щоб вийти за рамки спочатку обраної мови, але в той же час не відірватися від реальної ситуації, С.Бір рекомендував прив'язатися до такої властивості системи, яка нерозривно пов'язана з її дійсним існуванням.

Для часткової компенсації неповноти формальної аксіоматики структури металу застосовується мова ще більш високого рівня. З нашої точки зору, такою мовою є мова фрактальної апроксимації структури металу. Цей вибір заснований на тому, що величезна кількість реальних фізичних систем має (у відповідних діапазонах масштабів) фрактальну природу, яка характеризується дробовою розмірністю. Поняття фрактала практично пов'язано як з характеристикою структури металу, так і з фізичними характеристиками виробів, що з нього виготовляються: з шорсткою поверхнею,  об'ємом, густиною тощо.

Отримані результати свідчать, що характеристики якості металу, обчислені з урахуванням фрактальних розмірностей його структури, економічно доцільно застосовувати, мінімізуючи число натурних випробувань.

Біографії авторів

V. I. Bolshakov, Придніпровська державна академія будівництва та архітектури.

Кафедра матеріалознавства та обробки матеріалів, доктор технічних наук, професор, ректор ПДАБА.

V. Volchuk, Придніпровська державна академія будівництва та архітектури.

Кафедра матеріалознавства та обробки матеріалів, кандидат технічних наук, доцент.

Yu. Dubrov, Придніпровська державна академія будівництва та архітектури, Дніпропетровськ.

Кафедра матеріалознавства та обробки матеріалів, доктор технічних наук, професор.

Посилання

Bir S. Kibernetika i upravleniye proizvodstvom [Cybernetics and production management]. Moscow, Nauka, 1963. 276 p. (in Russian). Available at: http://www.newlibrary.ru/book/bir_st_/kibernetika_i_upravlenie_proizvodstvom.htm

Bol'shakov V. I. Fraktaly v materialovedenii [Fractals in material science]. Dnepropetrovsk, PGASA, 2006. 253 p. (in Russian).

Bol'shakov Vad. I., Bolshakov V. I., Dubrov Yu. I. Pro nepovnotu formalnoyi aksiomatyky v zadachakh identyfikatsiyi struktury metalu [About incompleteness of formal axiomatic in problems of identification of metal structure]. Visnyk Natsionalnoi akademii nauk Ukrainy − Bulletin of the National Academy of Sciences of Ukraine. 2014, no. 4, pp. 55-59. (in Ukrainian). Available at: http://dspace.nbuv.gov.ua/handle/123456789/69367

Gulyayev A. P. Metallovedeniye [Metallurgical]. Moscow, Metallurgiya, 1986. 544 p. (in Russian).

Dubrov Yu. I. Uchet vliyaniya neupravlyayemykh faktorov pri analize i sinteze kriteriya funktsionirovaniya slozhnykh sistem [Record for the effects of uncontrollable factors in the analysis and synthesis of criteria for the op- eration of complex systems]. Ekonomika i matematicheskie metody − Economics and Mathematical Methods. 1986, no. 1, pp. 165-170. (in Russian).

Klini S. K. Vvedeniye v matematiku [Introduction to Mathematics]. Moscow, IL, 1957. 527 p. (in Russian). Available at: http://lib.mexmat.ru/books/1407

Saltykov S. A. Stereometricheskaya metallografiya [Stereometric metallography]. Moscow, Metallurgiya, 1976. 270 p. (in Russian).

Sinay Ya. G. Sluchaynost' nesluchaynogo [Chance of non - random]. Priroda. 1981, no .3, pp. 72-80. (in Russian).

Ivanova V. S., Balankin A.S., Bunin A. Zn. Sinergetika i fraktaly v materialovedenii [Synergy and fractals in mate- rial science]. Moscow, Nauka, 1994. 383 p. (in Russian).

Uspenskiy V. A. Teorema Godelya o nepolnote [Gödel's incompleteness theorem]. Moscow, Nauka, 1982. 110 p. (in Russian). Available at: http://www.razym.ru/.

Mandelbrot B. B. The Fractal Geometry of Nature. Nev-Yuork, San Francisco, Freeman, 1982. 480 p.

##submission.downloads##

Номер

Розділ

Наукові дослідження