SlideShare a Scribd company logo
1 of 8
Download to read offline
오늘날 우리는 컴퓨터라 부른다
오늘날우리는컴퓨터라부른다
한 페이지 요약
• 책 분류
• 컴퓨터공학, 과학개론
• 대상 독자
• 이산수학과 알고리즘이 재미있었던 분들
• 수학 역사에 관심이 많은 분들
• 컴퓨터의 기본 원리가 궁금하신 분들
• 특징
• 컴퓨터의 기초는 수학이라는 사실을 다시 한 번 일깨워주고 있음
• 수학사에서 유명한 인물들이 출동
이 책의 목차
수학과 컴퓨터를 연결해보자
오늘날우리는컴퓨터라부른다
1장: 놀라운 꿈을 꾼 라이프니츠
2장: 논리를 수학으로 바꾼 천재 불
3장: 논리의 표현을 완성한 프레게
4장: 무한을 탐험한 칸토어
5장: 완전한 알고리즘을 꿈꾼 힐베르트
6장: 완전한 계산의 꿈을 뒤흔든 괴델
7장: 범용 컴퓨터를 생각해 낸 튜링
8장: 최초의 디지털 범용 컴퓨터
9장 : 라이프니츠의 꿈을 넘어
무엇이 이 책을 흥미롭게 만드는가?(1)
단순한 계산기로부터 범용 컴퓨터가 등장할 때까지 무슨 일이 있었나?
오늘날우리는컴퓨터라부른다
• 컴퓨터 역사에 굵은 획을 그은 수학자들의 삶에 대한 이야기
• 단순히 위인전을 넘어서 무엇을 고민했고 문제를 풀기 위해 어떤 식으로
접근했고 그 과정에서 어떤 좌절을 겪었는지를 정리
• 수학자들이 어떻게 대립하고 협력하고 영감을 받는지 흥미진진하게 이야
기를 풀어가고 있음
무엇이 이 책을 흥미롭게 만드는가?(2)
The Universal Computer!
오늘날우리는컴퓨터라부른다
• 지금 생각해보면 너무나도 당연해 보이는 CPU 구조, 그리고 프로그래밍 구조가 초기에는 결코 당연하지 않았다!
• 단순 계산(computer)에서 사람처럼 여러 가지 일을 하는 기계에 대한 상상이 오늘날의 컴퓨터가 있게 만들었다
• 범용 컴퓨터가 수행하는 것은 알고리즘이다. 하지만 컴퓨터와는 달리 사람이 알고리즘을 수행하는 시간은 그렇게 많지 않다.
• 인간의 정신은 근본적으로 컴퓨터와 동일할까? 챗GPT는 정말로 생각이라는 것을 할까?
• 사람은 스스로를 어떻게 자아를 인식할까? 컴퓨터도 자아를 인식할 수 있을까?
대상 독자
논리가 합리적일까? 이런 고민을 해보신 분들에 대한 멋진 선물
오늘날우리는컴퓨터라부른다
• 이산 수학과 알고리즘을 좋아하시는 분들
• 컴퓨터의 기본 동작 원리가 정말로 궁금하신 분들
• 수학이나 과학 역사에 관심이 많은 분들
• 컴퓨터와 사람의 차이점에 대해 고민하고 계신 분들
결론
***** “우리는 미래에 컴퓨터가 할 수 있는 일과 할 수 없는 일을 예측할 때 신중해야 한다”
• ‘괴델, 에셔, 바흐: 영원한 황금 노끈’이 어려웠다면 이 책으로 다시 한 번 도전해보자
• 이 책 본문에는 수식과 증명이 나오므로 기본적인 이산수학은 알고 들어가면 좋다. 복잡한 증명이 이해가
되지 않더라도 이런 복잡한 게 있구나 정도만 알아도 충분하다.
• 이 책은 순서대로 따라가야 제대로 이해할 수 있으므로 차근차근 읽어보자
• “특별하게 고안된 이론적인 계산 기계는 모든 종류의 일을 할 수 있다고 증명할 수 있다. 사실상 이 기계가 어떤 기
계라도 흉내 낼 수 있다. 이 특별한 기계를 ‘범용 기계’라 부를 수 있겠다.” – 앨런 튜링, 1947년
• “미분 방정식을 푸는 계산기와 백화점 영수증을 발행하는 데 쓰이는 기계의 기본적인 원리가 같다면, 나는 내가 만
난 가장 놀라운 우연의 일치라 여기겠다.” – 하워드 에이컨, 1956년
오늘날우리는컴퓨터라부른다
발표자 소개
기술 배경
전문 검색 엔진, 임베디드 시스템(리눅스 커널 디바이스 드라이버), 빅데이터/인공지능 연구 개발,
고성능 고가용성 데이터베이스
주요활동
IT 전문서 번역 (클린 코드, 피플웨어, 해커: 광기의 랩소디, 게임 엔진 블랙 북 등)
개발강의 (삼성전자, SK C&C, 삼성SDC, 현대자동차 기술 세미나와 교육)
활동채널
블로그: https://jhrogue.blogspot.com
슬라이드 셰어: https://www.slideshare.net/jrogue/presentations
유튜브: https://www.youtube.com/c/박재호dev
문의 jrogue@gmail.com
박재호

