케임브릿지 대학교 입학
프린스턴 양자역학 논문에 영감을 받음
그 논문이 존 폰 노이만이 쓴 것
힐베르트가 기계가 만능이다라는 주장을 했고 세계수학학계가 암울했는데
학교에서 기계가 만능이 아니다라는 의미를 가지는 를 읽고
연산을 수행하는 자동화된 기계라는 분야에 흥미를 가지고 공부하게 된다
괴델의 불완전성 원리의 간단함에 새로 자신만의 방식으로 증명
그 과정에서 universial machine이라는 단어 나옴
이런 방식으로 람다대수를 만들어서 불완전성 원리 증명한 알론소 처치를 따라 프린스턴으로 떠남
만들어냄
22살에 수학박사되고 논문 엄청 쓴 존 폰 노이만과 교류
맨하탄 프로젝트에 존 폰 노이만이 참여
앨런 튜링은 암호 얀그서 에드박 참여
논문 전쟁 끝나고 냄
근데 중단됨 못알아봐서
이후에 몇년뒤 구현되었는데 당시 세계젤빠른 컴퓨터
폰노이만이 edvac 보고서 미국서 썻는데 튜링머신 아이디어 참고했는지 확실하지 않다
이후 영국 현실에 막혀
맨체스터 대학에 가서 인공지능 공부
수학과 생물학 공부하며 논문 쓴다
과연 기계는 생각을 할수 있을까라는 질문으로 논문 시작
철학적 논문can machine think? Imitation Game
여기서 나오는 말 , 강화학습 개념 소개
모든 지성의 영역에서 인간과 기계의 경쟁을 예측
이후 자연에서 발생하는 패턴이 생기는 과정을 수학적으로 서술
호르몬 화학치료중 사과먹고 자살
폰 이만 구조 이론적 창시자 AI의 선두자이자 튜링 테스트의 어원 애니그마 개발자
어린시절 튜링은 친구를 되살리고 싶은 마음에 양자역학과 수학에 심취했다
엘런 튜링의 기계에 대한 증명은 괴델의 불확정성 원리에 기반한다
2차대전 에니그마 독일 이 uboat (undersea)에서 사용한 암호화기술 - 1943 - 앨런 튜링
에니악도 수소폭탄 시뮬레이션 위해 만들어진 것 - 1946 - 미국
폰 노이만이 edvac 보고서로 폰 노이만 구조 정립 (1936 앨런튜링이 제안한 논문과 거의 비슷 - 하지만 튜링 언급 없다)
엘란 튜링이 보니 불완전해보이는 보고서 → 영국에서 만들어주세요 해서 더 대단한 Proposed Electronic Calculator라는 논문을 낸다
Automatic Computing Engine 으로 이름짓는다
edvac을 넘어 서브루틴 가능하게 구조 설계했지만 너무 복잡하다고 영국에서 불가능한거 아니냐고 못알아먹음
ace프로젝트 중단됨
3년뒤 pilot ace라는 계속기로 제작되서 세계에서 가장 빠른 컴퓨터로 기록된다
그 후 궤델 소개해준 맥스뉴먼 따라 맨체스터 대학 가서 연구
모두 초월한 인공지능을 만들어야겠다 해서 수학적 생물학 공부 시작
1950년에 - computing machinery and intelligence를 만든다
The imitation game이라는 유명한 단어가 나온다 → turing test 라고 불리며 매년 세계에서 열리고 있다
2014년에 유진 구스트만이 최초로 튜링 테스트를 통과한다
이 논문 마지막으로 한문장으로 정리 - 철학적 논문
이후에 직접 turochamp를 개발하게 되지만 진짜 실행에는 실패 - 알고리즘 복잡
2012년도가 되서야 만든다 - 결과는 좋지 못했지만
morphogenesis라는 개념
자연에서 발생하는 패턴이 생성되는 과정을 수학적으로 설명하는 논문도 내게 된다 - 생물학 논문
아놀드 머레이라는 남자와 연인관계했지만
동성애 영국 불법이라서 구금된다
2013년에 영국은 동성애결혼이 합법화된다
호르몬치료를 받으며 슬픔을 못이겨 청산가리를 만들어 사과에 넣고 자살한다
이후 영국은 에니그마를 다른 국가에 보안 확실하다고 팔고 자기들만 해독해서 그 정보 사용한다
영국은 이를 감추기 위해, 동성애자 앨런 튜링을 감춘다
the ultra secret에서 튜링의 업적이 밝혀진다 영국과 애니그마
2009년에 앨런튜링 사면운동이 일어난다 - 2010년에 스티븐 호킹이 가세하고 10대 인물에 엘런 튜링이 들어가고 엘리자베스 2세 여왕의 특별사면권으로 공식 사면된다
컴퓨터계의 노벨상인 튜링상이 생긴다