남이 하는 코딩 구경, 코딩넛
- 소프트웨어공학박사 김동선
- 필스교양 이용
계산의 자동화
(“아마도” 최초의 계산을 위한 도구)
이샹고 뼈
https://en.wikipedia.org/wiki/Ishango_bone
수메르/바빌로니아 주판
https://en.wikipedia.org/wiki/Sumer#Mathematics
주판에 대한 문헌상의 첫번째 언급
https://en.wikipedia.org/wiki/Suanpan
네이피어의 막대 (뼈)
사칙연산과 제곱근 계산까지 가능한 수동 계산 도구
https://en.wikipedia.org/wiki/Napier%27s_bones
파스칼의 계산기(Pascal's calculator)
사칙연산 가능
1645년 발표
https://en.wikipedia.org/wiki/Pascal%27s_calculator
입출력 자동화
펀치 카드
https://en.wikipedia.org/wiki/Punched_cards
찰스배비지
차분기계
https://en.wikipedia.org/wiki/Difference_engine
해석기관
https://en.wikipedia.org/wiki/Analytical_Engine
계산가능하다는 것은 무엇일까?
계산
https://en.wikipedia.org/wiki/Computation
만능 기계의 꿈
다비트 힐베르트의 희망사항
https://en.wikipedia.org/wiki/David_Hilbert
https://en.wikipedia.org/wiki/Entscheidungsproblem
https://en.wikipedia.org/wiki/Hilbert%27s_program
ICM 1928에서 제안
https://www.mathunion.org/fileadmin/ICM/Proceedings/ICM1928.1/ICM1928.1.ocr.pdf
쿠르트 괴델의 “우리는 그런거는 있을수가 없어" 증명
https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems#Proof_sketch_for_the_first_theorem
https://en.wikipedia.org/wiki/Kurt_G%C3%B6del#Incompleteness_Theorem
https://en.wikipedia.org/wiki/On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems
http://www.w-k-essler.de/pdfs/goedel.pdf
https://en.wikipedia.org/wiki/Hilbert%27s_program
https://plato.stanford.edu/entries/goedel-incompleteness/#FirIncThe
Alan Turing
http://www.turingarchive.org/
https://lifehacker.com/alan-turings-best-productivity-tricks-966630884
https://en.wikipedia.org/wiki/Alan_Turing
튜링의 또 다른 증명과 그 증명에서 나온 자동화된 기계에 대한 설계
Alan Turing의 Turing Machine을 소개한 논문
“On Computable Numbers, with an Application to the Entscheidungsproblem”
https://doi.org/10.1112/plms/s2-42.1.230
결정불가능 문제의 목록
https://en.wikipedia.org/wiki/List_of_undecidable_problems
Alan Turing의 박사 졸업 논문
“Systems of Logic Based on Ordinals”
https://webspace.princeton.edu/users/jedwards/Turing%20Centennial%202012/Mudd%20Archive%20files/12285_AC100_Turing_1938.pdf
튜링 머신
https://en.wikipedia.org/wiki/Turing_machine
기계를 실행하는 기계
https://en.wikipedia.org/wiki/Universal_Turing_machine
콜로서스
https://namu.wiki/w/%EC%BD%9C%EB%A1%9C%EC%84%9C%EC%8A%A4#s-3
봄브(봄베) 컴퓨터
https://en.wikipedia.org/wiki/Bombe
대각논법
https://en.wikipedia.org/wiki/Cantor%27s_diagonal_argument
폰 노이만 아키텍처
https://en.wikipedia.org/wiki/Von_Neumann_architecture
