논리 기계

Logical machine

논리 기계는 에너지를 사용하여 형식 논리 연산을 수행하는 부품 세트를 포함하는 도구다. 초기 논리 기계는 부울 논리로 기본 연산을 수행하는 기계 장치였다. 현대의 논리 기계는 수학적 논리학의 이론으로 증명 보조를 수행하는 컴퓨터 기반의 전자 프로그램이다. 21세기에 이러한 증명 보조 프로그램은 수학 지식 관리라는 새로운 연구 분야를 탄생시켰다.

오리진스

가장 초기 논리적인 기계들은 19세기 후반에 지어진 기계 구조였다. 윌리엄 스탠리 제본스는 1869년에 논리 피아노인 최초의 논리 기계를 발명했다.[1] 1883년 Allan Marquand는 Jevons의 논리 피아노와 동일한 작업을 수행하면서도 디자인 단순화, 휴대성 및 입출력 제어 기능이 개선된 새로운 논리 기계를 발명했다.[2]

참고 항목

참조

  1. ^ 베넷 2005, 162-3페이지
  2. ^ 베넷 2005, 페이지 163.

참고 문헌 목록

  • Bennett, Deborah (2005). Logic Made Easy: How to Know When Language Deceives You. W. W. Norton & Company. p. 163. ISBN 0393326926. Allan Marquand logic machine.
  • 마칸드, 앨런
    • (1883), C. S. Peirce의 "삼단논리학적 변동을 생산하기 위한 기계", Ed. Logic에 관한 연구, 페이지 12–15와 함께 "8기 논리 기계에 대한 주석", 페이지 16. Google 북스 에프린트. 책은 1983년에 맥스 피쉬의 소개로 다시 출판되었다.
    • (1886), "A New Logical Machine", "A Processions of the American Academy of Arts and Science" 21: 303–07. Google 북스 에프린트.
  • 피어스, C. S.
    • (1886 Letter), 편지, Peirce to A. 1886년 12월 30일, Marquand는 1993년 C. 외, Eds, Writings of Charles S에서 출판되었다. Peirce: A Straterial Edition, Vol. 5. 인디애나 유니브 421-3페이지 눌러라. Google Books Preview.
    • (1887), "논리적 시스템", 미국 심리학 저널 대 1, n. 1, 볼티모어: N. 머레이, 페이지 165–70. Google 북스 에프린트. (1976) 수학의 새로운 요소 v. III, pt. 1, 페이지 625–32; (1997) 현대 논리 7:71–77, 프로젝트 유클리드 에프린트, (2000) 찰스 S의 저술로 다시 인쇄. Peirce 대 6, 페이지 65–73.
  • Baldwin, Mark James(1902), "논리적 기계", 철학 및 심리학 사전, 페이지 28~30 구글 북스 에프린트. 심리학사 에프린트의 고전.
  • 케트너, 케네스 레인(1984) "컴퓨터 디자인의 초기 역사는 다음과 같다. 찰스 샌더스 피르스와 마퀀드의 논리 기계"는 아서 프랭클린 스튜어트, 프린스턴 대학 도서관 크로니클, 대 45, n. 3, 페이지 186–211의 도움을 받아 만들어졌다. PULC 15MB PDF Eprint.
  • Dalakov, Georgi (미등록), "Charles Peirce and Allan Marquand", "History of Computer and Computing". 에프린트.


Stub icon

이 수학적 논리 관련 논문은 단조롭다. 위키피디아를 확장하여 도울 수 있다.