Low quality sentence examples
Frege 메클렌부르크의 상태에 사는 것을 자랑스럽게 생각했다,
Frege was proud to live in the state of Mecklenburg,Gottlob Frege와 마찬가지로, logicism 방어에 대한 러셀의 기본 아이디어는 숫자 교실의 수업과 함께 확인할 수있습니다 quantifiers 그 숫자 -
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언제 Frege 예나 대학의 1869 년 그것을 정치적으로, 유럽을 변경하고 2
When Frege went to the University of Jena in 1869 it was a politically changed Europe,보여주는 그들의 작가 Frege의 논문에 무관 심한 경우, 일부 비판 후자는 3, 반면에도 불구하고, 더 많은 공감됩니다 (자세한 내용 참조.
show that their authors are uninterested in Frege's treatise, while the latter three, despite some criticisms, are more sympathetic(see for more details.그것은 거의 확실 Sachse의 조언 Frege 예나 대학의 그의 연구를 계속해서 일반 Sachse 자신의 어린 학생에 큰 영향을 미쳤다 나가기로했다 다음을 통해 (예를 들어, 및)를 참조하십시오.
It was almost certainly through following Sachse's advice that Frege chose to go to the University of Jena to continue his studies and in general Sachse had a large influence on his young student(see for example and.장기 그러나, Frege 철학적 논리 및 자신의 동시대 인에 의해 대부분 무시되었다고 avidly 20 세기 후반,
In the longer term, however, Frege has become a major influence on the development of philosophical logic and the man who seems to have been년에 Kurt Gödel (1906~1978) 은 Frege 와 Russell 의 일차논리 (First-order Logic) 으로 어떤 진리 문장 (true statement) 을 증명하는 효율적인 절차가 존재하지만, 그러나 first-order logic 은 자연수를 특징짓는데 필요한 수학적 귀납법 (Mathematical Induction) 의 원칙을 포착할 수는 없었다는 것을 보여주었다.
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.두 개의 "그래서는"복수의 모든 인스턴스의 클래스 pluralities의 "복수"그리고 전에 Frege의 Grundlagen했다 아무도 관리는 "전화 번호"를 논리적으로 올바른 정의를주기 위해서야이 인정하지 않을 만들어왔다 논리적인 오류입니다.
of the"plurality two" and so is a"plurality of pluralities" and the logical error which had been made in not recognising this meant that before Frege's Grundlagen nobody had managed to give a logically correct definition of"number.Frege와 그의 아내는 엔지니어가되었으며 아들,
Frege and his wife did adopt a son,Thomae 및 Frege 사이의 관계는 하나의 흥미로운입니다.
The relationship between Thomae and Frege is an interesting one.예나 Frege에서 에른스트 Abbe와 K 피셔 의해 진행됐다.
At Jena Frege was taught by Ernst Abbe and K Fischer.Gottlob Frege의 글에서 현대의 생각에 깊은 영향을 미쳤다있다.
Gottlob Frege's writings have had a profound influence on contemporary thought.우리 Frege의 천재로 많은 찬사 보도했지만 우리가 한 번 더 끝을 보자.
We have quoted many tributes to Frege's genius, but let us end with one more.Tarski 하나는 모든 시간의 4 개의 큰 logicians으로 인정되고, 다른 세, 아리스토 텔레스, Frege되고 Gödel.
Tarski is recognised as one of the four greatest logicians of all time, the other three being Aristotle, Frege, and Gödel.그러나이 수정된 공리와, 볼륨 1의 정리를 통해 많은 Frege이 알았어야하지 않습니다.
However with this modified axiom, many of the theorems of Volume 1 do not go through and Frege must have known this.Frege하기 전에 모든 작업을 자신의 주요 작품을 출판했다, 그의 어머니가 1878 년에 사망했다.
Before Frege had published any of his major pieces of work, his mother died in 1878.이러한 이벤트를보고하기 전에, 그러나, 우리는 그 1866 이는 알렉산더 Frege, Gottlob의 아버지, 사망 연도 참고해야합니다.
Before looking at these events, however, we should note that 1866 was the year in which Alexander Frege, Gottlob's father, died.그러나 루돌프 Eucken의 동료했다 Frege의 누구와 그가 가까이 접촉했다 과학 철학 교수로 40 년 이상이다.
However Rudolf Eucken was a colleague of Frege's for more than 40 years in the faculty of philosophy with whom he had close scientific contacts.후 작업을 작성했습니다, 하지만 그 전에 출판 되었음: Frege이 볼륨, 볼륨 1, 공리계에 따라 일관성을 발견했습니다.
After the work was written, but before it was published, Frege discovered that this volume, and Volume 1, were based on inconsistent axioms.Frege에서는 산술 논리에 발견을 목표 즉, 자신의 경력의 대부분을 통해 자신의 세트를 가졌는데 그 결론에 와서 잘못됐다.
In 1923 Frege came to the conclusion that the aim he had set himself throughout most of his career, namely to found arithmetic on logic, was wrong.
