1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 4(26)'2003
  5. Семантическая формулировка теоремы Геделя о неполноте и ее значение для построения систем распознавания

Семантическая формулировка теоремы Геделя о неполноте и ее значение для построения систем распознавания

Ю.В. Паржин, В.И. Новиков, К.В. Кувшинов
Системи обробки інформації. — 2003. — № 4(26). С. 51-57.
Тематика статті: Загальні питання
УДК 681.142.4
Мова статті: російська
Анотації на мовах:


Анотація: Рассматриваются причины возникновения сформулированного Геделем понятия неполноты для формализованных языков и естественного языка и обсуждаются некоторые пути решения проблемы выводимости истинных утверждений в выразительных формализмах. Определяется значение данной проблемы для построения систем распознавания образов.


Інформація про авторів публікації:
Бібліографічний опис для цитування:
Паржин Ю.В., Новиков В.И., Кувшинов К.В. Семантическая формулировка теоремы Геделя о неполноте и ее значение для построения систем распознавания. Системи обробки інформації. 2003. № 4(26). С. 51-57.

Whoops, looks like something went wrong.