More Related Content

More from Jay Park

(독서광) 인간이 초대한 대형 참사 - 대형 참사가 일어날 때까지 사람들은 무엇을 하고 있었는가?
(독서광) 인간이 초대한 대형 참사 - 대형 참사가 일어날 때까지 사람들은 무엇을 하고 있었는가?(독서광) 인간이 초대한 대형 참사 - 대형 참사가 일어날 때까지 사람들은 무엇을 하고 있었는가?
(독서광) 인간이 초대한 대형 참사 - 대형 참사가 일어날 때까지 사람들은 무엇을 하고 있었는가?Jay Park
 
(독서광) 쉽고 빠르게 익히는 실전 LLM - ChatGPT 활용부터 LLM 파인튜닝, 임베딩, 고급 프롬프트 엔지니어링까지
(독서광) 쉽고 빠르게 익히는 실전 LLM - ChatGPT 활용부터 LLM 파인튜닝, 임베딩, 고급 프롬프트 엔지니어링까지(독서광) 쉽고 빠르게 익히는 실전 LLM - ChatGPT 활용부터 LLM 파인튜닝, 임베딩, 고급 프롬프트 엔지니어링까지
(독서광) 쉽고 빠르게 익히는 실전 LLM - ChatGPT 활용부터 LLM 파인튜닝, 임베딩, 고급 프롬프트 엔지니어링까지Jay Park
 
(독서광) LEAN HR - 당신의 스타트업은 안녕하십니까 (한빛미디어 2024)
(독서광) LEAN HR - 당신의 스타트업은 안녕하십니까 (한빛미디어 2024)(독서광) LEAN HR - 당신의 스타트업은 안녕하십니까 (한빛미디어 2024)
(독서광) LEAN HR - 당신의 스타트업은 안녕하십니까 (한빛미디어 2024)Jay Park
 
(독서광) 구술 문화와 문자 문화: 출간 30주년 기념판 (전후 해제 포함)
(독서광) 구술 문화와 문자 문화: 출간 30주년 기념판 (전후 해제 포함)(독서광) 구술 문화와 문자 문화: 출간 30주년 기념판 (전후 해제 포함)
(독서광) 구술 문화와 문자 문화: 출간 30주년 기념판 (전후 해제 포함)Jay Park
 
(독서광) 이제는 이기는 인생을 살고 싶다 - 적을 만들지 않고 단번에 갈등을 풀어내는 백전백승 변호사의 지혜지략
(독서광) 이제는 이기는 인생을 살고 싶다 - 적을 만들지 않고 단번에 갈등을 풀어내는 백전백승 변호사의 지혜지략(독서광) 이제는 이기는 인생을 살고 싶다 - 적을 만들지 않고 단번에 갈등을 풀어내는 백전백승 변호사의 지혜지략
(독서광) 이제는 이기는 인생을 살고 싶다 - 적을 만들지 않고 단번에 갈등을 풀어내는 백전백승 변호사의 지혜지략Jay Park
 
