MATHEMATICAL LOGIC - 한국어로 번역

• 수학적 논리

영어에서 Mathematical logic 을 사용하는 예와 한국어로 번역

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

She led the Foundations of Mathematics Section from 1964 and the Mathematical Logic Section after its creation in 1970.
그녀 1964년에서 1970 년 이후의 창작 수학적 논리 수학 항 제의 기초를 이끌었다.

He seems to be the first to use the term mathematical logic and he compares algebra and Boole's logic saying.
그는 수학적 논리를 사용하는 용어는 처음있는 것 같다 그는 대수학과 Boole의 논리라고 비교한다.

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

The first paper in the first part is a ten page article by Peano summarising his work on mathematical logic up to that time.
첫 번째 부분의 첫 번째 논문 페아노 수학적 논리에 그의 작품을 summarising하여 10 페이지에 자료가 좀 시간이있습니다.

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

I arrived at it not from an interest in computers, but as a pedagogical device, a slick way of introducing that way of teaching mathematical logic.
제가 좀 컴퓨터에 관심에서가 아니라 도착 교육학 장치, 논리 수학 교육의 방법을 도입하는 방식으로의 매끄러운.

Wittgenstein left his aeronautical research in Manchester in 1911 to study mathematical logic with Russell in Trinity College, Cambridge.
비트 겐슈 타인은 맨체스터에서 러셀 1911 년 트리니티 칼리지, 캠브리지와 수학적 논리를 연구에 연구를 왼쪽 항공.

Although Peano is a founder of mathematical logic, the German mathematical philosopher Gottlob Frege is today considered the father of mathematical logic.
페아노 있지만 수학적 논리의 설립자입니다, 독일의 철학자 Gottlob Frege 수학 오늘은 수학 논리의 아버지로 간주됩니다.

He worked on and off throughout his career on mathematical logic, no surprise for a student of Bernays,
그는 수학적 논리에 자신의 경력,

In 1903 he published his first important book on mathematical logic, The Principles of Mathematics showing that mathematics could be deduced from a very small number of principles,
년 그는 수리논리학에 대한 첫 번째 저작인 《The Principles of Mathematics》를 발간하며, 여기서 수학은 매우 적은 수의 공리에서

Kaluznin was forced to leave his position as Head of the Department of Algebra and Mathematical Logic, though he retained his professorship at Kiev State University until 1985.
유지 항상 "외계인"으로 인식되었습니다 데, Kaluznin 헤드학과 대수학과 수리 논리의 자신의 위치를 떠나 강제로했다.

complete the Ph.D. course she had started, but no university within travelling distance offered mathematical logic at doctoral level.
하지만 코스를 시작했고 여행 거리 내에 대학의 박사 학위 수준에서 수학적 논리를 제공.

his theory of types finds its mature expression in his 1908 article Mathematical Logic as Based on the Theory of Types and in the monumental work he co-authored with Alfred North Whitehead,
그의 이론은 그의 1908년 문서 형식의 수학적 논리에 같은 유형의 이론에와 기념비 그가 공동 작업 -

We mentioned some of the prizes he received above, such as the State Prize in 1946, but another important honour which he received in 1964 was a Lenin Prize for his series of papers on the applications of mathematical logic to algebra.
우리 있지만 일부 그는 위의 주 수상은 1946 년 같은 상을받은 언급 그가 1964 년에받은 또 하나의 중요한 명예 레닌 상을 대수학을 수학 논리의 응용 프로그램에 대한 논문을 자신의 시리즈를했다.

Inspired by Russell, Jourdain worked mainly in mathematical logic.
러셀에 의해 영감을 Jourdain 수학적 논리를 중심으로 일했다.

Church wrote the classic book Introduction to Mathematical Logic in 1956.
교회 소개 수학적 논리에 고전적인 책을 썼다.

We have commented above about Quine's work in mathematical logic.
우리는 수학적 논리 Quine의 작품에 대해 위의 댓글을 달았습니다.

Which is among the most important papers ever written on mathematical logic….
이제까지는 수학적 논리에 가장 중요한 서류 작성 중 하나입니다….

The year 1933 saw the beginnings of Turing's interest in mathematical logic.
년 수학의 논리에 튜링의 관심의 시작을 보았다.