미적분 평가자

Calculus ratiocinator

미적분 평가자는 Gottfried Leibniz의 글에서 기술된 개념인 이론적인 보편적 논리 계산 체계이며, 일반적으로 보편적 개념 언어인 그의 더 자주 언급되는 특징과 짝을 이룬다.

2개의 뷰

라이프니츠가 미적분적분학자가 무엇을 의미했는가에 대해서는 두 가지 상반된 관점이 있다.첫 번째는 컴퓨터 소프트웨어와 관련이 있고, 두 번째는 컴퓨터 하드웨어와 관련이 있습니다.

분석 뷰

분석 철학과 형식 논리학에서 받아들여지는 관점은 미적분 평가자가 수학적 논리, 즉 "[1]논리의 대수"를 예측한다는 것이다.분석적 관점은 미적분 평가자가 계산에 우선권을 부여하도록 설계될 수 있는 공식 추론 엔진 또는 컴퓨터 프로그램임을 이해한다.그 논리는 프레게의 1879년 베그리프쉬리프트와 C.S.에서 시작되었다. 1880년대 논리에 관한 피어스의 저작들.프레게는 그의 "개념 대본"을 보편적인 특성뿐만 아니라 미적분 평가자로 의도했다.미적분과 관련된 형식 논리의 그 부분은 증명 이론의 제목 아래에 있다.이러한 관점에서 미적분 평가자는 보편적 특성의 일부(또는 부분 집합)일 뿐이며, 완전한 보편적 특성은 "논리 미적분"을 포함한다.

합성 뷰

대조적인 관점은 합성 철학과 사이버네틱스, 전자 공학, 일반 시스템 이론과 같은 분야에서 비롯된다.그것은 분석 철학에서는 거의 인정받지 못한다.합성 뷰는 미적분 평가자를 "계산 기계"를 지칭하는 것으로 이해한다.사이버 운동학자 Norbert Wiener는 라이프니츠의 미적분 계산기를 현대 디지털 컴퓨터의 선구자로 여겼습니다.

"현대 컴퓨팅 머신의 역사는 라이프니츠와 파스칼로 거슬러 올라갑니다.사실 컴퓨팅 머신의 일반적인 개념은 라이프니츠의 미적분 평가자의 기계화에 불과합니다.

--

"...그의 전임자인 파스칼과 마찬가지로 [Leibniz]는 금속의 컴퓨팅 머신 구축에 관심이 있었습니다.산술의 미적분이 주판이나 탁상 컴퓨팅 머신을 통해 오늘날의 초고속 컴퓨팅 머신으로 발전하는 기계화에 도움이 되는 것처럼, Leibniza의 미적분 평가자."추리 기계인 '마키나 라티오시나트릭스'의 세균을 주입하는 거죠."

--

라이프니츠는 "스텝 계산기"라고도 불리는 수학 계산을 위한 기계를 만들었습니다.컴퓨터 기계로서 이상적인 미적분 평가자는 라이프니츠의 적분 및 미분 미적분을 수행할 것이다.이렇게 해서 "비율 측정기"라는 단어의 의미를 명확히 하고 비율을 조합하고 비교하는 기계적인 기구로 이해할 수 있다.

  • Internal mechanism of the stepped reckoner

    계단식 계산기의 내부 메커니즘

  • Contemporary replica of the stepped reckoner

    계단식 계산기의 현대식 복제품

하틀리 로저스는 미적분 평가자를 "특징적 보편성의 공식의 기호에 적용되었을 때,[2] 그 공식이 과학의 진술로서 참인지 아닌지를 결정하는 알고리즘"이라고 정의하면서 둘 사이의 연관성을 보았다.

미적분 평가자에 대한 [3]고전적인 논의는 루이스 쿠투라트의 것으로, 그는 특징론 만능론, 즉 미적분 평가자는 라이프니츠의 백과사전 [4]프로젝트와 분리될 수 없다고 주장했다.따라서 특성, 미적분 평가자, 백과사전은 라이프니츠 프로젝트의 세 가지 축을 이룬다.

「 」를 참조해 주세요.

레퍼런스

  1. ^ Fearnley-Sander(1982), 페이지 164.
  2. ^ 로저스(1963), 페이지 934.
  3. ^ Couturat(1901), 3, 4장.
  4. ^ Couturat(1901), 5장.

참고 문헌

  • Couturat, Louis (1901). La Logique de Leibniz. Translated by Rutherford, Donald. Paris: Felix Alcan. Archived from the original on 2012-08-14.
  • Rogers, Hartley, Jr. (1963). "An Example in Mathematical Logic". The American Mathematical Monthly. 70 (9): 929–945. doi:10.1080/00029890.1963.11992146.
  • Wiener, Norbert (1948). "Time, communication, and the nervous system". Annals of the New York Academy of Sciences. 50 (4): 197–219. Bibcode:1948NYASA..50..197W. doi:10.1111/j.1749-6632.1948.tb39853.x. PMID 18886381. S2CID 28452205.
  • Wiener, Norbert (1965). Cybernetics or the Control and Communication in the Animal and the Machine (2, paperback ed.). The MIT Press.
  • Fearnley-Sander, Desmond (1982). "Hermann Grassmann and the Prehistory of Universal Algebra". The American Mathematical Monthly. 89 (3): 161–166. doi:10.1080/00029890.1982.11995404.

외부 링크