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

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

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

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