Metadata
Author: ParaCrawl Corpus
Data
English[en]
Kleene developed a diverse array of topics in computability: the arithmetical hierarchy, degrees of computability, computable ordinals and hyperarithmetic theory, finite automata and regular sets with enormous consequences for computer science, computability on higher types, recursive realizability for intuitionistic arithmetic with consequences for philosphy and for program correctness in computer science.
Korean[ko]
Kleene computability 주제의 다양한 배열 : 산술 계층 computability의도 계산할 수 ordinals 및 hyperarithmetic 이론, 유한 오토마타 및 컴퓨터 과학, 높은 유형 computability 철학에 대한 결과와 함께 intuitionistic 산술에 대한 재귀 realizability에 대한 엄청난 결과를 정기적으로 세트를 개발 컴퓨터 과학 프로그램을 수정합니다.