Здравствуйте, graniar, Вы писали:

G>Ну собственно системы доказательства теорем по заданным аксиомам раньше и назывались ИИ, до моды на черные ящики нейросетей.
И как успехи, близка математика к формализации в терминах Shmj ?

G>Ну а как мы учим компьютеры делать то, что требуется? У нас своя, программерская лингвистика и языки программирования.
Осталось создать математическую лингвистику. Стоп, она уже есть, но задачу решить пока не особо помогла.

Программистская лингвистика и языки программирования основана на компьютерных примитивах. А тут всего-то лишь надо отобразить примитивы математической модели мира на компьютерные. Займитесь.