The widespread use of mathematical logic in the field of mathematical machines and in other areas of mathematics and technology leads to an increasing interest in mathematical logic both among mathematicians and among persons of applied specialties.