컴퓨터 공학 철학
Philosophy of computer science컴퓨터 과학 철학은 컴퓨터 과학 연구 내에서 발생하는 철학적인 질문과 관련이 있습니다.물리철학이나 수학철학과 같은 컴퓨터 [1]과학철학을 개발하려는 시도에도 불구하고 컴퓨터 과학철학의 내용, 목적, 초점, 주제에 대한 공통적인 이해는 여전히 없다.컴퓨터 프로그램의 추상적인 성격과 컴퓨터 과학의 기술적 야망 때문에, 컴퓨터 과학 철학의 많은 개념적 질문들은 또한 과학의 철학, 수학의 철학, 그리고 기술의 철학에 [2]필적합니다.
개요
컴퓨터 과학의 중심 철학적 질문의 대부분은 [3]관련된 논리적, 존재론적, 인식론적 문제에 집중되어 있습니다.이러한 질문에는 다음이 포함됩니다.
처치-튜링 논문
처치-튜링 논문과 그 변형이 계산 이론의 중심이다.비공식적인 개념으로서, 효과적인 계산가능성의 개념은 공식적인 정의를 가지고 있지 않기 때문에, 논제는 거의 보편적으로 수용되지만 공식적으로 입증될 수 없다.이 논문의 함의 또한 철학적 관심사이다.철학자들은 처치-튜링 논문이 정신 [6][7]철학을 함축하는 것으로 해석해 왔다.
P 대 NP 문제
P 대 NP 문제는 컴퓨터 과학과 수학에서 해결되지 않은 문제입니다.다항식 시간에 (그리고 클래스 NP에 속하도록 정의된) 해답을 검증할 수 있는 모든 문제를 다항식 시간에 해결할 수 있는지(그리고 클래스 P에 속하도록 정의된) 묻습니다.대부분의 컴퓨터 과학자들은 P np [8][9]NP라고 믿는다. 수십 년 동안 이러한 문제를 연구한 후 아무도 3000개 이상의 중요한 알려진 NP-완전 문제에 대한 다항식 시간 알고리즘을 찾을 수 없었던 이유와는 별개로, 그 함의와 관련된 철학적 이유들이 이러한 믿음에 동기를 부여했을 수 있다.
예를 들어 당시 MIT의 미국인 컴퓨터 과학자인 Scott Aaronson에 따르면 다음과 같습니다.
만약 P = NP라면, 세상은 우리가 보통 가정하는 것과는 완전히 다른 장소가 될 것이다."창조적 도약"에는 특별한 가치가 없으며, 문제를 해결하는 것과 해결책을 발견한 후에 인식하는 것 사이에 근본적인 차이가 없습니다.교향곡을 감상할 수 있는 사람은 모두 모차르트가 될 것이고, 단계별 주장을 따를 수 있는 사람은 모두 가우스가 [10]될 것이다.
「 」를 참조해 주세요.
레퍼런스
- ^ Tedre, Matti (2014). The Science of Computing: Shaping a Discipline. Chapman Hall.
- ^ Turner, Raymond; Angius, Nicola (2020), "The Philosophy of Computer Science", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Spring 2020 ed.), Metaphysics Research Lab, Stanford University, retrieved 2020-05-21
- ^ Turner, Raymond (January 2008). "The Philosophy of Computer Science". Journal of Applied Logic. 6 (4): 459. doi:10.1016/j.jal.2008.09.006. hdl:2434/807648 – via ResearchGate.
- ^ Copeland, B. Jack. "The Church-Turing Thesis". Stanford Encyclopedia of Philosophy.
- ^ Hodges, Andrew. "Did Church and Turing have a thesis about machines?".
- ^ Copeland, B. Jack (November 10, 2017). "The Church-Turing Thesis". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.
- ^ 원본 논문을 접하기 좋은 장소는 다음을 참조하십시오.
- ^ William I. Gasarch (June 2002). "The P=?NP poll" (PDF). SIGACT News. 33 (2): 34–47. CiteSeerX 10.1.1.172.1005. doi:10.1145/564585.564599. S2CID 36828694. Retrieved 26 September 2018.
- ^ Rosenberger, Jack (May 2012). "P vs. NP poll results". Communications of the ACM. 55 (5): 10.
- ^ "Shtetl-Optimized » Blog Archive » Reasons to believe". Retrieved 2021-09-16.
추가 정보
- Matti Tedre (2014).컴퓨팅 과학:규율을 형성하다채프먼 홀.
- 스콧 애런슨입니다"철학자들이 계산의 복잡성에 관심을 가져야 하는 이유"계산 가능성: 괴델, 튜링, 교회, 그 이상.
- 티모시 콜번입니다철학과 컴퓨터 사이언스철학 탐구. M.E. 샤프, 1999.ISBN 1-56324-991-X
- A.K. 듀드니새로운 튜링 옴니버스: 컴퓨터 과학 분야 66회 Excursions
- 루치아노 플로리디(편집자).'컴퓨팅과 정보의 철학에 대한 Blackwell 가이드', 2004.
- 루치아노 플로리디(편집자).컴퓨팅과 정보의 철학:5가지 질문자동 프레스, 2008.
- 루치아노 플로리디.철학 및 컴퓨팅: 개요, Routledge, 1999.
- 크리스티안 종니엘.컴퓨터 과학의 방법론에 대한 탐구, 비공식적인 세계관.
- 얀 반 리우웬NIAS 뉴스레터 42, 2009, "정보 및 컴퓨팅 과학 철학을 지향합니다."
- 모스코바키스, Y. (2001)알고리즘이란?Inquirist, B. 및 Schmid, W. 편집자, 수학 무제한 - 2001년 이후, 919~936 페이지.스프링거.
- 알렉산더 올롱렌, 야프 반 덴 헤릭입니다필로소피 반 드 인포매티카.런던과 뉴욕: Routledge, 1999.ISBN 0-415-19749-X
- Tedre, Matti (2014), The Science of Computing: Shaping a Discipline, ISBN 9781482217698 테일러와 프란시스.
- 레이 터너와 니콜라 앤지우스입니다'컴퓨터 과학의 철학'스탠포드 철학 백과사전.
- Matti Tedre (2011).과학으로서의 컴퓨팅: 경쟁하는 관점 조사.Minds & Machines 21, 3, 361 – 387 。
- 레이 터너.계산 예술품 컴퓨터 과학 철학을 지향합니다.스프링거.[1]
외부 링크
- 국제컴퓨팅철학협회
- PhilPaper의 컴퓨팅과 정보 철학
- 버클리 대학의 계산 철학
- Rapaport, William J. (2020-07-27). "Philosophy of Computer Science (draft version)" (PDF). Archived from the original (PDF) on 2021-10-26.
주의: 이 템플릿은 대략 2012 ACM Computing Classification System에 준거하고 있습니다. | ||
| 하드웨어 |  | |
| 컴퓨터 시스템 구성 | ||
| 네트워크 | ||
| 소프트웨어 구성 | ||
| 소프트웨어 표기법 및 도구 | ||
| 소프트웨어 개발 | ||
| 계산 이론 | ||
| 알고리즘 | ||
| 컴퓨팅의 수학 | ||
| 정보 시스템 | ||
| 보안. | ||
| 인간과 컴퓨터의 상호 작용 | ||
| 동시성 | ||
| 인공지능 | ||
| 기계 학습 | ||
| 그래픽스 | ||
| 응용 컴퓨팅 | ||
