Metadata
Author: ParaCrawl Corpus
Data
English[en]
He presented in his address: a critique of non-formal theories; the notion of a formal system (illustrated by Dickson 's postulates for a group); the notion of a calculus; discussion of a metatheory; the definition of mathematics; and acceptability of a formal system, discussing criticisms from intuitionists and formalists.
Korean[ko]
그는 연설에서 발표 : 비 - 공식적인 비판 이론, 공식적인 시스템의 개념 (딕슨 '들에 의해 그림 그룹에 대한) 여긴다; 미적분의 개념; metatheory 논의, 수학의 정의 및 수용 공식적인 시스템 intuitionists 및 formalists의 비판에 대해 얘기했다.