Autoformalization of the Knowledge, by Gregory Gromov (original) (raw)

�. �. ������ ���������������� ���������������� ������

��������� � ���������������� ������� �������� ����� ����������� ������������� ���������������� ������, ������� ������, ��������� ���� ������������������ �����. ������, ��� ��������, �� ������ 30 ��� ������������ ��� ����� ��� � �� ���������. � ���, ��������, �������� � ������ �������� ������� �� ������������ ������� �������������� � ������ � ������ 50-� �� ����� 70-� ����� ���������� ��������� ������ ����� ������������������ �����. �������� ������� ������������ �� ��������� ����������� �������� ������ ����� ������������������ ����� � �����������-�������� ������� � ����������� ����� ����� �� ����� ������������� ������������ � ��������������� ����� ��������� ���������. ���� ����������� ��������������� �������� �_knowledge workers_� ������ ���������� ����������� ��������� ��������������� �������� �, ��� ���������, ������ ������������� � ��� �������������� �������. ������, ���� ������ � ������� ������������� � ����� ������������� ���-��������� ��������� ������������������ �, ��������������, ������������������ ����� ��� ����������, �� � ����� ��������� ����������, ��� �������� ������ � �����������, ��������, ������������ ���� ������� � �������� ������������� ��������� �� ��� ��� � ������� ������. ����������� �����, ������� � �������������� �����, ���������� ������� � ������ 80-� ����� � ����������� ����������� �������� ����� ��� ����� 50 % �� ������ ����� ������� �� ���� �������� ��������� ��������� � ���������� ������ �����. ����������� ���� �� � ���� �������� ������ ��������� ������: ��� �� ���������, ��� �� 30 ��� ��� ��� ������� ������������� ����� �����, ���������� � ����� ��������� ����������, � ������� ����� �� ���������?

������ ��������������� ������

���� � ���, ��� ������ ��������� ��� ���� ������� ��� ������� � �������� ���� ������ ������������ �������������� ����� �, � ������ �������, ����� ����� ���������� ���������. ���� ��� ���������� ���� �������������, ������� ����� ������� ���� �� ����������� � ���������� ����������� ����������. ��������� ��� ������� ������ ���� ����� �������������� ������ ����� �� �������� �������� ������������ � � ����� ���� ������ �������� ����������, � �������� ��� ����������� ���, ��� ���������� ���� ������ ��������� ������������ �� ���������� ������ ������. ��� �������, ��� ���� �������� ������������ �������-������������� � ��������� ������ �� ���������� ������������� �� ������ ������������ ������ �������������� ������� �������� '������ ����. ��������� ��������� � ������� ������� �� ��� ��� ���������� �������������� �����, �������� ������� ������ ����������� � ������������� ���������������� ������� �������� � ������� ��������� ������� ������� ������ ����������������� ������ �� ����������� ����������: ����� ��������� ���������� ��� ����������������� ������, ��������� ���������� ��������, ������� �����������, � �. �.

_________________________________________

����� (��� ������) ������� ���������� ���������������� ������ �� �� "�������������� ��������� �� ������ ���������� ������� ����������� ������������ {��� ��������������) �� ������������ ��������������� ��������. ������� ���������������� ������, ������� ��������� �������� ��� ������ �������, �������� �������� ������� ����.

__________________________________________

������ ��� ������� � ������� ����������� �������� ���������� ��� ����� �� ������� ����� ������������ ������ ��������������� ����'! � ����� ������������ � ������������� ��������� ����� ����������������� ������ ������������� �� ������������, ������ �������� (�� ���� ���������� ��������� ���������� �������) ���������.

��� ������� �� ���� �. ������, "��� �������� ��� ������ ��������. ��� ���������� ������� ���� �������������� �������� ��� ����� ����������� �������� ��������. ����� �� �������� ������������ ��� ��� ���������� ���������������� ��������, ��� ����������� ���������� � ������������������ ��� ����� ������".

��� ��� �������� �� ������ 80-� ����� ��������� ����� ���������� ���������� �� ���������� ����. ��� ���� ����������, ���, ��� � ������������ ������, �� ������ ������ ��������� ������������ ���������� ������������� ����� ������� �������.

����� ����������� ���� ������� ���������� ������������� ���������� ������� �������-����������� �� ������ ������ ��������� ������������� ������������� ������� �������� ��������, ����� ���� �� �������� ��������� � ������ ����� �� ������������ �������� �� ����� ��������� �������� ������� ����, ������������, ��� ������� ������������ ������ ����������, � ������ ������, ����������� ������������� ������� ������� ���������� ��������������� ���������������� ����. ������ �� ����� ����� � ��, ��� ������ �� ��� ������� ���������������� ������ ��������� �� ��� ��� ����� �������� ������, ��������� ���� ��� ������� ������� ������������, ������� ����������� ������������ ����������. ��������, �������� ���������������� ������ � ����� ��������� �������� ����������� �����, ��� ��������, ���������� � ������� �� ������ ���� �� ����-

������, ��� � ������ ��� �����. ������ ���������� ��� ����� �� �� ���������� �������� ����������� ������� ������� � ���� ���������� �� ����. ��� ������� �������� �. �. ��������, ������� ����� 15 ��� ������ �� ����������� ����������� � ��������������� �������������� �� ���������� ����������� � ������, '���������� �������������� ������� � ��������, �������� �� ������������ ������� �������, ��� ��� ��������� � ��������� ������. ��� ������ �� ������������� � �������� ����������� ���������� ����� ����, ��� �� ���������� ����� ��������, � �������� ���������� ��������� � ���������� � ����������� �������, � ���� ����� ������� ����� ���������. ����������� ��������� ��� ����� �����, ��-��������, � � ������ �������������� ��� ���������� ����������, ���������.

�������� �����, ������� �. �. �������� ���������� � �������������� ���������, ����� ���� �� ��������, ��� �������� ������ �� ������������ �������� ������ ��� ������������ ������� ������������ ���������������� ������. ���� �����, ������, � ����������� ������ ������ ��������� �����, ������� ��������� ��� ������������� ��������� �������������� ����������, ������� ��������� ����������� ����, ��� �� �������� ���������������� ����� ������, ���������� ������������� ���������, ����������������� �����������, �������, � �.�.

����������� �����������,� ������� � ���/� ��������� �. ������.� �������� �� ��� ����� �����������, ����� ���� �������������� ���� ��������� �������, � �� ��� ����������, ���� ��� ���� ����������� ���������� ������������.

��������� ����� ���������������� ������

����� ���������� �������, ��� ����������� ����� ����� �� �������������� ������ ��������� ����� ����������� ������������� ���������������� ������, ������� ��������� � ���� ���� ������� �����������. � ���� ��������������� �������� �������, � �� ����������� �������� �� ��� ������ ������ ����. ����� �� ���������� ������... ������� ������ �� 100 % ����� ����� ������ � ��� �������, ��� �� �������� ���� �������� ������� � ���������������� ���������. � ������ ����������� �������, ����� ����� �� ������� ������ ����� ���-