deep-econom (deep_econom) wrote,
deep-econom
deep_econom

о мыслях, смысле, интеллекте: история вычислений, логики и алгебры

(читать с осторожностью, сам не читал еще)

Конечность смысла и бесконечность мысли:
история вычислений, логики и алгебры
Это история развития вычислений, логики и алгебры с классических времен до двадцатого века, рассказанная из первоисточников.

https://pron.github.io/computation-logic-algebra
Finite of Sense and Infinite of Thought:
A History of Computation, Logic and Algebra

Пролог
I. Язык мысли
Симплексное опасение
Механический разум
Инструмент Лейбница
Алгебра мысли
II. Божественные машины
Небесная математика
Движение руки, управление разума
Монист
Соперничество разума в колесах и рычагах неощутимой машины
III. Охотники за привидениями
Lingua Characteristica
Расчет становится вычетом
Лаконичный разум
Концепции интеллекта
Эпилог
---

О чем мы говорим, когда говорим о вычислениях
30 августа 2016 г.
What We Talk About When We Talk About Computation
https://pron.github.io/posts/what-we-talk-about-when-we-talk-about-computation
Ron Pressler (https://pron.github.io/posts/what-we-talk-about-when-we-talk-about-computation)
--

ps
У меня в разных местах написано:

Вычисление = смена состояний= цепочка причинно-следственных связей (ЦПСС)

Алгоритм= модель процесса= модель ЦПСС= граф = последовательность инструкций (элементарных операций) для исполнителя.

Алгоритм может быть вшит в структуру физического исполнителя (вычисляющее устройство).

По сути.
Любую смену состояний мы можем назвать вычислением.
А это вычисление мы можем обозначить как операцию, т.е. назвать элементарным алгоритмом.

И тут же мы вспоминаем про нормальные алгоритмы Маркова. По сути система переписывания символов.
a—>b
По факту это описание изменения памяти, т.е. смены состояния.
Было одно состояние, стало другое.
Происходит стыковка.
Связываем виртуальное абстрактное - Алгоритм, с физическими исполнительными устройствами - смена состояния в силу физических причинно-следственных связей.

Связали алгоритм с физическим вычислением.
Это же и решение проблемы Grounding.

Livejournal (https://deep-econom.livejournal.com/858295.html)
Ликбез. Теория моделей. Теории, формальные системы.

Livejournal (https://deep-econom.livejournal.com/392244.html)
к вопросу об ощущении цвета -2
--
Subscribe

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 2 comments