그레고리 차이틴

Gregory Chaitin
그레고리 차이틴
태어난 (1947-06-25) 1947년 6월 25일 (74세)
시카고[1]
국적아르헨티나계 미국인
로 알려져 있다.차이틴-콜모고로프 복잡성
차이틴의 상수
차이틴 알고리즘
과학 경력
필드생물학
수학
컴퓨터 공학
기관리우데자네이루 연방 대학교
IBM 토머스 J. 왓슨 연구소
영향고트프리트 빌헬름 라이프니즈

그레고리 존 차이틴(Gregory John Chaitin,/1947년 6월 25일생)은 아르헨티나계 미국인 수학자 겸 컴퓨터 과학자다. 1960년대 후반부터 Chaitin은 알고리즘 정보 이론과 변성술, 특히 괴델의 불완전성 정리에 상당하는 컴퓨터 이데올로기적 결과에 기여했다.[2] 그는 안드레이 콜모고로프, 레이 솔로모노프와 함께 오늘날 알고리즘(Solomonoff-Kolmogorov-Chaitin, Kolmogorov 또는 프로그램 크기) 복잡성의 창시자 중 한 명으로 여겨진다. 예를 들어, 작업과 함께. 솔로몬오프, 콜모고로프, 마틴 뢰프, 레오니드 레빈, 알고리즘 정보 이론은 이론 컴퓨터 과학, 정보 이론, 수학 논리의 기초적인 부분이 되었다.[3][4] 그것은 몇몇 컴퓨터 과학 교과과정의 공통 과목이다. 컴퓨터 과학자들 외에도, 차이틴의 작품은 수학적 창의성과 디지털 철학의 근본적인 문제들로 많은 철학자들과 수학자들의 관심을 끌고 있다.

수학과 컴퓨터 과학

그는 뉴욕의 브롱크스 과학 고등학교와 시티 칼리지에 다녔는데, 그곳에서 그는 (아직 10대인) 알고리즘의 복잡성을 독자적으로 발견하게 된 이론을 발전시켰다.[5][6]

차이틴은 차이틴의 상수 Ω을 정의했는데, 이는 숫자가 등분되고 때때로 비공식적으로 임의 프로그램이 중단될 확률의 표현으로 설명되기도 한다. Ω은 정의 가능한 수학적 특성을 가지며, 아래로부터의 점증적 근사치(위로부터의 근사치는 아님)를 가지지만 계산은 불가능하다.

차이틴은 또한 차이틴 알고리즘으로 알려진 프로세스인 컴파일에서 등록 할당을 하기 위해 그래프 색소를 사용하는 원조가 되기도 한다.[7]

그는 이전에 뉴욕 소재 IBM의 토마스 왓슨 리서치 센터의 연구원이었으며 명예 연구원으로 남아 있다. 그는 약 15개 국어로 번역된 10여 권의 책을 썼다. 그는 오늘날 진화론의 메타비오론과 정보이론적 공식화에 대한 질문에 관심이 있다.

기타 학술적 기여

차이틴은 철학, 특히 형이상학과 수학 철학(특히 수학의 인식론적 문제에 대해)에 대해서도 글을 쓴다. 형이상학에서, Chaitin은 알고리즘 정보 이론이 생물학 분야의 문제 해결의 열쇠라고 주장한다('생명'의 형식적 정의, 그 기원과 진화), 신경 과학(의식과 정신의 연구).

최근 저술에서 그는 디지털 철학으로 알려진 지위를 옹호한다. 수학의 인식론에서 그는 수학논리와 알고리즘 정보 이론에서 그의 발견이 "이유 없이 참된, 우연히 참된, 수학적인 사실"이 있음을 보여준다고 주장한다.[8] Chaitin은 수학자들이 그 수학적인 사실들을 증명할 어떤 희망도 버리고 준유해적 방법론을 채택해야 한다고 제안한다.

명예

1995년에 그는 메인 대학교로부터 과학 명예의사 학위를 받았다. 2002년 그는 아르헨티나 부에노스아이레스 대학에서 명예교수 칭호를 받았고, 그의 부모가 태어났으며 차이틴은 그의 젊음의 일부를 보냈다. 2007년에 그는 울프램 리서치에 의해 라이프니즈 메달을[9] 받았다. 2009년에 그는 코르도바 국립대학으로부터 철학 명예와 인과 박사 학위를 받았다. IBM의 토머스 J. 왓슨 연구소의 연구원이었으며, 현재는 리우데자네이루 연방대학 교수로 재직 중이다.

비판

일부 철학자와 논리학자는 차이틴이 생각하는 것과 관련된 그의 이론에서 도출한 철학적 결론에 동의하지 않는다.[10] 논리학자 토르켈 프란체엔은 괴델의 불완전성 정리에 대한 차이틴의 해석과 이에 대한 설명이 차이틴의 작품이 대변한다고 비판했다.[11]

참고 문헌 목록

참조

  1. ^ Gregory Chaitin(2007), 알고리즘 정보 이론: "Chaitin Research Timeline" 2012년 3월 23일 웨이백 머신에 보관
  2. ^ 메타수학 리뷰!: The Quest for Omega, By Gregory Chaitin SIAM News, 39권 2006년 1월/2월
  3. ^ Calude, C.S. (2002). Information and Randomness: An Algorithmic Perspective. Texts in Theoretical Computer Science. An EATCS Series. Springer-Verlag.
  4. ^ 다우니, 그리고 D. Hirschfelt(2010), 알고리즘 랜덤성과 복잡성, Springer-Verlag.
  5. ^ Li; Vitanyi (1997), An Introduction to Kolmogorov Complexity and Its Applications, Springer, p. 92, ISBN 9780387948683, G.J.Chaitin had finished the Bronx High School of Science, and was an 18-year-old undergraduate student at City College of the City University of New York, when he submitted two papers.... In his [second] paper, Chaitin puts forward the notion of Kolmogorov complexity....
  6. ^ Chaitin, G. J. (October 1966), "On the Length of Programs for Computing Finite Binary Sequences", Journal of the ACM, 13 (4): 547–569, doi:10.1145/321356.321363, S2CID 207698337
  7. ^ G.J. Chaitin, Graph Coloring을 통한 Register Assignment and Spilling, 미국 특허 4,571,678 (1986) [Intel® Itanium® Architecture 등록 할당, 페이지 155]
  8. ^ Chaitin, G. J. (2003). "From Philosophy to Program Size". arXiv:math/0303352.
  9. ^ 제닐, 헥터 "레이브니즈 메달리온은 300년 만에 살아난다" 2007년 11월 3일, 헥터 제닐의 블로그인 Anima Ex Machina.
  10. ^ 파누 라티카인엔, 2001년 10월 미국 수학 학회 서평의 "임의와 알 수 없는 것을 탐구하라" 공지.
  11. ^ Franzén, Torkel (2005), Gödel's Theorem: An Incomplete Guide to its Use and Abuse, Wellesley, Massachusetts: A K Peters, Ltd., ISBN 978-1-56881-238-0

추가 읽기

외부 링크