No label defined (Q4951397)

The authors try to measure the ``intellectual resource'' of a user. They employ the following model. Assume that, given a person \(p\), an axiomatic system \(S\) is fixed within which he (she) is going to make reasons as a user. Then the ``intellectual resource'' of the user is defined as a triple of naturals \(\text{res}\bigl(m_{1}(p,S), m_{2}(p,S), m_{3}(p,S)\bigr)\) such that \(m_{1} (p, S)\) is the greatest length of the proofs in \(S\) having a sufficiently high (fixed beforehand) estimation of the cogency degree for the person; \(m_{2} (p, S)\) is the greatest length of sequences of symbols in the alphabet of the language of the system \(S\) having a sufficiently high (fixed beforehand) estimation (a subjective reliance) of the possibility of recognizing them as formulas (or not formulas) of the system \(S\); \(m_{3} (p, S)\) is the same as \(m_{2} (p, S) \) but for terms.