Metadata
Author: ParaCrawl Corpus
Data
English[en]
There is a different general program which does not seem to suffer the defects of [ Hilbert 's ] consistency program: To determine the constructive (recursive ) content or the constructive equivalent of the non-constructive concepts and theorems used in mathematics, particularly in arithmetic and analysis.
Korean[ko]
여기는 [의 결함이 고통을 보이지 않는 다른 일반적인 프로그램입니다 힐베르트 '] 일관성을위한 프로그램 : 건설 (재귀를 확인하려면) 콘텐츠 또는 이외의 건설 - 건설 상응하는 개념 및 정리 수학에서 사용하는 산술 및 분석, 특히있다.