Харківський національний університет Повітряних Сил імені Івана Кожедуба

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

Повний текст PDF - 239.20 KB

Цитування публікації

Інформація про авторів публікації:

• Паржин Ю. В.
• Новиков В. И.
• Кувшинов К. В.

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