수학적 논리 - 영어로 번역

• mathematical logic
• mathematical logician

한국어에서 수학적 논리 을 사용하는 예와 영어로 번역

캠브리지에서이 기간 동안, 비트 겐슈 타인 수학의 기초에 대한 수학적 논리 또한 작업을했다.
During this period at Cambridge, Wittgenstein continued to work on the foundations of mathematics and also on mathematical logic.

많은 상을 수상한 교수이며, 수학적 논리와 이산론의 전문가입니다.
laureate of many prizes, a specialist in mathematical logics and the computability theory.

그는 수학적 논리와 집합 이론을 토대로 쓴 다른 논문이 논문집 런던 수리 학회의 1907 년 출판 되었음: transfinite 숫자의 존재를 묻는 질문이 포함됩니다.
Other papers which he wrote on mathematical logic and the foundations of set theory include On the question of the existence of transfinite numbers which was published in the Proceedings of the London Mathematical Society in 1907.

그 방법과이 작업의 목적은 아마도 더 쉽게 그리고 더 많은 이들 수학적 논리의 다른 지점보다 '평범한 수학자에게 흥미를 이해할 수있는가없습니다.
The methods and aims of this work are probably more easily intelligible and more interesting to the'ordinary' mathematician than those of any other branch of mathematical logic.

그는 첫 번째 순서는 수학적 논리 술어 미적분에 대한 결정이 문제의 해결 특정한 경우,
He worked on mathematical logic solving certain cases of the decision problem for the first order predicate calculus,

저자는 1940 년 어떻게 Tarski 그 증거 슈투름의 방법을 수학적 논리 초등 대수학과 기하학의 완전성을 증명하는 데 사용될 수있는 것으로 설명합니다.
The author describes how Tarski showed in 1940 that Sturm's method of proof could be used in mathematical logic to prove the completeness of elementary algebra and geometry.

구조 유도로 알려진이 일반화는 수학적 논리 및 컴퓨터 과학에 사용됩니다.
known as structural induction, is used in mathematical logic and computer science.

그녀의 박사 학위 논문은 수학적 논리에했다.
Her doctoral thesis was on mathematical logic.

경제학 밖에서 Jevons의 주요 공헌을 수학적 논리에있습니다.
Jevons's main contributions outside economics are in mathematical logic.

로빈슨은 최고, 하지만, 수학적 논리에 그의 작품에 대한 알려져있다.
Robinson is best known, however, for his work on mathematical logic.

점점, 무한 Combinatorics과 수학적 논리 사이의 상호 작용을 밝혀오고있다.
Increasingly, interactions between infinite combinatorics and mathematical logic are coming to light.

Malcev 또한, 대수 및 수학적 논리 합성 생산 누워 그룹과 위상 algebras 공부했습니다.
Malcev also studied Lie groups and topological algebras, producing a synthesis of algebra and mathematical logic.

Combinatory 토폴로지, 부울 algebras 및 수학적 논리를 자신의 뛰어난 공헌을 인정했다.
In recognition of his distinguished contributions to combinatory topology, Boolean algebras and mathematical logic.

이번 사건에 케임 브리지 연구 수행하려면, 수학적 논리를 공부하고 돌아왔다.
In 1946 Kreisel returned to Cambridge to undertake research, studying mathematical logic.

우리는 두뇌가 놀랍도록 간단한 수학적 논리로 작동한다는 증거를 제시한다.”.
We present evidence that the brain may operate on an amazingly simple mathematical logic.".

마찬가지로 며칠이 흘러 갔어도, 난이 자신의 수학적 논리로 인해서되어야했다….
As the days went by, I decided that this must be owing to his mathematical logic….

수학적 논리는 오늘날 우리가 알고 Tarski의 공헌이없이는 거의 상상할 수있다.
Mathematical logic as we know it today is almost inconceivable without Tarski's contributions.

그들은 강력한 암호학의 수학적 논리에만 의존한 번영과 자유를 꿈꿨다.
They dreamed of prosperity and freedom, dependent only on the mathematics of strong encryption.

그는 올린사람 모건의 법률과 그의 가장 큰 공헌을 도입, 수학적 논리의 개혁이다.
He introduced De Morgan's laws and his greatest contribution is as a reformer of mathematical logic.

수학적 논리에 Vailati 밀접 Peano로이 주제에 대한 노력,
Vailati worked on mathematical logic, working closely with Peano on this topic,