Metadata
Author: WikiMatrix
Data
English[en]
Alonzo Church and Alan Turing proposed formal models of computability, giving independent negative solutions to Hilbert's Entscheidungsproblem in 1936 and 1937, respectively.
Korean[ko]
아론조 교회와 알란 튜링은 계산 가능성이 형식적인 모델을 제의해, 1936년 및 1937년에 각각 독자적으로 히르베르트의 '결정 문제'를 부정적으로 해결했다.