Examples of using Principia mathematica in English and their translations into Korean
{-}
-
Colloquial
-
Ecclesiastic
-
Ecclesiastic
-
Programming
-
Computer
Principia Mathematica.
수학 원리.Philosophae Naturalis Principia Mathematica.
The Principia Mathematica of Russell.
러셀과 프린키피아 마테마티카.Philosophiae Naturalis Principia Mathematica.
자연철학의 수학적 원리.As the Principia Mathematica neared completion, Whitehead turned his attention to the philosophy of science.
완성 Principia Mathematica로 다가 화이트 과학의 철학에 주목했다.In science, Isaac Newton's famous work Principia Mathematica clearly demonstrates Euclid's influence.
과학에서 아이작 뉴턴의 유명한 작품 프린시피아 수학은 유클리드의 영향력을 분명하게 보여줍니다.The significant event for Post's career had been the publication of Russell and Whitehead 's Principia Mathematica.
게시물의 경력에 중요한 이벤트를 러셀과 화이트 헤드 '원리 Mathematica의 S 출간됐다.On formally undecidable propositions of Principia Mathematica and related systems.
체계들에서 I-On Formally Propositions Principia Mathematica and Related Systems.The first volume of Principia Mathematica was published in 1910, the second in 1912, and the third in 1913.
원리 Mathematica의 첫 번째 볼륨을 1910 년에 출판 되었음: 1912 년 두 번째, 그리고 1913 년 3.Ramsey's aim in this paper, however, was to improve on the Principia Mathematica and he did so in two ways.
이 신문에 램지의 목표는, 그러나, 원리 Mathematica에 대한 개선되었고 그렇게 두 가지 않았다.The first volume of Principia Mathematica was published in 1910, the second in 1912, and the third in 1913.
Principia Mathematica의 첫 번째 볼륨을 1910 년에 출판되었으며, 1912 년 두 번째, 그리고 세 번째는 1913 년.In this work he accepted the claim by Russell and Whitehead made in the Principia Mathematica that mathematics is a part of logic.
이 작품에서 그는 러셀에 의해 주장을 허용하고 화이트 헤드 원리 Mathematica에서 수학 논리의 일부입니다했다.In Principia Mathematica, Whitehead and Russell were able to provide detailed derivations of many major theorems in set theory, finite and transfinite arithmetic, and elementary measure theory.
Principia Mathematica, 화이트 헤드와 러셀에서 설정 이론, 유한 transfinite 산수에 대한 자세한 파생어를 제공하기 위해 많은 주요 theorems 수 있었다 초등 측정 이론.In science, Isaac Newton's famous work Principia Mathematica clearly demonstrates Euclid's influence.
과학에서, 아이작 뉴턴의 유명한 작품 프린시피아 수학명확하게 유클리드의 영향을 보여줍니다 예제 유클리드 호제법.The concept seems to have originated in Alfred North Whitehead and Bertrand Russell's Principia Mathematica 1910-13.
그 개념(용어는 아니지만)은 Alfred North Whitehead와 Bertrand Russel의 Principia Mathematica (1910-13)에서 시작된 것으로 보인다.She used the third Latin edition of Philosophiae naturalis principia mathematica, edited by H Pemberton under Newton 's supervision, which had been published in London in 1726.
그녀는 Philosophiae naturalis 원리 Mathematica의 라틴어 3 판, H 조 Pemberton에 의해 뉴턴의 '런던에서 1726 년에 출판됐다 감독, 편집에서 사용되는이야.Gödel's Theorem appears as Proposition VI in his 1931 paper“On Formally Undecidable Propositions in Principia Mathematica and Related Systems I.”….
괴델의 정리는 1931년 논문, "수학 원리와 그 연관 체계들에서 형식상 결정할 수 없는 명제들에 관하여I-On Formally Undecidable Propositions in Principia Mathematica and Related Systems I. "에서 명제 VI로 나온다.Their collaboration on Principia Mathematica appears to have begun near the end of 1900, although both men failed to remember the exact time their collaboration began when interviewed late in their lives.
비록 두 사람들이 협업을 할 때 그들의 삶에 인터뷰 늦게 시작된 정확한 시간을 기억하지 못했습니다 Principia Mathematica에 그들의 협력을 시작했습니다 1900 막바지에 나타납니다.On formally undecidable propositions of Principia Mathematica and related systems I.
("On Formally Undecidable Propositions of Principia Mathematica and Related Systems") 그리고 내년부터 초중고등학교의 정규과목으로 등록될 예정입니다.Although first introduced by Russell in 1903 in the Principles, his theory of types finds its mature expression inhis 1908 article Mathematical Logic as Based on the Theory of Types and in the monumental work he co-authored with Alfred North Whitehead, Principia Mathematica(1910, 1912, 1913).
비록 러셀에 의해 1903 년 최초의 원리에 도입, 그의 이론은 그의 1908년 문서 형식의 수학적 논리에 같은 유형의 이론에와 기념비그가 공동 작업 - 알프레드 노스 화이트 헤드, Principia Mathematica (1910와 저술에 기반을 성숙 표현 1912 1913).First defended in his Principles, and later in more detail in Principia Mathematica, Russell's logicism consisted of two main theses.
처음에는 자신의 원칙에서, 옹호 및 저장 Principia Mathematica, 러셀의 logicism에 좀 더 자세하게 두 가지 주요 논문의 구성되었다.He was employed as a half-time instructor in mathematics by Harvard during the first semester of 1926-27 and it was around this time that he read the first volume of Whitehead and Russell 's Principia Mathematica which had been published in 1910.
그는 하프 타임 수학 강사로 하버드 1926-27의 첫 학기 동안에 고용되었고이 시간 그는 화이트 헤드와 러셀의 첫 번째 볼륨을 읽고 주위에 '원리 Mathematica는 1910 년에 출판되었습니다 아니었다.In 1687 Newton went on to publish his thesis Philosophiae Naturalis Principia Mathematica.[4][10] In this work Newton set out three laws of motion that to this day are the way forces are described in physics.[10].
년, 뉴턴은 자연철학의 수학적 원리라는 자신의 논문을 출간했다. [4][10] 이 논문에서는 고전역학에서 설명하는 힘의 방법으로 뉴턴의 운동에 관한 세 가지 법칙을 나열했다. [10].He published A formulation of the simple theory of types in 1940 in which he attempted to give a system related to that of Whitehead and Russell 's Principia Mathematica which was designed to avoid the paradoxes of naive set theory.
그는 1940 년 그는 어떤 시스템 화이트 헤드와 러셀의 관련주고 시도 유형의 간단한 이론의 공식 출판 '원리 Mathematica는 순진하게 설정 이론의 모순을 피하기 위해 고안되었습니다들.Had the genius to recognise the even greater mathematical genius of Newton, to urge him to write the Principia Mathematica, and then pay for the costs of publication out of his own pocket because the Royal Society was currently broke….
때문에 왕립 학회는 현재 파산의 원리 Mathematica를 작성하라고 촉구하고, 그리고 자신의 주머니에서 나오는 간행물의 비용을 지불 천재 뉴턴의 수학적 천재 더욱 인정했다….In this he proved that if an axiomatic system of set theory of the type proposed by Russell and Whitehead in Principia Mathematica is consistent, then it will remain so when the axiom of choice and the generalized continuum-hypothesis are added to the system.
이 경우 그 증명을 입력 러셀과 화이트 헤드에 의해 원리 Mathematica에서 제안한 일련의 이론의 공리 시스템의 일관성이되면, 그때 그렇게되면 선택하고 일반적인 연속성의 공리 - 가설을 시스템에 추가 그대로 남아있게됩니다.Mathematica Principia.
수학 원리.
