Thu . 19 Sep 2019

Коэффициент исчисления

Соотношение исчисления - это теоретическая универсальная логическая основа для расчета, концепция, описанная в трудах Готфрида Лейбница, обычно в сочетании с его более часто упоминаемой характеристикой универсализа, универсальным концептуальным языком
Содержание
1 Два взгляда
11 Аналитическое представление
12 Синтетическое представление
2 Примечания
3 См. также
4 Справки
5 Внешние ссылки
Два взгляда
Существуют две противоположные точки зрения на то, что имел в виду Лейбниц по исчислению ratiocinator Первое связано с компьютерным программным обеспечением, второе связано с компьютерным оборудованием
Аналитическое представление
Полученная точка зрения в аналитической философии и формальной логике заключается в том, что исчисление ratiocinator предвосхищает математическую логику - " «Алгебра логики» [1]. Аналитическая точка зрения понимает, что коэффициент исчисления - это механизм формального вывода или компьютерная программа, которая может быть спроектирована таким образом, чтобы обеспечить первенство в вычислениях. Эта логика началась с Фреге в 1879 году. Chrift и CS Peirce в трудах по логике в 1880-х годах Фреге задумал, чтобы его «концептуальный сценарий» был отношением исчисления, а также языковой характеристикой. Эта часть формальной логики, относящаяся к исчислению, попадает под заголовок теории доказательств. С этой точки зрения отношение исчисления является лишь частью или подмножеством универсального признака, а полный универсальный признак включает в себя «логическое исчисление». Синтетическое представление
Противопоставленное мнение проистекает из синтетической философии и таких областей, как кибернетика, электронная инженерия и общая теория систем. В аналитической философии это мало ценится. Синтетический взгляд понимает коэффициент исчисления как относящийся к «вычислительной машине». Кибернетик Норберт Винер считал коэффициент исчисления Лейбница предшественником современного цифрового компьютера:
«
История современной вычислительной машины восходит к Лейбницу и Паскалю. Действительно, общая идея вычислительной машины ничего, кроме механизации коэффициента исчисления Лейбница Wiener 1948: 214
»
« Как и его предшественник Паскаль, [Лейбниц] интересовался конструированием вычислительных машин в металле так же, как исчисление арифметики поддается самому себе. механизации, проходящей через счеты и настольные вычислительные машины к сверхбыстрым вычислительным машинам современности, поэтому коэффициент исчисления Лейбница содержит микробы ratiocinatrix machina, машину рассуждений Винера 1965 года: 12
»< Лейбниц построил именно такую машину для математических вычислений, которую также называли ступенчатым счетчиком. В качестве вычислительной машины идеальный коэффициент исчисления будет выполнять интегральное и дифференциальное исчисление Лейбница. Таким образом, значение слова «коэффициент пропорциональности» проясняется и может быть понятым как механический инструмент, который объединяет и сравнивает соотношения
Stepped Reckoner
Хартли Роджерс увидел связь между ними, определяя соотношение исчисления tor как «алгоритм, который, применительно к символам любой формулы характеристики universalus, будет определять, была ли эта формула истинной как утверждение науки», Хартли Роджерс, мл. 1963; p 934
Классическим обсуждением отношения исчисления является Кутурат 1901: главы 3, 4, которые утверждали, что признак universala - и, следовательно, отношение исчисления - были неотделимы от энциклопедического проекта Лейбница, глава 5. Отсюда и характеристика, отношение исчисления, и энциклопедия образует три столпа проекта Лейбница
Примечания
^ Fearnley-Sander 1982: p164
Смотрите также
Готфрид Лейбниц
Characteristica universalis
Ссылки
Луи Кутурат, 1901 La Logique de Лейбниц Париж: Феликс Алкан Дональд Резерфорд Английский перевод некоторых глав - Хартли Роджерс, мл. 1963, Пример математической логики, Американский математический ежемесячник, том 70, № 9, с. 929–945 - Норберт Винер, 1948, «Время, общение и нервная система», Телеологические механизмы Анналы NY Acad Sci 50 4: стр. 197–219
- 1965, Кибернетика, второе издание: «Управление и общение в животном и в машине», MIT Press
Десмонд Фернли-Сандер, 1982 Герман Грассманн и предыстория универсальной алгебры, Американский математический ежемесячник, том 89, № 3, с. 161–166
Внешние ссылки
Язык как исчисление против языка как универсальной среды
v
e
Готфрид Вильгельм Лейбниц
Математика и философия
Тест чередующихся рядов
Лучший из всех возможных миров
Соотношение исчислений
Characteristica universalis
Разница
Идентичность неразличимых
Закон непрерывности
Колесо Лейбница
Разрыв Лейбница
Предварительно установленная гармония
Принцип достаточной причины
Сальва веритэ
Теодицея
Трансцендентальный закон однородности
Vis viva
Обоснованное явление
Работы
De Arte Combinatoria 1666
Дискуссия о метафизике 1686
Новые очерки о человеческом понимании 1704 г. - Теодике 1710 г. - Монадология 1714 г. - Переписка Лейбница – Кларка 1715-1716
других машин Calculus спор
v
е
вычислимых знания
темы и
концепции
алфавит человеческой мысли
управления Authority
Автоматизированное рассуждение - знание Commonsense - рассуждение Commonsense - вычислимость - Формальная система - Механизм вывода - База знаний - Системы, основанные на знаниях - Инженерия знаний - Извлечение знаний
Представление знаний
Поиск знаний
Классификация библиотек
Логическое программирование
Онтология
Личная база знаний
Ответы на вопросы
Семантический рассуждение
Предложения и реализации
Zairja
Ars Magna 1300
Очерк реального персонажа и философского языка 1688
Calculus ratiocinator & amp; Characteristica universalis 1700
Десятичная классификация Дьюи 1876 г.
Begriffsschrift 1879 г.
Mundaneum 1910 г.
Логический атомизм 1918 г. Tractatus Logico-Philosophicus 1921 г. Программа Гильберта 1920-х гг.
Теорема о неполноте 1931 г. - Мир Brain 1938 - Memex 1945 - Решатель общих проблем 1959 - Пролог 1972 - Cyc 1984 - Семантическая сеть 2001 - Evi 2007 - Wolfram Alpha 2009 - Watson 2011 - Siri 2011
График знаний 2012
Викиданные 2012
Кортана 2014
Viv 2016
В художественном произведении
Двигатель Путешествие Гулливера, 1726 год
Джо "Логика по имени Джо", 1946 год
Снежная катастрофа библиотекаря, 1992 г. - Доктор Ноу А.И. Искусственный интеллект, 2001 г.
Уотерхаус Цикл барокко, 2003 г.
Смотри также: Логические машины в художественной литературе и Список вымышленных компьютеров


Calculus ratiocinator

Random Posts

Book

Book

A book is a set of written, printed, illustrated, or blank sheets, made of ink, paper, parchment, or...
Boston Renegades

Boston Renegades

Boston Renegades was an American women’s soccer team, founded in 2003 The team was a member of the U...
Sa Caleta Phoenician Settlement

Sa Caleta Phoenician Settlement

Sa Caleta Phoenician Settlement can be found on a rocky headland about 10 kilometers west of Ibiza T...
Bodybuilding.com

Bodybuilding.com

Bodybuildingcom is an American online retailer based in Boise, Idaho, specializing in dietary supple...