foundations of mathematics oor Koreaans

foundations of mathematics

Vertalings in die woordeboek Engels - Koreaans

수학기초론

study of the basic mathematical concepts

voorbeelde

Wittgenstein “Remarks on the Foundations of Mathematics” p337(1956) (written in 1937).
"비트겐슈타인 ""수학의 기초에 대한 발언"" p337 (1956) (1937 년에 작성)."

W’s own “Remarks on the Foundations of Mathematics” covers similar ground.
"W의 ""수학 기초에 대한 발언""도 비슷한 근거를 다룹니다."

His major texts include Combinatory Logic (1958) (with Robert Feys), and Foundations of Mathematical Logic (1963).
그의 주요 텍스트 로버트 Feys ()와 Combinatory 논리 (1958)를 포함하고 수학적 논리 (1963)의 기초.

In Foundations of Mathematical Logic Curry develops the topic from an algebraic basis using Gentzen 's methods.
수학 논리 카레의 기초에서 대수 기준에서 Gentzen '방법을 사용하여 주제들 개발하고있다.

These areas included set theory, and the foundations of mathematics.
이러한 분야, 그리고 수학의 기초 이론을 설정했다.

In 1927 Lesniewski published his first important work on the foundations of mathematics.
1927 Lesniewski 수학의 기초에 대한 그의 첫 번째 중요한 작업을 발표했다.

Luzin's main contributions are in the area of foundations of mathematics and measure theory .
Luzin의 주요 공헌 수학과 측정 이론의 기초 영역에있습니다.

He objected to restricting the role of metamathematics to the foundations of mathematics.
그는 수학의 기초를 metamathematics의 역할이 제한에 반대했다.

Reidemeister's other interests included the philosophy and the foundations of mathematics.
Reidemeister의 다른 관심사 철학과 수학의 기초가 포함되어있습니다.

In the letters he also discusses Cantor 's set theory and the foundations of mathematics.
편지가 있음도 캔터 '와 수학의 기초 이론 s 설정에 대해 설명합니다.

By this time, Wittgenstein's view on the foundations of mathematics had changed considerably.
이 무렵 비트겐슈타인은 수학기초론 에 대한 자신의 기존 견해에 회의적인 태도를 보였다.

Throughout his work in general analysis, Moore stressed fundamentals, as he sought to strengthen the foundations of mathematics.
그는 수학의 기초를 강화하기 위해 모색 일반적인 분석에 자신의 작품을 통해, 무어, 펀더멘털을 강조했다.

In 1891 Peano founded Rivista di matematica , a journal devoted mainly to logic and the foundations of mathematics.
1891 페아노 있음 Rivista 디 matematica, 저널 수학의 기초 논리를 주로하고 헌신을 설립했습니다.

The thesis examines the 1920s dispute between Hilbert and Brouwer on the foundations of mathematics.
이 논문은 수학의 기초에 Brouwer 교슈님와 1920 년대 사이에 분쟁을 검사합니다.

He quickly discovered that his ideas on the foundations of mathematics would not be readily accepted :
그는 신속하게 그것이 수학의 기초에 대한 자신의 아이디어를 쉽게 허용되지 않을 것이 발견 :

His doctoral thesis in 1907 attacked the logical foundations of mathematics and marks the beginning of the Intuitionist School.
1907 년 그의 박사 학위 논문을 수학과 자국 Intuitionist 학교의 시작의 논리적 기초를 공격했다.

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

For Lesniewski his publications were not the only way of publishing his new system of the foundations of mathematics.
Lesniewski 자신의 출판물에 대한 수학의 기초를 자신의 새로운 시스템을 게시하는 유일한 방법은되지 않았습니다.

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

The mathematics curriculum that we have is based on a foundation of arithmetic and algebra.
우리가 지금 배우는 수학 교과과정은 산수와 대수학에 기반을 두고 있습니다. 우리가 학교에서 배우는 모든 수학 교과내용은 결국 하나의 지향점을 향하고 있습니다.

At the time L'analyse démontrée was a standard work, which d'Alembert himself had used to study the foundations of mathematics .
1739년 7월에 최초로 수학 논문을 발표하였으며, 여기서 당시 표준 수학 교재의 몇몇 오류를 지적하였다.

His first research work was on set theory and the foundations of mathematics, following the ideas which Cantor had introduced.
그의 첫 번째 연구 작업을 도입했다 칸토어 아이디어를 다음과 같은 설정 이론 및 수학의 기초에있다.

However he could not stop doing mathematics and when he died he left a manuscript on the foundations of mathematics.
그러나 그는 수학 일을 중단하지 못한 그는 수학의 기초에 대한 원고를 왼쪽으로 사망했다.

The foundations of mathematics had always interested Enriques, and, at Klein 's request, he wrote an article on the foundations of geometry.
수학의 기초, 그는 기하학의 기초에 대한 기사를 쓴 사람, 그리고 클라인의 '요청을이야 항상 관심을 Enriques했다.

Turing graduated in 1934 then, in the spring of 1935, he attended Max Newman 's advanced course on the foundations of mathematics.
1934 년 후 튜링은 1935 년 봄, 그는 맥스 뉴먼 '수학의 기초에의 고급 과정에 참석을 졸업했습니다.