Про неповноту формальної аксіоматики в задачах ідентифікації структури металу
Уперше використано теорему Геделя про неповноту в ідентифікації структури сталі. Для часткового усунення неповноти твердження про можливу самоорганізацію системи неживої природи, різновиду металів, застосовано принцип зовнішнього доповнення Біра. Впервые используется теорема Геделя о неполноте при и...
Saved in:
| Published in: | Вісник НАН України |
|---|---|
| Date: | 2014 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Видавничий дім "Академперіодика" НАН України
2014
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/69367 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Про неповноту формальної аксіоматики в задачах ідентифікації структури металу / Вад.І. Большаков, В.І. Большаков, Ю.І. Дубров // Вісн. НАН України. — 2014. — № 4. — С. 55-59. — Бібліогр.: 14 назв. — укр. |
Institution
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 |