Про неповноту формальної аксіоматики в задачах ідентифікації структури металу / Большаков В. І., Большаков В. І., Дубров Ю. І. (2014)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000127128
  Вісник Національної академії наук України   /     Випуск (2014, № 4)

Большаков В. І., Большаков В. І., Дубров Ю. І.
Про неповноту формальної аксіоматики в задачах ідентифікації структури металу

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

Бібліографічний опис:
Большаков В. І., Большаков В. І., Дубров Ю. І. Про неповноту формальної аксіоматики в задачах ідентифікації структури металу. Вісник Національної академії наук України. 2014. № 4. С. 55-59. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000127128

English  Visnyk of the National Academy of Sciences of Ukraine   /     Issue (2014, 4)

translit Transliteration

Bolshakov V. I., Bolshakov V. I., Dubrov Yu. I.
Pro nepovnotu formalnoi aksiomatyky v zadachakh identyfikatsii struktury metalu

Cite:
Bolshakov, V. I., Bolshakov, V. I., Dubrov, Yu. I. (2014). Pro nepovnotu formalnoi aksiomatyky v zadachakh identyfikatsii struktury metalu. Visnyk of the National Academy of Sciences of Ukraine, 4, 55-59 http://jnas.nbuv.gov.ua/article/UJRN-0000127128 [In Ukrainian].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна