2건의 항목

  • 튜링 완전이란 무엇인가? Turing Machine 가상의 기계 무한히 긴 테이프 그 테이프를 읽고 쓰는 헤드 상태 머신 (현재 상태와 입력 문자를 기반으로 다음 상태와 출력 문자를 결정) “이론상으로 모든 계산을 수행할 수 있음” Turing Completeness system 튜링 기계가 할 수 있는 모든 계산을 수행할 수 있는 시스템를 말함 언어로는 C, Java, Python, Ruby, JavaScript 등이 있음 Turing Incompleteness system 튜링 완전하지 않은 언어를 말함 특정한 종류의 계산을 수...

  • 튜링 머신 다비트 힐베르트 20세기 가장 위대한 수학자 힐베르트 문제가 이 아저씨 힐베르트의 꿈 정의(def)와 공리(axiom)를 입력하면 모든 수학적 명제를 도출해 줄 수 있는 기계를 만들자 쿠르트 괴델 힐베르트의 꿈을 박살냄 ㅎㅎ 불완전성 정리 기계적인 방식으로 모든 수학적 명제를 도출할 수 없다.