계산

Computation

계산은 잘 정의된 모델(예: 알고리즘)[1][2]을 따르는 산술 또는 비산술 계산의 모든 유형입니다.

계산을 수행하는 기계 장치 또는 전자 장치(또는 역사적으로 사람)를 컴퓨터라고 합니다.컴퓨터 과학은 컴퓨터 과학으로 특히 잘 알려져 있다.

물리 프로세스

계산은 컴퓨터라고 불리는 닫힌 물리적 시스템 안에서 일어나는 순수하게 물리적인 과정으로 볼 수 있습니다.그러한 물리적 시스템의 예로는 디지털 컴퓨터, 기계 컴퓨터, 양자 컴퓨터, DNA 컴퓨터, 분자 컴퓨터, 마이크로 유체 공학 기반의 컴퓨터, 아날로그 컴퓨터, 그리고 웨트웨어 컴퓨터가 있다.

이 관점은 자연 컴퓨팅 분야뿐만 아니라 이론 물리학의 한 분야인 계산 물리학에 채택되었습니다.

더 급진적인 관점인 범컴퓨팅주의는 우주의 진화 자체가 계산이라고 주장하는 디지털 물리학의 가정입니다.

매핑 계정

계산의 고전적인 설명은 힐러리 퍼트남과 다른 작품들에서 발견된다.Peter Godfrey-Smith는 이것을 "단순 지도 계정"[3]이라고 명명했다.Gualtiero Piccinini의 이 설명에 대한 요약은 물리적 시스템이 "[시스템의] 미시적 물리적 상태가 계산 [4]상태 사이의 상태 변화를 반영하도록" 그 시스템 상태와 계산 사이에 매핑이 있을 때 특정 계산을 수행한다고 말할 수 있다고 말할 수 있다.

시멘틱 어카운트

제리[5] 포더와 같은 철학자들은 의미적 내용이 계산을 위한 필수 조건이라는 제한과 함께 계산의 다양한 설명을 제안해왔다. 즉, 임의의 물리적 시스템과 컴퓨팅 시스템을 구별하는 것은 계산의 피연산자가 무엇인가를 나타낸다는 것이다.이 개념은 범컴퓨팅주의의 매핑 계정의 논리적 추상화, 즉 모든 것이 모든 것을 계산한다고 말할 수 있는 생각을 방지하려고 시도합니다.

기계적인 설명

Gualtiero Piccinini는 기계 철학에 기초한 계산의 설명을 제안한다.물리적 컴퓨팅 시스템은 설계에 따라 물리적 계산 또는 (기능적 메커니즘에 의해) 규칙에 따라 "중간 독립" 차량의 조작을 수행하는 메커니즘의 일종이라고 명시되어 있습니다."중간 독립성"은 특성이 여러 현실자와[clarification needed] 여러 메커니즘에 의해 인스턴스화될[clarification needed] 수 있어야 하며 메커니즘의 입력과 출력도 여러 번 실현 가능해야 한다.간단히 말해서, 중간 독립성은 전압 이외의 속성을 가진 물리적 변수를 사용할 수 있게 한다. 이것은 뇌나 양자 컴퓨터에서 발생하는 것과 같은 다른 유형의 계산을 고려하는데 필수적이다.이러한 의미에서 규칙은 물리적 컴퓨팅 [6]시스템의 입력, 출력 및 내부 상태 간의 매핑을 제공합니다.

수학적 모델

주요 기사:계산 모형

계산 이론에서, 컴퓨터의 다양한 수학적 모델이 개발되어 왔다.시스템의 일반적인 수학적 모델은 다음과 같습니다.

군티는 계산 이론 계산 시스템에 의해 연구된 모델들을 부르고, 그는 모든 모델들이 이산적인 시간과 이산적인 상태 [7]: ch.1 공간을 가진 수학적 동적 시스템이라고 주장한다.그는 계산 시스템이 세 부분으로 구성된 복잡한 물체라고 주장한다.첫째, 이산 시간 및 이산 상태 공간을 갖는 수학적 D DS 둘째, 인 부분F(\F 및 실제 F로 구성된 계산 H ( 세 번째 I 입니다.은 시스템 DS와 H( H[8]: pp.179–80 를 링크합니다.

「 」를 참조해 주세요.

레퍼런스

  1. ^ 무료 Merriam-Webster 사전에서 계산
  2. ^ "Computation: Definition and Synonyms from Answers.com". Answers.com. Archived from the original on 22 February 2009. Retrieved 26 April 2017.
  3. ^ Godfrey-Smith, P. (2009), "Triviality Arguments against Functionalism", Philosophical Studies, 145 (2): 273–95, doi:10.1007/s11098-008-9231-3
  4. ^ Piccinini, Gualtiero (2015). Physical Computation: A Mechanistic Account. Oxford: Oxford University Press. p. 18. ISBN 9780199658855.
  5. ^ Fodor, J. A. (1986), "The Mind-Body Problem", Scientific American, 244 (January 1986)
  6. ^ Piccinini, Gualtiero (2015). Physical Computation: A Mechanistic Account. Oxford: Oxford University Press. p. 10. ISBN 9780199658855.
  7. ^ Giunti, Marco (1997). Computation, Dynamics, and Cognition. New York: Oxford University Press. ISBN 978-0-19-509009-3.
  8. ^ Giunti, Marco (2017), "What is a Physical Realization of a Computational System?", Isonomia -- Epistemologica, 9: 177–92, ISSN 2037-4348