Вот, например, таблица умножения седенионов
http://en.wikipedia.org/wiki/SedenionМожно такую "понять" или определить через сложение?
Хотя Википедия действительно утверждает, что в арифметике умножение определяется через сложение.
Но не будем далее вникать в теоретико-множественные теории и отойдём на запасные рубежи.
Ведь если человек может иногда свести умножение к сложению, то и программе это понять проще пареной репы, всё это легко формализуется, и таинственного сильного ИИ здесь не требуется.
Вопрос, поставленный в этой ветке, таков, что нет ничего такого, что может понять человек, и не может понять программа. И английский, и китайский язык они понимают или не понимают совершенно одинаково.
Вот статья Сёрля:
http://socialistica.lenin.ru/analytic/txt/s/searle_1.htm