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

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.