(독서광) 프로덕트 매니저 원칙: 10년이 가도 변하지 않을 PM/PO로 살아가는 원칙과 철학
(독서광) 프로덕트 매니저 원칙: 10년이 가도 변하지 않을 PM/PO로 살아가는 원칙과 철학(독서광) 프로덕트 매니저 원칙: 10년이 가도 변하지 않을 PM/PO로 살아가는 원칙과 철학
(독서광) 프로덕트 매니저 원칙: 10년이 가도 변하지 않을 PM/PO로 살아가는 원칙과 철학Jay Park
 
(독서광) 개발자로 첫 출근했어요 - 사내 개발 도구, 기술, 문화 적응 가이드
(독서광) 개발자로 첫 출근했어요 - 사내 개발 도구, 기술, 문화 적응 가이드(독서광) 개발자로 첫 출근했어요 - 사내 개발 도구, 기술, 문화 적응 가이드
(독서광) 개발자로 첫 출근했어요 - 사내 개발 도구, 기술, 문화 적응 가이드Jay Park
 
(독서광) 책 vs 책: 코딩 테스트 합격자 되기 vs 파이썬 알고리즘 인터뷰
(독서광) 책 vs 책: 코딩 테스트 합격자 되기 vs 파이썬 알고리즘 인터뷰(독서광) 책 vs 책: 코딩 테스트 합격자 되기 vs 파이썬 알고리즘 인터뷰
(독서광) 책 vs 책: 코딩 테스트 합격자 되기 vs 파이썬 알고리즘 인터뷰Jay Park
 
(독서광) 테니스 이너 게임
(독서광) 테니스 이너 게임(독서광) 테니스 이너 게임
(독서광) 테니스 이너 게임Jay Park
 
(독서광) 인간 vs. AI 정규표현식 문제 풀이 대결
(독서광) 인간 vs. AI 정규표현식 문제 풀이 대결(독서광) 인간 vs. AI 정규표현식 문제 풀이 대결
(독서광) 인간 vs. AI 정규표현식 문제 풀이 대결Jay Park
 
(독서광) 모던 리눅스 교과서
(독서광) 모던 리눅스 교과서(독서광) 모던 리눅스 교과서
(독서광) 모던 리눅스 교과서Jay Park
 
(독서광) 상자 밖에 있는 사람
(독서광) 상자 밖에 있는 사람(독서광) 상자 밖에 있는 사람
(독서광) 상자 밖에 있는 사람Jay Park
 
(독서광) 자바 알고리즘 인터뷰 with 코틀린
(독서광) 자바 알고리즘 인터뷰 with 코틀린(독서광) 자바 알고리즘 인터뷰 with 코틀린
(독서광) 자바 알고리즘 인터뷰 with 코틀린Jay Park
 
(독서광) 리그 오브 레전드 플레이어 중심주의
(독서광) 리그 오브 레전드 플레이어 중심주의(독서광) 리그 오브 레전드 플레이어 중심주의
(독서광) 리그 오브 레전드 플레이어 중심주의Jay Park
 
(일상다반사) 2023년 구독자 3,000명 돌파 이벤트
(일상다반사) 2023년 구독자 3,000명 돌파 이벤트(일상다반사) 2023년 구독자 3,000명 돌파 이벤트
(일상다반사) 2023년 구독자 3,000명 돌파 이벤트Jay Park
 
(독서광) 사실은 이것도 디자인입니다
(독서광) 사실은 이것도 디자인입니다(독서광) 사실은 이것도 디자인입니다
(독서광) 사실은 이것도 디자인입니다Jay Park
 
(독서광) 프로덕트 매니지먼트
(독서광) 프로덕트 매니지먼트(독서광) 프로덕트 매니지먼트
(독서광) 프로덕트 매니지먼트Jay Park
 
(독서광) 슬기로운 파이썬 트릭
(독서광) 슬기로운 파이썬 트릭(독서광) 슬기로운 파이썬 트릭
(독서광) 슬기로운 파이썬 트릭Jay Park
 
(독서광) 유혹하는 글쓰기
(독서광) 유혹하는 글쓰기(독서광) 유혹하는 글쓰기
(독서광) 유혹하는 글쓰기Jay Park
 
(독서광) Docs for Developers 기술 문서 작성 완벽 가이드
(독서광) Docs for Developers 기술 문서 작성 완벽 가이드(독서광) Docs for Developers 기술 문서 작성 완벽 가이드
(독서광) Docs for Developers 기술 문서 작성 완벽 가이드Jay Park
 

