에 의해 조나단 키츠

1935 년에 사실을 알게 되는데 세 명성을 쌓기 위해서이 공격에 세계 최고 수학자. 튜링은 22 살이었고 케임브리지의 새로운 동료였습니다. 그 대상,데이비드 힐베르트,었던 숭배 괴팅겐 대학 교수로 있던 단독으로 설정 연구 과제에 대한 20 세기에서 수학했다.

Hilbert 는 영국 신출내기와 일치하지 않았습니다. 그의 책에서 Turing’s Vision,크리스 베르나르게는 방법을 보여 줍니다 Turing 점선 중 하나는 힐베르트의 위대한 야망을 가진 대작증명 과정에서 그가 실수로 발명한 현대적인 컴퓨터입니다.

제목의 튜링의 종이,”에 계산할 수 번호 응용 프로그램과 함께 Entscheidungsproblem”(을 의미하는”결정이 문제가”)는 거의 초대하,읽기 그것은 고급 교육입니다. 는 이유를 설명 할 수있으로,튜링의 명성,폭발 가장 인기 있는 쓰기에 초점을 맞춘 그의 전시 codebreaking,그의 전후에 쓰는 인공 지능하거나 자신의 핍박하고 검찰에 대한 게이와 사후 왕실을 용서.

그러나 Bernhardt 의 책이 드라마에서 부족한 것은 명쾌한 설명으로 만회합니다. 튜링의 비전은 신중한 독자가 튜링의 이름을 만든 증거를 높이 평가하고 보너스로 현대 컴퓨터의 기초를 이해할 수있게합니다.

Entscheidungsproblem 은 수학의 기본 공리가 논리적으로 일치한다는 것을 보여주기 위해 Hilbert 의 작업의 일부였습니다. 저쪽 끝으로,힐베르트를 찾는 알고리즘 전산 절차는지 여부를 나타내 주어진 수학적 문 될 수 있는 증명에서 그들을 살펴보면 혼자입니다. 튜링은 그러한 알고리즘이 없다는 것을 단호하게 보여주었습니다.

“튜링이 없음을 입증 기계적인 규칙에 대한 솔루션의 모든 수학적 문제에”

지,베르나르명,튜링을 먼저 설정 작업에 대한 정의 용어 알고리즘을 정의하이 무엇을 의미하는 계산합니다. 튜링은 인간의”컴퓨터”–계산을 한 사람들을 보았습니다. 이 작업은 종이에 기호를 쓰는 것을 포함한다고 그는 지적했다. “어떤 순간에 컴퓨터의 동작은 기호에 의해 결정된다…그는 관찰하고 자신의’마음의 상태’.”

외관상 복잡한 cogitation 을 간단한 산술 절차로 분해하여 Turing 은 계산을 명시 적으로 만들고 인간의 요소를 제거했습니다. “Turing 의 신선한 통찰력은 이론적 인 컴퓨팅 머신의 관점에서 알고리즘을 정의하는 것이 었습니다.”라고 Bernhardt 는 씁니다. “계산할 수있는 것은 튜링 기계로 계산할 수 있습니다.”

기계가 튜링의 논문의 중심이었던 이유입니다. 튜링 기계가 무한정 실행되고 결정적으로 실행될 알고리즘이 있음을 보여주는 것은 힐버트가 잘못되었다는 것을 보여주는 방법이었습니다. 튜링은”대답 할 알고리즘의 힘을 초월한 질문이 있었다”는 것을 증명했다. 그의 승리는 장관이었고,(힐버트가 그랬던 것처럼)모든 문제가 해결 될 수 있다고 믿는 사람들에게 파괴적이었습니다.

아직으로 중요 한 이론적 기계를 Turing 의 증거,그들이 밝혀졌다 더 많은 영향을 미칠에서 자신의 오른쪽을 제공하는 개념적 모델을 위해 현대 컴퓨터입니다. 영향력 직접적인,알리 John von Neumann 의 선구적인 1945 년을 위한 디자인 전자,컴퓨터 및 객실 크기의 기계용의됩니다. 튜링의 기계와 마찬가지로 컴퓨터는 프로그램과 데이터를 인코딩하기 위해 1 과 0 을 사용했습니다. 이 유지에 필수적인 높은 수준의 언어와 네트워크,그래서에 대한 학습에 투링 기계,독자 선택의 원칙을 컴퓨터 과학.

오늘날에도 철학적 파급 효과가 있습니다. 인간의 행동에 컴퓨터를 기반으로하는 데,튜링은 사람들이 정말 튜링 기계라고 지적했다. 컴퓨터는 우리의 거울입니다:우리가 최신 인공 지능에 놀라거나 떠들썩하든,우리는 단지 자신을 바라보고 있습니다.

이 문서에서 나타났는 인쇄에서의 제목은”우리는 튜링 머신?”

(을 때*구매를 통해 이 페이지에 링크를 우리를 벌 수 있습니다 소위원회,그러나 이것 역할을에서 우리가 무엇을 검토하거나 우리의 의견의습니다.)

추이 주제에 최선을 다하고 있습니다:

• 수학
• 컴퓨팅
• 알고리즘