Вычислитель смысла

Обычный компьютер выполняет инструкции над данными. Мы хотим проверить, что будет, если шагом машины станет переход: смысл в типизированном состоянии меняется по разрешённому правилу после моделирования, а машина записывает доказательство того, почему так. Работало бы это как программа на обычном железе. Части такие: репозиторий как память, язык для программ, виртуальная машина и правила, ограничивающие то, что программе позволено.

Мы знаем, как это далеко. В нашем плане Noetic Computer стоит после более простых вещей: сначала рендерер, потом репозиторий и только то, что им действительно понадобится. Дальняя цель — язык, который компилирует сам себя. Мы думаем об этом всерьёз, и это надо заслужить.