1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 7(74)'2008
  5. О фундаментальном свойстве невыразимости репрезентативных формальных систем

О фундаментальном свойстве невыразимости репрезентативных формальных систем

Ю. В. Паржин
Системи обробки інформації. — 2008. — № 7(74). — С. 142-147.
УДК 519.1 : 681.3
Мова статті: російська
Анотації на мовах:

В работе впервые предложена и обоснована модель формальной системы интеллектуального типа (ФСИТ), содержащая системы презентации и репрезентации, определены функции данных систем, доказана необоснованность применения теоремы Геделя о неполноте формальной арифметики к ФСИТ, репрезентативные системы которых обладают неполнотой ввиду существования фундаментального свойства α- и β-невыразимости, определенного в работе.
Ключові слова: формальная система интеллектуального типа, системы презентации и репрезентации
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Паржин Ю. В. О фундаментальном свойстве невыразимости репрезентативных формальных систем / Ю. В. Паржин  // Системи обробки інформації. — 2008. — № 7. — С. 142-147.