이론적 컴퓨터 과학의 철학적 의미에 관한 책이 있습니까?

컴퓨터에 관한 책이 있지만 모두 기술에 관한 책입니다. 나는 이론과 더 관련이있는 것을 원한다.

"철학자들이 계산 복잡성에 관심을 가져야하는 이유" https://arxiv.org/abs/1108.1791

Quantum Computing Scott Aaronson의 Democritus 이후 제가 생각할 수있는 가장 가까운 경기입니다. 나는 TCS의 철학적 함의에 전적으로 헌신 된 책이 하나도 없다고 생각합니다.

Arora and Barak 의 (전통적인) 전산 복잡성 책 ( 여기서 온라인 초안 )에서 빠른 검색 을 열고 다음과 같은 하위 섹션을 포함하여 "철학적"이라는 단어가 19 회 발생합니다.

• $\mathrm{P}$

• $\mathrm{NP}$

• 16 장의 무작위성에 대한 논의 ( "무작위 화, 확장기 및 추출기").

Scott Aaronson의 철학적 성격에 대한 또 다른 에세이가 있습니다. 양자 튜링 머신의 유령

위의 답변 중 일부를 보완하기 위해 Avi Widgerson의 최근 저서 인 수학 및 계산 은 20.5 장에서 컴퓨터 과학과 철학 사이의 철학적 상호 작용에 대해 간단히 설명합니다. 더 광범위하게, 전체 책은 겉보기에 다른 분야 간의 상호 작용에 주로 초점을 맞추고 ToC의 다양한 개념 (무작위, 지식, 상호 작용, 진화)의 기본 구조와 의미를 설명함으로써 철학적 관심을 가진 많은 자료를 포함합니다. , 귀납법, 학습…. 철학 자체에 관한 책은 아니지만 독자는 이러한 모든 개념에 대한 ToC의 새로운 빛에 대해 궁금해합니다. 그리고 그것은 증거가 포함되어 있지 않기 때문에 표준 교과서에서 실제로 출발합니다 (실제로 그것은이 책이 아닙니다). 나는 그것을 강력히 추천합니다.

John Searle은 자신의 저서 " 마음의 재발견 "에서 계산이 무엇인지에 대한 의문을 제기합니다. 특히 그는 "계산되는 것"은 어떤 프로세스에도 내재 된 속성이 아니라고 말합니다. 오히려 프로세스에 "의미"를 부여하는 관찰자가 있어야합니다.

이 영향력있는 가설은 책이 아니라 대부분 기사 형태로되어 있지만 상당히 많은 문헌을 만들어 냈습니다.

지식, 창의성 및 P 대 NP의 Avi Wigderson 은 철학적 질문 : 창의성을 자동화 할 수 있는가? P = NP?와 같습니다.

나는 많은 책을 읽지 않았지만 "컴퓨터 프로그램의 구조와 해석"이라는 책이 눈에 띄게 열렸습니다.

Gerry Sussman은이 책으로 놀라운 작업을 수행했습니다.

읽을 가치가 있습니다. :-)

여기에서 전체 예약

랜스는 "골든 티켓"으로 P = NP 및 기타 문제가 매우 가벼운 방식으로 발생하는 결과를 처리합니다.