More from Jay Park (20)

(독서광) 인간이 초대한 대형 참사 - 대형 참사가 일어날 때까지 사람들은 무엇을 하고 있었는가?
(독서광) 인간이 초대한 대형 참사 - 대형 참사가 일어날 때까지 사람들은 무엇을 하고 있었는가?(독서광) 인간이 초대한 대형 참사 - 대형 참사가 일어날 때까지 사람들은 무엇을 하고 있었는가?
(독서광) 인간이 초대한 대형 참사 - 대형 참사가 일어날 때까지 사람들은 무엇을 하고 있었는가?
 
(독서광) 쉽고 빠르게 익히는 실전 LLM - ChatGPT 활용부터 LLM 파인튜닝, 임베딩, 고급 프롬프트 엔지니어링까지
(독서광) 쉽고 빠르게 익히는 실전 LLM - ChatGPT 활용부터 LLM 파인튜닝, 임베딩, 고급 프롬프트 엔지니어링까지(독서광) 쉽고 빠르게 익히는 실전 LLM - ChatGPT 활용부터 LLM 파인튜닝, 임베딩, 고급 프롬프트 엔지니어링까지
(독서광) 쉽고 빠르게 익히는 실전 LLM - ChatGPT 활용부터 LLM 파인튜닝, 임베딩, 고급 프롬프트 엔지니어링까지
 
(독서광) LEAN HR - 당신의 스타트업은 안녕하십니까 (한빛미디어 2024)
(독서광) LEAN HR - 당신의 스타트업은 안녕하십니까 (한빛미디어 2024)(독서광) LEAN HR - 당신의 스타트업은 안녕하십니까 (한빛미디어 2024)
(독서광) LEAN HR - 당신의 스타트업은 안녕하십니까 (한빛미디어 2024)
 
(독서광) 구술 문화와 문자 문화: 출간 30주년 기념판 (전후 해제 포함)
(독서광) 구술 문화와 문자 문화: 출간 30주년 기념판 (전후 해제 포함)(독서광) 구술 문화와 문자 문화: 출간 30주년 기념판 (전후 해제 포함)
(독서광) 구술 문화와 문자 문화: 출간 30주년 기념판 (전후 해제 포함)
 
(독서광) 이제는 이기는 인생을 살고 싶다 - 적을 만들지 않고 단번에 갈등을 풀어내는 백전백승 변호사의 지혜지략
(독서광) 이제는 이기는 인생을 살고 싶다 - 적을 만들지 않고 단번에 갈등을 풀어내는 백전백승 변호사의 지혜지략(독서광) 이제는 이기는 인생을 살고 싶다 - 적을 만들지 않고 단번에 갈등을 풀어내는 백전백승 변호사의 지혜지략
(독서광) 이제는 이기는 인생을 살고 싶다 - 적을 만들지 않고 단번에 갈등을 풀어내는 백전백승 변호사의 지혜지략
 
(독서광) 프로덕트 매니저 원칙: 10년이 가도 변하지 않을 PM/PO로 살아가는 원칙과 철학
(독서광) 프로덕트 매니저 원칙: 10년이 가도 변하지 않을 PM/PO로 살아가는 원칙과 철학(독서광) 프로덕트 매니저 원칙: 10년이 가도 변하지 않을 PM/PO로 살아가는 원칙과 철학
(독서광) 프로덕트 매니저 원칙: 10년이 가도 변하지 않을 PM/PO로 살아가는 원칙과 철학
 
(독서광) 개발자로 첫 출근했어요 - 사내 개발 도구, 기술, 문화 적응 가이드
(독서광) 개발자로 첫 출근했어요 - 사내 개발 도구, 기술, 문화 적응 가이드(독서광) 개발자로 첫 출근했어요 - 사내 개발 도구, 기술, 문화 적응 가이드
(독서광) 개발자로 첫 출근했어요 - 사내 개발 도구, 기술, 문화 적응 가이드
 
