컴퓨터로 철학하기

저자 서문
역자 서문

1장 철학과 컴퓨터과학
철학적 사고
컴퓨팅 사고력
책의 구성

2장 파이썬
파이썬 설치하기
객체와 타입
표현식
변수
텍스트 편집기
핵심 요점

3장 알고리즘
위조 동전 문제
조건문
다중 절과 중첩 조건문
위조 동전 구현하기
핵심 요점

4장 논리
진리와 타당성
반례와 형식 구조
연역 논증과 귀납 논증
논증 재구성하기
핵심 요점

5장 반복
while 반복문
문자열
리스트
for 반복문
간단한 프로그램
핵심 요점

6장 이미지 조작
2차원 리스트와 중첩 반복문
이미지 데이터 표현
그래픽
이미지 조작 작업
핵심 요점

7장 회의론
인식론
개념 분석
외부 세계 회의론
시지각
진화
핵심 요점

8장 함수
함수 정의하기
지역 변수와 전역 변수
반환값
분해
패턴 인식
함수 작성의 장점
핵심 요점

9장 마음
마음 이론
이원론을 위한 논증
동일성 이론에 대한 논증
기능주의
튜링 테스트
중국어 방
핵심 요점

10장 라이프 게임
셀룰러 오토마타
컴퓨팅 사고
랜덤 라이브러리
격자 변화시키기
그래픽
핵심 요점

11장 자유의지
자유의지 251
결정론 255
양립불가능론과 양립가능론 259
회피 기계 268
핵심 요점 284

12장 재귀
재귀 프로그래밍
하노이 탑
재귀 프로그래밍과 반복 프로그래밍
핵심 요점

13장 신
칼람 우주론 논증
핵심 요점

14장 데이터
파일
데이터 처리
시각화
핵심 요점

15장 기계 학습
인공지능
기계 학습 분류
지도 학습, 회귀
비지도 학습, K-평균 클러스터링
넘파이와 사이킷런
회귀 분석 구현
단변량 선형 회귀
다변량 선형 회귀
단변량 다항 회귀 분석
K-평균 클러스터링 구현
핵심 요점

16장 귀납
귀납 문제
반증주의와 실용주의
예측, 적응, 과적합
핵심 요점

17장 AI 윤리
윤리학
치명적 자율무기
감시 자본주의
미래에 어떤 일들이 일어날 것인가
핵심 요점

18장 연습문제 해답

부록
참고문헌

이 책은 컴퓨터과학과 철학 둘 다에 관심이 있지만, 어디에도 배경지식이 없는 독자를 위한 책이다. 두 분야 중 하나 혹은 둘 모두에 두려움이 있지만 그래도 알고 싶은 마음이 있는 독자라면 이 책이 적격이다. 필자의 목표 중 하나는 두 분야를 이해하기 쉽게 설명하여 한 분야 또는 두 분야 모두 더 깊이 탐구할 수 있는 자신감을 갖게 하는 것이다.

컴퓨터의 혁신성은 바로 ‘프로그래밍 가능성’에 있다. 이것 때문에 어떤 기계를 분해하거나 재조립하지 않고도 다른 기계들이 수행할 수 있는 계산 가능한 모든 작업을 수행할 수 있다. 이러한 이유로 노트북 하나로 전통적인 계산기가 수행하는 연산을 실행할 뿐 아니라, 데이터셋을 저장하고 분석하는 데이터베이스를 운영하거나 텍스트와 화려한 글꼴과 이미지를 포함한 에세이 같은 문서를 작성할 수도 있는 것이다. 계산기, 데이터베이스, 워드 프로세서는 모두 서로 다른 프로그램이며 각각 컴퓨터의 능력을 활용해 특정 목적을 위해 다양한 연산 조합을 실행하도록 설계되었다.