FREGE in Korean translation

• frege
• 프레게

Examples of using Frege in English and their translations into Korean

In 1930, Kurt Godel(1906-1978) showed that there exists an effective procedure to prove any true statement in the first-order logic of Frege and Russell, but that first-order logic could not capture the principle of mathematical induc- tion needed to characterize the natural numbers.
년에 Kurt Gödel (1906~1978) 은 Frege 와 Russell 의 일차논리 (First-order Logic) 으로 어떤 진리 문장 (true statement) 을 증명하는 효율적인 절차가 존재하지만, 그러나 first-order logic 은 자연수를 특징짓는데 필요한 수학적 귀납법 (Mathematical Induction) 의 원칙을 포착할 수는 없었다는 것을 보여주었다.

The Grundlagen was a non-technical work, written without symbolism and with only sketches of proofs, which Frege saw as a first step towards the realisation of his goal of defining a precise logical framework in which to set up the basic concepts of arithmetic and to deduce the rules of arithmetic.
Grundlagen 이외의 기술 직장, 상징없이는 서면과 Frege가와 산술의 기본 개념을 설정하는 정확한 논리적 프레임 워크를 정의하고 자신의 목표의 실현을 향한 첫 번째 단계는 본 교정의 유일한 스케치와이었습니다 산술의 규칙을 추론할.

strands of neo-Hegelian thought, and as a reaction against this, figures such as Bertrand Russell and George Edward Moore began moving in the direction of analytic philosophy, which was essentially an updating of traditional empiricism to accommodate the new developments in logic of the German mathematician Gottlob Frege. Renaissance philosophy[ edit].
조류들에 의해 지배되고 있었고, 이에 대한 반발로, 러셀, 무어 와 같은 인물들이 독일의 수학자 프레게 가 개발한 논리의 새로운 발전을 수용하기 위하여 전통적인 경험론을 갱신한 분석 철학 의 방향으로 움직이기 시작하였다. 합리론 [ 편집 ] 이 부분의 본문은 합리론 입니다.

Gottlob Frege,“On Sense and Reference”.
유명한 문헌들Gottlob Frege, "On Sense and Refere.

Frege did not calm down, however, and became even more vehemently opposed to Thomae's point of view.
Frege, 그러나, 그리고 진정 몰랐 더 정상급보기 Thomae의 관점에 반대되었다.

At Jena he became a colleague of Gottlob Frege who had been appointed as a privatdozent at Freiburg four years earlier.
예나에서 그는 사람 Gottlob Frege의 프라 이브 르 크시에서 privatdozent 4 년전으로 임명됐다 동료가되었다.

I'm absolutely sure more people have read my[SEP] entries on Frege than all my other publications combined.”.
내가 출간한 다른 모든 글을 다 합한 것보다 SEP의 ‘프레게' 항목들을 읽은 독자가 더 많은 게 확실합니다.”.

Here Russell is thinking of the work of Cantor, Frege and himself on the infinite and particularly of Weierstrass on the calculus.
여기에 러셀 칸토어, Frege의 일을 생각하고 자신과 특히 Weierstrass의 미적분에 대한 무한합니다.

The idea developed here was similar to that of Frege, distinguishing between the extension of a term
생각이 여기 Frege의 유사, 용어 및 긴장, 또는 감각,

Frege, as we have mentioned, was a firm believer of the old style monarchy which operated in the German States before the unification.
Frege, 우리가 언급한 이는 미국에서 독일 통일 이전에 운영하는 옛날 스타일의 군주제의 회사를 믿는했다.

Frege and his wife did adopt a son,
Frege와 그의 아내는 엔지니어가되었으며 아들,

His work in set theory considered a function as a set of ordered pairs and this made the function notion as proposed by Frege, Charles Peirce and Schröder redundant.
집합 이론에 그의 작품은 주문한 쌍 집합으로 함수로 간주하고이 Frege, 찰스 피어스와 슈뢰더에 의해 중복 제안된 개념으로 기능했다.

In 1879 Frege published his first major work Begriffsschrift,
Frege에서 그의 첫 주요 작품 Begriffsschrift,

Like Gottlob Frege, Russell's basic idea for defending logicism was that numbers may be identified with classes of classes and that number-theoretic statements
Gottlob Frege와 마찬가지로, logicism 방어에 대한 러셀의 기본 아이디어는 숫자 교실의 수업과 함께 확인할 수있습니다 quantifiers 그 숫자 -

Frege, who had not allowed the previous lack of reaction to divert him from the tasks that he had set himself,
Frege, 누가 작업을 그 자신이 설정한에서 그를 돌려 반응은 이전의 부족으로 허용하지 않았다면,

Frege retired from his professorship in Jena in 1917.
Frege 예나 자신의 교수직에서 1917 년에 은퇴했다.

Frege had married Margarete Lieseberg but they never had any children.
Frege Margarete Lieseberg 결혼했다하지만 그들은 모든 아이들이 없었어요.

Gotloeb Frege.
고틀로프 프레게.

Both Thomae and Frege spent the rest of their careers at Freiburg.
두 Thomae 및 Frege 프라 이브 르 크시에서 자신의 경력의 나머지를 보냈다.

Gotlob Frege.
고틀로프 프레게.