(독서광) 책 vs 책: 코딩 테스트 합격자 되기 vs 파이썬 알고리즘 인터뷰
(독서광) 책 vs 책: 코딩 테스트 합격자 되기 vs 파이썬 알고리즘 인터뷰(독서광) 책 vs 책: 코딩 테스트 합격자 되기 vs 파이썬 알고리즘 인터뷰
(독서광) 책 vs 책: 코딩 테스트 합격자 되기 vs 파이썬 알고리즘 인터뷰
 
(독서광) 테니스 이너 게임
(독서광) 테니스 이너 게임(독서광) 테니스 이너 게임
(독서광) 테니스 이너 게임
 
(독서광) 인간 vs. AI 정규표현식 문제 풀이 대결
(독서광) 인간 vs. AI 정규표현식 문제 풀이 대결(독서광) 인간 vs. AI 정규표현식 문제 풀이 대결
(독서광) 인간 vs. AI 정규표현식 문제 풀이 대결
 
(독서광) 모던 리눅스 교과서
(독서광) 모던 리눅스 교과서(독서광) 모던 리눅스 교과서
(독서광) 모던 리눅스 교과서
 
(독서광) 상자 밖에 있는 사람
(독서광) 상자 밖에 있는 사람(독서광) 상자 밖에 있는 사람
(독서광) 상자 밖에 있는 사람
 
(독서광) 자바 알고리즘 인터뷰 with 코틀린
(독서광) 자바 알고리즘 인터뷰 with 코틀린(독서광) 자바 알고리즘 인터뷰 with 코틀린
(독서광) 자바 알고리즘 인터뷰 with 코틀린
 
(독서광) 리그 오브 레전드 플레이어 중심주의
(독서광) 리그 오브 레전드 플레이어 중심주의(독서광) 리그 오브 레전드 플레이어 중심주의
(독서광) 리그 오브 레전드 플레이어 중심주의
 
(일상다반사) 2023년 구독자 3,000명 돌파 이벤트
(일상다반사) 2023년 구독자 3,000명 돌파 이벤트(일상다반사) 2023년 구독자 3,000명 돌파 이벤트
(일상다반사) 2023년 구독자 3,000명 돌파 이벤트
 
(독서광) 사실은 이것도 디자인입니다
(독서광) 사실은 이것도 디자인입니다(독서광) 사실은 이것도 디자인입니다
(독서광) 사실은 이것도 디자인입니다
 
(독서광) 프로덕트 매니지먼트
(독서광) 프로덕트 매니지먼트(독서광) 프로덕트 매니지먼트
(독서광) 프로덕트 매니지먼트
 
(독서광) 슬기로운 파이썬 트릭
(독서광) 슬기로운 파이썬 트릭(독서광) 슬기로운 파이썬 트릭
(독서광) 슬기로운 파이썬 트릭
 
(독서광) 유혹하는 글쓰기
(독서광) 유혹하는 글쓰기(독서광) 유혹하는 글쓰기
(독서광) 유혹하는 글쓰기
 
(독서광) Docs for Developers 기술 문서 작성 완벽 가이드
(독서광) Docs for Developers 기술 문서 작성 완벽 가이드(독서광) Docs for Developers 기술 문서 작성 완벽 가이드
(독서광) Docs for Developers 기술 문서 작성 완벽 가이드
 

