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

Про фундаментальну властивість невимовності репрезентативних формальних систем

Ю.В. Паржин
Анотації на мовах:

У роботі вперше запропоновано і обґрунтовано модель формальної системи інтелектуального типу (ФСІТ), що містить системи презентації і репрезентації, визначені функції даних систем, доведено необґрунтованість застосування теореми Геделя про неповноту формальної арифметики до ФСІТ, репрезентативні системи яких володіють неповнотою зважаючи на існування фундаментальної властивості α- і β-невимовності, визначеного в роботі.
Ключові слова: формальна система інтелектуального типу, системи презентації і репрезентації