검색 결과

...ursively enumerable language}}, 귀납적 가산 언어(歸納的可算言語)), '''부분 결정성 언어''' 또는 '''튜링 수리성 언어'''는 [[계산 이론]]과 [[수리논리학]]에서 다루는 [[형식 언어]]의 종류로, 문자열의 집합의 [[재귀 열거 집합|재 # 재귀 열거 언어는 언어의 모든 옳은 문자열을 세는 [[튜링 기계]] (또는 다른 계산 가능 함수)가 존재하는 형식언어이다. 주목할 것은 만약 언어가 [[무한]]하다면 제공된 가산알고리듬을 고를 ...

|6=[[제 2차 세계대전]]에서 활약한 영국의 암호학자이자 수학자인 [[앨런 튜링]]. 동성애 혐의로 거세당해 비참한 최후를 맞았다. ...

[[분류:앨런 튜링]] ...

...초는 [[가산 집합]] 상에서 함수의 해를 찾는 문제와 관련이 있다. 1930년대 [[불완전성 정리]]와 함께 [[람다 대수]]와 [[튜링 기계]]라는 계산 모형이 만들어지면서, 어떤 집합이 효율적으로 계산 가능한지의 문제는 실질적으로 그 집합을 효율적으로 계산해 내는 함수 계산 가능성 이론의 핵심과제를 풀기 위해서는 먼저 컴퓨터를 정의해야 한다. 계산에 쓰이는 많은 모형중에서도 가장 널리 알려진 모형은 [[튜링 기계]]이며 현존하는 가장 강력한 모형이다. 여기에 다음과 같은 다른 형태의 모형도 존재한다. ...

{{다른 뜻|튜링 테스트||인공지능의 정도를 판별하는 테스트}} [[파일:Maquina.png|섬네일|튜링 기계의 작동 방식을 묘사하는 그림임|355x355픽셀]] ...

...폴란드]]의 수학자 {{Ill|타데우스 바나히에비츠|en|Tadeusz Banachiewicz}}에 의해 처음 사용되었으며, [[앨런 튜링]]에 의해 공학 분야에서 적극적으로 응용되기 시작했다.<ref name="Schwarzenberg">{{저널 인용|title=On ma ...

==== 앨런 튜링(Alan Turing) ==== ...to the Entscheidungsproblem''("결정 문제에 대한 응용을 포함한 계산 가능한 수에 관하여")이라는 논문에서 [[튜링 기계]](Turing Machine)의 개념을 소개했다. ...

|[[앨런 튜링]]<ref>{{저널 인용 | last=Turing | first=Alan M. | authorlink=앨런 튜링 | title=Some calculations of the Riemann zeta-function | doi=10.1112/plms/s ...