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

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

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

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