Про неповноту формальної аксіоматики в задачах ідентифікації структури металу
Уперше використано теорему Геделя про неповноту в ідентифікації структури сталі. Для часткового усунення неповноти твердження про можливу самоорганізацію системи неживої природи, різновиду металів, застосовано принцип зовнішнього доповнення Біра. Впервые используется теорема Геделя о неполноте при и...
Збережено в:
| Опубліковано в: : | Вісник НАН України |
|---|---|
| Дата: | 2014 |
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Видавничий дім "Академперіодика" НАН України
2014
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/69367 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Про неповноту формальної аксіоматики в задачах ідентифікації структури металу / Вад.І. Большаков, В.І. Большаков, Ю.І. Дубров // Вісн. НАН України. — 2014. — № 4. — С. 55-59. — Бібліогр.: 14 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862724444457271296 |
|---|---|
| author | Большаков, Вад.І. Большаков, В.І. Дубров, Ю.І. |
| author_facet | Большаков, Вад.І. Большаков, В.І. Дубров, Ю.І. |
| citation_txt | Про неповноту формальної аксіоматики в задачах ідентифікації структури металу / Вад.І. Большаков, В.І. Большаков, Ю.І. Дубров // Вісн. НАН України. — 2014. — № 4. — С. 55-59. — Бібліогр.: 14 назв. — укр. |
| collection | DSpace DC |
| container_title | Вісник НАН України |
| description | Уперше використано теорему Геделя про неповноту в ідентифікації структури сталі. Для часткового усунення неповноти твердження про можливу самоорганізацію системи неживої природи, різновиду металів, застосовано принцип зовнішнього доповнення Біра.
Впервые используется теорема Геделя о неполноте при идентификации структуры стали. Для частичного устранения неполноты утверждения о возможной самоорганизации системы неживой природы, разновидности металлов, применяется принцип внешнего дополнения Бира.
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.
|
| first_indexed | 2025-12-07T18:47:19Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-69367 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0372-6436 |
| language | Ukrainian |
| last_indexed | 2025-12-07T18:47:19Z |
| publishDate | 2014 |
| publisher | Видавничий дім "Академперіодика" НАН України |
| record_format | dspace |
| spelling | Большаков, Вад.І. Большаков, В.І. Дубров, Ю.І. 2014-10-11T20:13:37Z 2014-10-11T20:13:37Z 2014 Про неповноту формальної аксіоматики в задачах ідентифікації структури металу / Вад.І. Большаков, В.І. Большаков, Ю.І. Дубров // Вісн. НАН України. — 2014. — № 4. — С. 55-59. — Бібліогр.: 14 назв. — укр. 0372-6436 https://nasplib.isofts.kiev.ua/handle/123456789/69367 519.21 Уперше використано теорему Геделя про неповноту в ідентифікації структури сталі. Для часткового усунення неповноти твердження про можливу самоорганізацію системи неживої природи, різновиду металів, застосовано принцип зовнішнього доповнення Біра. Впервые используется теорема Геделя о неполноте при идентификации структуры стали. Для частичного устранения неполноты утверждения о возможной самоорганизации системы неживой природы, разновидности металлов, применяется принцип внешнего дополнения Бира. 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. uk Видавничий дім "Академперіодика" НАН України Вісник НАН України Статті та огляди Про неповноту формальної аксіоматики в задачах ідентифікації структури металу О неполноте формальной аксиоматики в задачах идентификации структуры металла On the Incompleteness of Formal Axiomatics in the Problems of Identification of the Metal Structure Article published earlier |
| spellingShingle | Про неповноту формальної аксіоматики в задачах ідентифікації структури металу Большаков, Вад.І. Большаков, В.І. Дубров, Ю.І. Статті та огляди |
| title | Про неповноту формальної аксіоматики в задачах ідентифікації структури металу |
| title_alt | О неполноте формальной аксиоматики в задачах идентификации структуры металла On the Incompleteness of Formal Axiomatics in the Problems of Identification of the Metal Structure |
| title_full | Про неповноту формальної аксіоматики в задачах ідентифікації структури металу |
| title_fullStr | Про неповноту формальної аксіоматики в задачах ідентифікації структури металу |
| title_full_unstemmed | Про неповноту формальної аксіоматики в задачах ідентифікації структури металу |
| title_short | Про неповноту формальної аксіоматики в задачах ідентифікації структури металу |
| title_sort | про неповноту формальної аксіоматики в задачах ідентифікації структури металу |
| topic | Статті та огляди |
| topic_facet | Статті та огляди |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/69367 |
| work_keys_str_mv | AT bolʹšakovvadí pronepovnotuformalʹnoíaksíomatikivzadačahídentifíkacíístrukturimetalu AT bolʹšakovví pronepovnotuformalʹnoíaksíomatikivzadačahídentifíkacíístrukturimetalu AT dubrovûí pronepovnotuformalʹnoíaksíomatikivzadačahídentifíkacíístrukturimetalu AT bolʹšakovvadí onepolnoteformalʹnoiaksiomatikivzadačahidentifikaciistrukturymetalla AT bolʹšakovví onepolnoteformalʹnoiaksiomatikivzadačahidentifikaciistrukturymetalla AT dubrovûí onepolnoteformalʹnoiaksiomatikivzadačahidentifikaciistrukturymetalla AT bolʹšakovvadí ontheincompletenessofformalaxiomaticsintheproblemsofidentificationofthemetalstructure AT bolʹšakovví ontheincompletenessofformalaxiomaticsintheproblemsofidentificationofthemetalstructure AT dubrovûí ontheincompletenessofformalaxiomaticsintheproblemsofidentificationofthemetalstructure |