Topic: Whether aloud on a subject "the machine can think of thoughts?"
In the middle between the theorem of break and the theorem of Rajsa there is one more theorem, hardly more the general, than the first and hardly less, than the second. It is the theorem of self-applicability of algorithms. Under self-applicability here it is meant to fulfill correctly ability of algorithm in a situation when the input data for it is its own formal description. The given theorem states that the algorithms solving a problem of self-applicability, cannot exist. It is proved even easier, than the break theorem as necessity of reviewing of a diagonal case (f (f (f))) here is obvious from the statement. Thus, we consider the algorithm solving for a problem of self-applicability and we show presence of the contradiction as though hinting at justice of a statement of the theorem. All real computational models existing nowadays (that is what can exist from the point of view of the modern laws of physics), whether it be quantum computings, or , etc., can be emulated by the classical machine of Turing. It means that: all such models do not exceed model from the point of view of computing power in respect of capacity of set of algorithmic problems solved by them; to admit existence of machine thinking, human, it is necessary as well to admit that human thought an essence - improbably difficult, but nevertheless the algorithm which is giving in to emulation by the machine of Turing. The philosophy defines thinking, as an integral part of display of consciousness of the person. Here that write about it in their these Wikipedias:" Select following forms of consciousness: consciousness as consciousness consciousness itself, mind as conceiving consciousness, that is comprehending the world in concepts (mind categories), reason as self-conscious mind and spirit as the higher form of consciousness including all other forms. Distinction of mind and reason consists that the mind correlates the concepts to the world and consequently its criterion of the validity is consistency. The reason as self-conscious mind rises before dialectic holding of contradictions as correlates not only the concepts to the world, but also itself with the concepts. "Count, how many time in this citation that diagonal construction proving including insolubility of a problem of self-applicability is mentioned?