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

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

Уперше використано теорему Геделя про неповноту в ідентифікації структури сталі. Для часткового усунення неповноти твердження про можливу самоорганізацію системи неживої природи, різновиду металів, застосовано принцип зовнішнього доповнення Біра. Впервые используется теорема Геделя о неполноте при и...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Вісник НАН України
Datum:2014
Hauptverfasser: Большаков, Вад.І., Большаков, В.І., Дубров, Ю.І.
Format: Artikel
Sprache:Ukrainian
Veröffentlicht: Видавничий дім "Академперіодика" НАН України 2014
Schlagworte:
Статті та огляди
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/69367
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Про неповноту формальної аксіоматики в задачах ідентифікації структури металу / Вад.І. Большаков, В.І. Большаков, Ю.І. Дубров // Вісн. НАН України. — 2014. — № 4. — С. 55-59. — Бібліогр.: 14 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-69367
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
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Про неповноту формальної аксіоматики в задачах ідентифікації структури металу
spellingShingle Про неповноту формальної аксіоматики в задачах ідентифікації структури металу
Большаков, Вад.І.
Большаков, В.І.
Дубров, Ю.І.
Статті та огляди
title_short Про неповноту формальної аксіоматики в задачах ідентифікації структури металу
title_full Про неповноту формальної аксіоматики в задачах ідентифікації структури металу
title_fullStr Про неповноту формальної аксіоматики в задачах ідентифікації структури металу
title_full_unstemmed Про неповноту формальної аксіоматики в задачах ідентифікації структури металу
title_sort про неповноту формальної аксіоматики в задачах ідентифікації структури металу
author Большаков, Вад.І.
Большаков, В.І.
Дубров, Ю.І.
author_facet Большаков, Вад.І.
Большаков, В.І.
Дубров, Ю.І.
topic Статті та огляди
topic_facet Статті та огляди
publishDate 2014
language Ukrainian
container_title Вісник НАН України
publisher Видавничий дім "Академперіодика" НАН України
format Article
title_alt О неполноте формальной аксиоматики в задачах идентификации структуры металла
On the Incompleteness of Formal Axiomatics in the Problems of Identification of the Metal Structure
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.
issn 0372-6436
url https://nasplib.isofts.kiev.ua/handle/123456789/69367
citation_txt Про неповноту формальної аксіоматики в задачах ідентифікації структури металу / Вад.І. Большаков, В.І. Большаков, Ю.І. Дубров // Вісн. НАН України. — 2014. — № 4. — С. 55-59. — Бібліогр.: 14 назв. — укр.
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
first_indexed 2025-12-07T18:47:19Z
last_indexed 2025-12-07T18:47:19Z
_version_ 1850876351377047552

Ähnliche Einträge