Examples of using Foundations of mathematics in English and their translations into Korean
{-}
-
Colloquial
-
Ecclesiastic
-
Ecclesiastic
-
Programming
-
Computer
These areas included set theory, and the foundations of mathematics.
His lectures on the foundations of mathematics impressed young students by their remarkable clarity and enthusiasm….
그의 수학의 기초를 자신의 뛰어난 선명도와 열정으로 젊은 학생들에게 감동의 강의를….Hamel worked in function theory,mechanics and the foundations of mathematics.
하멜 함수 이론,역학 및 수학의 기초에서 근무했다.The foundations of mathematics had always interested Enriques, and, at Klein 's request, he wrote an article on the foundations of geometry.
수학의 기초, 그는 기하학의 기초에 대한 기사를 쓴 사람, 그리고 클라인의 '요청을이야 항상 관심을 Enriques했다.He published his first major work The Foundations of Mathematics in 1925.
그는 1925 년 그의 첫 주요 작품 수학의 기초를 발표했다.At Zurich, in addition to his work on set theory he also worked on differential geometry, number theory,probability theory and the foundations of mathematics.
취리히에서, 그는 미분 기하학에 대한 효과를 설정 이론에 자신의 작품뿐만 아니라, 숫자 이론,확률 이론 및 수학의 기초.Luzin's main contributions are in the area of foundations of mathematics and measure theory.
While it is true that these foundations of mathematics have gained automaticity in most adults, we must not forget the challenge of learning a new skill for the first time.
이러한 수학의 기초가 대부분의 성인에서 자동성을 얻은 것은 사실이지만, 우리는 처음으로 새로운 기술을 배우는 도전을 잊지 말아야합니다.In the letters he also discusses Cantor 's set theory and the foundations of mathematics.
편지가 있음도 캔터 '와 수학의 기초 이론 s 설정에 대해 설명합니다.He made a major contribution to the study of the foundations of mathematics, in particular the study of undecidable theories.
그는 undecidable 이론의 연구, 특히 수학의 기초의 연구에 큰 기여를했다.Reidemeister's other interests included the philosophy and the foundations of mathematics.
Reidemeister의 다른 관심사 철학과 수학의 기초가 포함되어있습니다.His first research work was on set theory and the foundations of mathematics, following the ideas which Cantor had introduced.
그의 첫 번째 연구 작업을 도입했다 칸토어 아이디어를 다음과 같은 설정 이론 및 수학의 기초에있다.The thesis examines the 1920s dispute between Hilbert and Brouwer on the foundations of mathematics.
이 논문은 수학의 기초에 Brouwer 교슈님와 1920 년대 사이에 분쟁을 검사합니다.His doctoral thesis in 1907 attacked the logical foundations of mathematics and marks the beginning of the Intuitionist School.
In 1927 Lesniewski published his first important work on the foundations of mathematics.
His first memoir on the foundations of mathematics was published there in 1810 but, after it received less than good reviews from Lacroix and Lagrange, Wronski broke off relations with the Institute in Paris.
수학의 기초에 대한 그의 첫 번째 회고록에는 1810 년 출판 되 었 음 :하지만, 이후에 덜 라크로와 라그랑주에서보다 좋은 평가를받은 Wronski 파리에서 연구소와 관계를 부러 트 렸어요.He objected to restricting the role of metamathematics to the foundations of mathematics.
그는 수학의 기초를 metamathematics의 역할이 제한에 반대했다.This has been the viewpoint taken by foundations of mathematics, which has traditionally accorded the management of paradox higher priority than the faithful reflection of the details of mathematical practice as a justification for defining mathematical objects to be sets.
이는 수학기초론 에 의해서 놓쳐 온 관점이다. 수학기초론은 전통적으로, 수학적 대상을 집합으로서 정의하는 것에 대한 정당화로서 역설을 잘 취급하는 것에 수학적 실천의 상세를 정확하게 반영하는 것보다도 높은 우선 순위를 주어 왔다.He quickly discovered that his ideas on the foundations of mathematics would not be readily accepted.
그는 신속하게 그것이 수학의 기초에 대한 자신의 아이디어를 쉽게 허용되지 않을 것이 발견.Led by Janiszewski this school was particularly interested in set theory, and the foundations of mathematics.
특히이 학교 설정 이론, 수학의 기초에 관심을 Janiszewski에 의해 주도.He was offered the chair of pure and applied mathematics and foundations of mathematics at Utrecht University and he took up his duties there in 1946.
그는 순수 및 응용 수학과 위트 레흐트 대학교에서 수학의 기초를 제공했다의 의자 그리고 그가 거기에 1946 년 자신의 직무를 시작했다.After this he returned to Göttingen where he worked under Weyl for his doctorate on the foundations of mathematics.
그것이 바로 그가 괴팅겐에 어디 바일 아래 수학의 기초에 대한 자신의 박사 학위를 위해 일한 후 반환.Elsevier Studies in Logic and the Foundations of Mathematics, vol.
논리학 연구, 수학 기초론 81권Proof Theory, Studies in Logic and the Foundations of Mathematics, Vol.We must say a little about another aspect of Weyl's work which we have not really mentioned, namely his work on mathematical philosophy and the foundations of mathematics.
우리는 바일 일을 우리가 진짜로 언급하지 않는가가 또 다른 측면,즉 수학 철학 및 수학의 기초에 자신의 작품에 대해 조금 얘기해야합니다.Model theory; Studies in Logic and the Foundations of Mathematics, Vol.
증명 이론, 논리학 연구, 수학 기초론 81권Proof Theory, Studies in Logic and the Foundations of Mathematics, Vol.In 1891 Peano founded Rivista di matematica, a journal devoted mainly to logic and the foundations of mathematics.
페아노 있음 Rivista 디 matematica, 저널 수학의 기초 논리를 주로하고 헌신을 설립했습니다.During this period at Cambridge, Wittgenstein continued to work on the foundations of mathematics and also on mathematical logic.
캠브리지에서이 기간 동안, 비트 겐슈 타인 수학의 기초에 대한 수학적 논리 또한 작업을했다.The tests of the propeller were successful but, needing to understand more mathematics for his research, he began a study which soon involved him in the foundations of mathematics.
프로펠러의 테스트를 성공했지만, 그의 연구에 대한 더 많은 Combinatory Logic Studies in Logic and the Foundations of Mathematics, Vol.
증명 이론, 논리학 연구, 수학 기초론 81권Proof Theory, Studies in Logic and the Foundations of Mathematics, Vol.Turing graduated in 1934 then, in the spring of 1935, he attended Max Newman 's advanced course on the foundations of mathematics.
년 후 튜링은 1935 년 봄, 그는 맥스 뉴먼 '수학의 기초에의 고급 과정에 참석을 졸업했습니다.
