любые методы/способы абстрагирования основаны на комбинации двух базовых операциях абстрагирования тождественно/нетождественно - обозначим {=,≠}
подбираемся к формализации любых абстракций
ps заплутал уже в дебрях своих рассуждений и ассоциаций, но оставлю
нам нужна пара символов {0,1} и пара операций {=,≠}
похоже этого хватает, чтобы построить машину Тьюринга, соответственно построить всё, включая сильный искусственный интеллект
т.е. нужно два символа и операция сравнения
/* или две операции все таки? додумать, понятно что нужен логический вентиль, но трактовать его как одну операцию или как две? подумать надо как более правильно методологически, вероятно это не принципиально, просто так {=,≠} выглядит красиво, симметрично
/* физический исполнитель нужен конечно, это иное
но по идее не хватает операции произвести запись/стирание,
а для машины Тьюринга еще и сдвинуть головку и перейти в состояние
надо подумать о минимизации всего этого
---
ps
Минимальная модель абстрактного универсального вычислителя и языка.
https://deep-econom.livejournal.com/868037.html
Минимальные модели вычислений.
https://deep-econom.livejournal.com/870230.html