(독서광) 오늘날 우리는 컴퓨터라 부른다

  • 2. 오늘날우리는컴퓨터라부른다 한 페이지 요약 • 책 분류 • 컴퓨터공학, 과학개론 • 대상 독자 • 이산수학과 알고리즘이 재미있었던 분들 • 수학 역사에 관심이 많은 분들 • 컴퓨터의 기본 원리가 궁금하신 분들 • 특징 • 컴퓨터의 기초는 수학이라는 사실을 다시 한 번 일깨워주고 있음 • 수학사에서 유명한 인물들이 출동
  • 3. 이 책의 목차 수학과 컴퓨터를 연결해보자 오늘날우리는컴퓨터라부른다 1장: 놀라운 꿈을 꾼 라이프니츠 2장: 논리를 수학으로 바꾼 천재 불 3장: 논리의 표현을 완성한 프레게 4장: 무한을 탐험한 칸토어 5장: 완전한 알고리즘을 꿈꾼 힐베르트 6장: 완전한 계산의 꿈을 뒤흔든 괴델 7장: 범용 컴퓨터를 생각해 낸 튜링 8장: 최초의 디지털 범용 컴퓨터 9장 : 라이프니츠의 꿈을 넘어
  • 4. 무엇이 이 책을 흥미롭게 만드는가?(1) 단순한 계산기로부터 범용 컴퓨터가 등장할 때까지 무슨 일이 있었나? 오늘날우리는컴퓨터라부른다 • 컴퓨터 역사에 굵은 획을 그은 수학자들의 삶에 대한 이야기 • 단순히 위인전을 넘어서 무엇을 고민했고 문제를 풀기 위해 어떤 식으로 접근했고 그 과정에서 어떤 좌절을 겪었는지를 정리 • 수학자들이 어떻게 대립하고 협력하고 영감을 받는지 흥미진진하게 이야 기를 풀어가고 있음
  • 5. 무엇이 이 책을 흥미롭게 만드는가?(2) The Universal Computer! 오늘날우리는컴퓨터라부른다 • 지금 생각해보면 너무나도 당연해 보이는 CPU 구조, 그리고 프로그래밍 구조가 초기에는 결코 당연하지 않았다! • 단순 계산(computer)에서 사람처럼 여러 가지 일을 하는 기계에 대한 상상이 오늘날의 컴퓨터가 있게 만들었다 • 범용 컴퓨터가 수행하는 것은 알고리즘이다. 하지만 컴퓨터와는 달리 사람이 알고리즘을 수행하는 시간은 그렇게 많지 않다. • 인간의 정신은 근본적으로 컴퓨터와 동일할까? 챗GPT는 정말로 생각이라는 것을 할까? • 사람은 스스로를 어떻게 자아를 인식할까? 컴퓨터도 자아를 인식할 수 있을까?
  • 6. 대상 독자 논리가 합리적일까? 이런 고민을 해보신 분들에 대한 멋진 선물 오늘날우리는컴퓨터라부른다 • 이산 수학과 알고리즘을 좋아하시는 분들 • 컴퓨터의 기본 동작 원리가 정말로 궁금하신 분들 • 수학이나 과학 역사에 관심이 많은 분들 • 컴퓨터와 사람의 차이점에 대해 고민하고 계신 분들
  • 7. 결론 ***** “우리는 미래에 컴퓨터가 할 수 있는 일과 할 수 없는 일을 예측할 때 신중해야 한다” • ‘괴델, 에셔, 바흐: 영원한 황금 노끈’이 어려웠다면 이 책으로 다시 한 번 도전해보자 • 이 책 본문에는 수식과 증명이 나오므로 기본적인 이산수학은 알고 들어가면 좋다. 복잡한 증명이 이해가 되지 않더라도 이런 복잡한 게 있구나 정도만 알아도 충분하다. • 이 책은 순서대로 따라가야 제대로 이해할 수 있으므로 차근차근 읽어보자 • “특별하게 고안된 이론적인 계산 기계는 모든 종류의 일을 할 수 있다고 증명할 수 있다. 사실상 이 기계가 어떤 기 계라도 흉내 낼 수 있다. 이 특별한 기계를 ‘범용 기계’라 부를 수 있겠다.” – 앨런 튜링, 1947년 • “미분 방정식을 푸는 계산기와 백화점 영수증을 발행하는 데 쓰이는 기계의 기본적인 원리가 같다면, 나는 내가 만 난 가장 놀라운 우연의 일치라 여기겠다.” – 하워드 에이컨, 1956년 오늘날우리는컴퓨터라부른다
  • 8. 발표자 소개 기술 배경 전문 검색 엔진, 임베디드 시스템(리눅스 커널 디바이스 드라이버), 빅데이터/인공지능 연구 개발, 고성능 고가용성 데이터베이스 주요활동 IT 전문서 번역 (클린 코드, 피플웨어, 해커: 광기의 랩소디, 게임 엔진 블랙 북 등) 개발강의 (삼성전자, SK C&C, 삼성SDC, 현대자동차 기술 세미나와 교육) 활동채널 블로그: https://jhrogue.blogspot.com 슬라이드 셰어: https://www.slideshare.net/jrogue/presentations 유튜브: https://www.youtube.com/c/박재호dev 문의 jrogue@gmail.com 박재호