1. Science
  2. Publications
  3. Information Processing Systems
  4. 7(74)'2008
  5. About fundamental property of inexpressiveness of representation formal systems

About fundamental property of inexpressiveness of representation formal systems

Yu.V. Parzhin
Annotations languages:

In work first offered and grounded model of the formal system of intellectual type (FSIТ), containing the systems of presentation and representation, the functions of these systems are certain, the groundlessness of application of theorem of Gedel is proved about incompleteness of formal arithmetic to FSIТ, the representation systems of which possess incompleteness because of existence of fundamental property α- and β-beyond expression, certain in work.
Keywords: formal system of intellectual type, systems of presentation and representation