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

Abstract

Уперше використано теорему Геделя про неповноту в ідентифікації структури сталі. Для часткового усунення неповноти твердження про можливу самоорганізацію системи неживої природи, різновиду металів, застосовано принцип зовнішнього доповнення Біра.Впервые используется теорема Геделя о неполноте при идентификации структуры стали. Для частичного устранения неполноты утверждения о возможной самоорганизации системы неживой природы, разновидности металлов, применяется принцип внешнего дополнения Бира.First used by Gödel’s incompleteness theorem in identifying steel structure. To partially resolve allegations of possible incompleteness of self-organization of inanimate nature, metal species, the principle of external addition of Beer is used.