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

• Datum: 2014
• Hauptverfasser: Большаков, Вад.І., Большаков, В.І., Волчук, В.М., Дубров, Ю.І.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: Видавничий дім "Академперіодика" НАН України 2014
• Schriftenreihe: Вісник НАН України
• Schlagworte: Статті та огляди
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/73434
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Часткова компенсація неповноти формальної аксіоматики при ідентифікації структури металу / Вад.І. Большаков, В.І. Большаков, В.М. Волчук, Ю.І. Дубров // Вісн. НАН України. — 2014. — № 12. — С. 45-48. — Бібліогр.: 8 назв. — укр.

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