연속체 가설 oor Engels

연속체 가설

Vertalings in die woordeboek Koreaans - Engels

continuum hypothesis

naamwoord
en
no set has a cardinality between that of the integers and that of the real numbers
wikidata

Geskatte vertalings

Vertoon algoritmies gegenereerde vertalings

voorbeelde

wedstryd
woorde
Advanced filtering
칸토어의 추측은 연속체 가설(Continuum Hypothesis)로 잘 알려져 있습니다.
Cantor's conjecture became known as the continuum hypothesis.ted2019 ted2019
연속체 가설은 마틴 공리를 자명하게 함의한다.
The devices on the escutcheon appear to epitomise Claude Martin's life.WikiMatrix WikiMatrix
칸토어의 추측은 연속체 가설( Continuum Hypothesis) 로 잘 알려져 있습니다.
Candor's conjecture became known as the continuum hypothesis.QED QED
Cohen)이 연속체 가설이 사실이라는 것을 증명할 수 없다는 것을 증명했습니다.
Cohen showed that you can never prove that the continuum hypothesis is true.ted2019 ted2019
1920년대에, 쿠르트 괴델( Kurt Gödel) 은 연속체 가설이 틀렸다고는 증명할수 없음을 증명했습니다.
In the 1920s, Kurt Gödel showed that you can never prove that the continuum hypothesis is false.QED QED
Ulam, 1930 년, Banach '일반화 연속체 가설 s를 사용하지 않고도 그것을 증명하는 결과를 강화했다.
Ulam, in 1930, strengthened Banach 's result by proving it without using the Generalised Continuum Hypothesis.ParaCrawl Corpus ParaCrawl Corpus
그의 인생의 마지막 König의 이익 팔년에 설정된 이론을 향하고 그는 연속체 가설에 기여했다.
In the last eight years of his life König's interests turned towards set theory and he contributed to the continuum hypothesis .ParaCrawl Corpus ParaCrawl Corpus
그는 1907 년 시도 캔터 's 연속체 가설을 증명하기 위해 ordinals 특수 유형을 도입했다.
In 1907 he introduced special types of ordinals in an attempt to prove Cantor 's continuum hypothesis .ParaCrawl Corpus ParaCrawl Corpus
체르멜로 설정 이론의 문제가 작업에 특히 힐버트 '연속체 가설의 문제의 해결을 향해 머리에 생각이들 움직임을 시작했다.
Zermelo began to work on the problems of set theory, in particular taking up Hilbert 's idea to head towards a resolution of the problem of the continuum hypothesis.ParaCrawl Corpus ParaCrawl Corpus
그는과 연속체 가설을 선택 공리 중요한 기여를 만든 이론을 설정합니다.
In set theory he made important contributions to the axiom of choice and to the continuum hypothesis .ParaCrawl Corpus ParaCrawl Corpus
이 힐베르트 의해 연속체 가설 그는 1900 년 파리의 강연에서 자신이 제안한 문제의 목록을 최초로 만들어 본되었다 중요성.
The importance of this was seen by Hilbert who made the continuum hypothesis the first in the list of problems which he proposed in his Paris lecture of 1900.ParaCrawl Corpus ParaCrawl Corpus
연속체 가설은 힐베르트 문제 '로 유명한 23 문제 2 차 국제 의회 수학자의 파리에서 1900 년에 처음이야 전달했다.
The continuum hypothesis problem was the first of Hilbert 's famous 23 problems delivered to the Second International Congress of Mathematicians in Paris in 1900.ParaCrawl Corpus ParaCrawl Corpus
연속체 가설을 해결하기 위해 실패한 후 Aleksandrov도 입증 이후가 될 수도 있고 아니면 disproved으로 코헨에 의해 1960 년) 그는 수학 능력 경력을 표시하지 못하다고 생각했다 (은 놀라운 일이 아니다.
After Aleksandrov failed to solve the continuum hypothesis (which is not surprising since it can neither be proved or disproved as was shown by Cohen in the 1960s) he thought he was not capable of a mathematical career.ParaCrawl Corpus ParaCrawl Corpus
칸토어 앞으로 1878 년에, 그 연속체의 모든 무한 집합 중 하나 (예 : 1-1 서신에서 자연 번호 놓을 수 셀입니다 conjecturing) 연속체 가설 넣어둔 또는 연속체의 cardinality (즉,이 1 놓을 수 실제 숫자 -1 서신).
Cantor had put forward the continuum hypothesis in 1878, conjecturing that every infinite subset of the continuum is either countable (i.e. can be put in 1-1 correspondence with the natural numbers) or has the cardinality of the continuum (i.e. can be put in 1-1 correspondence with the real numbers).ParaCrawl Corpus ParaCrawl Corpus
14 sinne gevind in 5 ms. Hulle kom uit baie bronne en word nie nagegaan nie.