Внутренний механизм ступенчатого счетного устройства- Современная копия ступенчатого счетного устройства
Рационализатор исчисления — это теоретическая универсальная логическая вычислительная структура, концепция, описанная в трудах Готфрида Лейбница , обычно в паре с его более часто упоминаемым characteristics universalis , универсальным концептуальным языком.
Существуют две противоположные точки зрения на то, что Лейбниц подразумевал под исчислением логосов . Первая связана с программным обеспечением компьютера , вторая — с аппаратным обеспечением компьютера .
Принятая точка зрения в аналитической философии и формальной логике заключается в том, что исчисление рационализатора предвосхищает математическую логику — «алгебру логики». [1] Аналитическая точка зрения понимает, что исчисление рационализатора — это формальная машина вывода или компьютерная программа , которая может быть разработана таким образом, чтобы предоставить первенство вычислениям. Эта логика началась с Begriffsschrift Фреге 1879 года и трудов К. С. Пирса по логике в 1880-х годах. Фреге намеревался сделать свой «концептуальный сценарий» исчисления рационализатором, а также универсальной характеристикой . Та часть формальной логики, которая имеет отношение к исчислению, подпадает под заголовок теории доказательств . С этой точки зрения исчисление рационализатора является лишь частью (или подмножеством) универсальных характеристик , а полная универсальная характеристика включает в себя «логическое исчисление».
Контрастная точка зрения исходит из синтетической философии и таких областей, как кибернетика , электронная инженерия и общая теория систем . Она мало оценена в аналитической философии. Синтетическая точка зрения понимает исчисление логосина как относящееся к «вычислительной машине». Кибернетик Норберт Винер считал исчисление логосина Лейбница предшественником современного цифрового компьютера:
«История современной вычислительной машины восходит к Лейбницу и Паскалю. Действительно, общая идея вычислительной машины — это не что иное, как механизация исчисления-рационализатора Лейбница ».
— Винер (1948, стр. 214)
«...как и его предшественник Паскаль, [Лейбниц] интересовался созданием вычислительных машин в металле. ...так же, как арифметическое исчисление поддается механизации, прогрессирующей через счеты и настольные вычислительные машины к сверхбыстрым вычислительным машинам наших дней, так и исчисление- рационализатор Лейбница содержит в себе зародыши machina ratiocinatrix , машины рассуждения».
— Винер (1965, стр. 12)
Лейбниц построил именно такую машину для математических вычислений, которую также называли « ступенчатым счетоводом ». Как вычислительная машина, идеальный исчислительный логосинтезатор должен был выполнять интегральное и дифференциальное исчисление Лейбница. Таким образом, значение слова «логосинтезатор» проясняется и может быть понято как механический инструмент, который объединяет и сравнивает соотношения.
Хартли Роджерс увидел связь между ними, определив calculus ratiocinator как « алгоритм , который, будучи применен к символам любой формулы charactera universalis , определит, является ли эта формула истинной как утверждение науки» [2] .
Классическое обсуждение calculus ratiocinator принадлежит Луи Кутюра , [3] который утверждал, что characteristics — и, следовательно, calculus ratiocinator — неотделимы от энциклопедического проекта Лейбница. [4] Таким образом, characteristics , calculus ratiocinator и encyclopedia образуют три столпа проекта Лейбница.
