[The list of web
data on Allan Turing] (영문자료, 한글자료)
* You can download the pdf file form the follwing site:
===============================================================
현대 디지털 컴퓨터의
아버지라고 일컬어지는
영국 수학자 앨런
튜링이 바로 백년전 1912년 6월 23일에 태어났다.
그래서 금년이 수학자
Allan. Turing 탄생 100주년 기념 해이다.
2009년에 우리는 촬스 다윈 200주년 기념
해를 가졌는데
그 기억이 완전히
사라지기도 전에
현재의 컴퓨터,
인터넷, SNS 등 모든 디지털 문화의 출발을 촉발시켰고
기계와 마음의 연결의
핵심 융합 학문인 인지과학의 탄생의 20세기 출발점이 된
앨런 튜링의 100
주년을 맞이하여 국내와 국외에서 전세계적으로
여러 기념행사가
개최되거나 준비되고 있다.
이러한 맥락에서, 현재
웹에 흩어져 있는
Allan Turing 관련 자료 링크들을
다음에 모아 본다,
================ Web data
on Turing [in English] ==================
[Abroad] (in
English)
1, 앨런 튜링 : 사람
Turing : the person:
Wikipedia data
----------------------------------------------
Turing 2012: The life and
works of Alan Turing
http://turing.pilosopiya.com/ (영문:
English)
- THE THINKER // THE
CENTENARY // THE CONFERENCE
----------------------------------------------
Allan Turing :
Homepage
2. Books on Turing
Alan Turing: The Enigma:
The Centenary Edition
Alan Turing: The Enigma of Intelligence [
-by Andrew Hodges (1985) (Harper-Collins)
Alan Turing: Life and Legacy of a Great Thinker
-by Christof Teuscher (2006)
- Springer
* The following site: (;http://www.amazon.com/s?ie=UTF8&rh=n%3A283155%2Ck%3AAlan%20Turing&page=1) lists 24 books(as of June, 2012) related to Turing. There are too
many references on Turing to list and describe all of them in this web posting.
Hence, a limited list of references are shown here. The interested viewers can
refer to the [REFERENCES] attached to the linked-pdf fille, listed at the end of
this posting. *
----------------------------------------------
3. Conferences in memory of Alla Turing; 튜링 기념 학술대회
2012 ; Alan Turing Year /
Events Overview
- A centenary Celebrarion
of the Life and Work of Alan Turing
- Commemorating Evnts
(international) throughout ther year of 2012
----------------------------------------------
Turing centenary
conference
-CiE(Computability) in
2012 -How the World Computes
----------------------------------------------
The Alan Turing centenary
conference
-will be held on June
22-25, 2012 in Manchester, UK.
[programme]
----------------------------------------------
Dartmouth College
Articial Intelligence Conference: The Next Fifty Years.
- 50년전 Dartmouth 학술모임에
참여하였던 개척 학자들 사진 기념촬영
////////////////////////////////////////////////////////////////////////////////////////////////
================ II. Web
Data [in Korean](한글) ==================
[Home] (in
Korean)
1. 앨런 튜링; 사람 소개 위키피이아 자료 (한글)
앨런
튜링
---------------------------------------------------------------
[이재구코너]: 앨런 튜링… 비운의 컴퓨터
선구자
------------------------------------------------
처치-튜링 명제:
------------------------------------------------
튜링기계:
http://www.aistudy.com/computer/turing_machine.htm (인공지능 개념 사이트)
------------------------------------------------------------
튜링
테스트
-----------------------------------------------
컴퓨터의 시조,
'비운의 천재' 앨런 튜링
-OhmyNews 기사
------------------------------------------------
역대 튜링 상
수상자
------------------------------------------------
튜링 소개 + 우표들
사진
-----------------------------------------------
컴퓨터 역사
:2012년은 튜링 탄생 100주년 [한글]
------------------------------------------------
2. 앨러 튜링 관련 [책]; Books
튜링
- 장 라세구 저/임기대 역 / 출판사: 동문선
[추상적 사유의 위대한 힘 : 튜링&
괴델]
-박정일 저 / 김영사,
(2003년)
수학자가 들려주는 수학
이야기-10 : 튜링이 들려주는 암호 이야기
박철민 저 / 출판사:
자음과모음 (2008년)
[너무 많이 알았던 사람: 앨런 튜링과
컴퓨터의 발명
- 데이비드 리비트 (지음) 고중숙 (옮김)
(출판사; 승산)/ 2008.
"수학자, 컴퓨터를 만들다 : 라이프니츠에서
튜링까지"
- 마틴 데이비스 저/ 박정일,장영태 공역 |
출판사: 지식의풍경
- 원서 : The Universal
Computer(2000)
황제의 새마음 :
Roger Penrose 저서, 박승수 옮김, 이화여대 출판부, 1996 (원서 : The Emperor's New Mind :
Concerning Computers, Minds, and The Laws of Physics, Oxford Univ. Press,
1989)
-알고리즘과 튜링기계 -
------------------------------------------------------------
3. [학술모임]
컴퓨터를 만든 사람:
튜링 탄생 100주년 기념 강연회 및 계산이론 여름학교
Alan Turing Centenary and
Theory of Computation Summer School 2012
- Date : 2012. 6. 23 ~
26
- Place: Hotel Interciti,
Daejeon (대전)
이
여름학교 학술모임의 세부 프로그램 (Programs) ==>
6월 23일
9:00 - 09:30 축사 - 대한수학회장 서동엽, 한국정보과학회장 김명준
9:30 - 10:15 앨런 튜링, 지식정보화사회를 열다 - 박정일
지식정보화사회에
이르는 정보혁명을 이끈 것은 컴퓨터이다. 현대 컴퓨터를 발명하게 했던 그 핵심적인 아이디어를 우리는 ‘튜링 기계’, 또 더 나아가 ‘보편 튜링
기계’라고 부른다. 요컨대 컴퓨터 앞에서 자판을 두드리며 마우스를 클릭할 때 우리는 바로 보편 튜링 기계의 화신을 다루고 있는
것이다.
튜링은
1954년 그의 나이 43세 때 청산가리에 담가놓았던 사과를 베어 먹고 자살을 했다. 제2차 세계대전이라는 위기에서 자신의 조국 영국을 구한
영웅이었던 그의 이러한 비극적 결말은 그의 탄생 100주년이 되는 현재, 네티즌들의 청원 운동으로 이어지고 있다. 튜링이 왜 그러한 비극적
결말을 선택할 수밖에 없었는지, ‘튜링 기계’와 ‘보편 튜링 기계’가 어떻게 현대 컴퓨터의 발명과 직결되는지, 왜 현대 컴퓨터의 발명에 기여한
그의 업적이 서양사회에서 30년 이상 철저하게 은폐되었는지, 왜 그가 인공지능의 아버지라고 불리는지, 그리하여 왜 그가 비로소 지식정보화 사회를
열었다고 할 수 있는지, 그의 탄생 100주년을 맞아 되새기고 음미해 본다.
10:15 - 11:00 1936년 논문에 드러난 튜링기계, 컴퓨터의 디자인 - 이광근
1936년 튜링은 괴델의 불완전성 증명을 다시 자신만의 방식으로 증명하는 논문에서 만능기계(Universal
Machine)의 디자인이 살짝 모습을 드러낸다. 기계적인 방식으론 모든 수학적인 사실들을 자동으로 만들어 낼 수 없다는 20세기 초의 좌절을
다시 증명하는 과정에서 아이러니하게도 20세기 정보 과학혁명의 도구인 컴퓨터의 디자인이 나타난 것이다. 이 발표에서는 튜링의 1936년도
오리지날 논문을 세밀히 살피면서 이 역사적인 과정을 다시 짚어 보도록 한다.
11:15 - 12:00 괴델, 튜링, 결정가능성 문제 - 김병한
우선
`괴델의 불완전성 정리'와 간략한 역사적 배경에 대하여 살펴 볼 것이다. 이와 깊이 연관된, 튜링의 박사학위논문이면서 그의 초기의 가장 큰
업적인 `결정가능성 문제 (Entscheidungsproblem: decision problem)' 의 해결에 대한 설명이 강연의 주제이다.
튜링은 이 논문에서 `튜링기계'의 개념을 최초로 도입하는데, 이는 지금까지도 컴퓨터 설계의 기본 이론이 되고있다. 그의 학문적 영향력이
컴퓨터라는 매체를 통해 현대사회 전반에 크게 미치고 있는 것이다.
1:30 - 2:15 튜링의 업적에 대한 철학적 고찰--'멈춤문제 해결불가능성 정리' - 박창균
본
강연은 힐베르트의 ‘결정문제’를 ‘멈춤문제’로 전환하여 부정적으로 해결한 튜링의 업적을 ‘한계의 철학’의 맥락에서 고찰하려는 데에 있다. 따라서
이 강연에서는 튜링의 업적 그 자체를 소개하는 안으로부터의 접근이 아닌, 튜링이 이룩한 성과의 배경과 그것이 함축하는 바를 궁구하는 외적 접근이
시도된다. 튜링의 ‘멈춤정리’는 괴델의 불완전성정리의 ‘튜링버전’이라고 일컬어진다는 점에서 불완전성정리와의 관계를 먼저 소개하고, 애로우의
‘불가능성정리’, 하이젠베르크의 ‘불확정성원리’ 등 인류 지성사에서 ‘한계’를 도출한 성과들을 제시한 후 이러한 이론들이 실천적으로 함의하는
바가 무엇인지 살펴본다.
2:15 - 3:00 수학의 3번째 혁명과 전산논리학 – 박성우
수학계에서는
현재 세번째 혁명이 조용히 진행되고 있다. 전산논리학 분야에서 개발된 자동정리증명기와 증명보조기를 이용하여 복잡한 수학 증명의 엄밀함을
기계적이고도 의미있게 검증하는 방법론이 점차 퍼지고 있다. Coq 증명보조기를 이용하여 4색문제의 증명을 완료한 것이 대표적인
예이다.
튜링은
자신의 업적이 수학의 세번째 혁명의 토대가 될 것을 예견할 수 있었을까? 자동정리증명기와 증명보조기를 이용한 연구 동향을 소개하고 향후 연구
방향을 전망하고자 한다.
3:15 - 4:00 튜링과 암호 - 천정희
2차 세계대전 중 독일군은 에니그마(Enigma)라는 암복호화 기계를 만들어 널리 사용하였다. 튜링은 폴란드측에서 얻은
에니그마 작동원리를 토대로 에니그마의 해독에 성공하고 이의 고속화/자동화를 위해 암호해독 기계인 Bombe의 설계를 이끌었다. 튜링은 이
이외에도 여러가지 암호분석 및 설계에서의 업적을 남겼다. 본 강연에서는 에니그마 해독방법을 비롯해 튜링이 암호분야에서 남긴 업적과 그후 발전된
암호이론에 대해 소개한다. 특히 튜링모델보다 제한된 계산모델에서의 암호학적 난제의 복잡도 계산을 다루는 generic group model을
소개하도록 한다.
4:00 - 4:45 튜링과 인지과학 - 현우식
‘튜링과 인지과학’ 강연에서는 인지과학의 발전을 위한 튜링의 업적과 그가 남긴 과제를 논의한다. 이를 위하여, (I)
튜링기계와 컴퓨터의 계산가능성 문제를 다루고, (II) 튜링기계와 뉴럴 네트워크의 계산가능성 문제를 다루며, (III) 튜링기계와 마인드의
인지적 계산가능성 문제를 다룰 것이다.
5:00 - 5:45 Why should we study Quantum Computation? -
지동표
We discuss computational complexity , classical and quantum.
Especially we will discuss the implication of complexity difference between
classical and quantum, in physics and information science.
6:30 - Banquet
--------------------------------
6월 24일
9:45 - 12:30 형식언어의 이론 1 - 정주희
첫
시간에는 고전적인 형식언어와 오토마타 이론을 개괄적으로 훑어 보고 정리한다. 이어서 형식증명시스템의 3가지, 힐버트-프레게, 자연추론 및 피치
시스템을 형식언어의 틀에 맞추어 기술하고 분석한다.
14:00 - 17:00 NP-Completeness and the P vs NP Problem -
정교민
컴퓨터의
발명은 인간에게 많은 양의 계산을 짧은 시간에 해낼수 있는 새로운 능력을 부여하였다. 이러한 새로운 가능성은 주어진 문제의 답의 존재성에 더
관심을 두는 수학의 전통적인 접근법과는 다른, 제한된 계산 자원(시간,메모리 등)을 이용하여 어떻게 효율적으로 답을 계산할 것인가 하는 새로운
문제의 중요성을 대두시켰다. 이 강의에서는, 효율적으로 계산 가능한 문제(P)와 효율적으로 검증가능한 문제(NP)에 대해 알아보고,
NP-hard, NP-complete 의 개념 및 그 예와 암호론 등에서의 응용에 대해 알아본다.
----------------------------------
6월 25일
9:00 - 12:00 형식언어의 이론 2 - 정주희
형식언어의
꽃인 프로그래밍 언어 중 가장 순수한 형태인 람다 캘큘러스를 공부한다. 정의로부터 출발하여 기본적인 타입이론과 커리-하워드 대응을
소개한다.
14:00 - 17:00 Computational Complexity 1 - Jensen, Tommy
Rene
In the first talk we look at examples of computation models and
methods. Some models are very similar to modern computers. Others are made to be
of restricted powers and are used to make theoretical studies of computation
using a small amount of resources. We also look at examples of clever ideas to
solve computational problems.
----------------------------------
6월 26일
9:00 - 12:00 재귀함수이론 - 김병한
괴델과
튜링, 처치가 제안한 `결정 가능한 함수들'에 대하여 공부할 것이다. `결정 가능한 함수'는 `재귀함수', 때로는 `계산 가능한 함수'로
불리기도 하는데 이는 자연수 집합에서 자신으로 가는 함수들 중 그것의 값들을 결정할 수 있는 알고리듬 (또는 컴퓨터 프로그램)이 존재하는 경우에
그렇게 부른다. 튜링은 비결정 가능 함수들일지라도, 일반화된 튜링기계의 개념으로 `튜링비교'가 가능함을 보였고 이 비교가 순서구조를 이루게
된다. 이 순서구조에 대한 연구가 이 분야 연구의 핵심이다.
14:00 - 17:00 Computational Complexity 2 - Jensen, Tommy
Rene
In the second talk we study more closely the complexity theory of
time and space. If you are given a new computer twice as fast as your old one,
or with twice as much memory space, does it mean that you can solve more
problems? Probably it does. But there are theoretical questions which sound
similar, and are much harder to answer in general. These are "hierarchy"
questions. Then there are questions about time and space. If you know that a
problem can be solved in a limited time, does it mean that it can be solved
using a small amount of memory space? Results about "separation" of time and
space answer this question in certain cases, though in some strange cases things
do not go as well as you could hope.
===============================================================
4. [매스컴 뉴스]; [Masscom
News Reports]
[과학동아] 2012. 06월호 (통권.
Vol 319)
-[특집]인공지능 오딧세이 : 튜링의 위대한
오딧세이 78-103 쪽
- 컴퓨터를 창조한 괴짜 수학자 : 영국에서
튜링을 만나다 ; 80-85 쪽
- 내가 만난 튜링 : 튜링을
기리며; 86-87
- 생각하는 로봇 도를 깨치다 : 인공지능의
탄생과 미래; 88-95
(튜링테스트 VS 중국어 방 ; 93 쪽):
- 톱니바퀴에서 스마트폰까지 : 컴퓨터를 만든
수학자들; 96-97
- 절대 풀 수 없는 암호가 있을까? :
튜링의 마지막 도전 1; 98-99 (천정희, 서울대
수리과학부 교수)
- 생명도 수학으로 만들 수 있을까? :
튜링의 마지막 도전 2; 100-101
(박종화, 게놈연구소
소장)
- 우주를 컴퓨터로 만들 수 있을까? :
튜링의 마지막 도전 3; 102-103
(송용선, 천문연구소
연구원)
-------------------------------------------------------
튜링의
사과 - 경향신문 기사
-------------------------------------------------------
동성애자란 이유로
‘화학적 거세’ 판결 60년뒤…: 영 ‘국가폭력 자살’ 수학자 튜링 특별우표 발행
-한겨레신문 뉴스 기사
------------------------------------------------
[과학향기]: 베어 먹은 사과 로고의 영감을
제시한 튜링
-----------------------------------------------
입천장 주름에서 튜링을
만나다
[강석기의 과학카페]<70>앨런
튜링의 반응-확산 모형
------------------------------------------------
지식정보화 사회 연
‘인공지능’의 아버지
-박정일 | 숙명여대 교양교육원
교수
-----------------------------------------------
네티즌들 英정부에
“앨런 튜링 사면하라“
-ZDNetKorea 기사
=====================================================
5. 튜링기계이론과 [기계-마음
연결의 역사적 흐름] a pdf file
- A monograph in PDF file:,
( Connecting Mind (Brain) and Machine: Descartes' & Turing's Legacies and
going beyond them" ) ( / text
in Korean -)
“마음과 기계, 뇌의 연결 역사: 튜링기계 이론, 체화된
마음”
by Jung-Mo Lee(pfile size = 1227 K (12 June, 2012)
============================================================
|
Thursday, August 2, 2012
The list of web data on Allan Turing / (texts in English & Korean , mixed)
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment