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