증명 이론 oor Engels

증명 이론

Vertalings in die woordeboek Koreaans - Engels

proof theory

branch of mathematical logic

voorbeelde

자연 연역과 시퀀트 계산의 등장은 증명 이론의 해석적 증명(analytic proof)의 기초적 개념을 제시한 것이기도 하다.
Together, the presentation of natural deduction and the sequent calculus introduced the fundamental idea of analytic proof to proof theory.

논리학 및 증명이론에서, 자연 연역(自然演繹, natural deduction)이란 증명 연산의 일종으로, 논리적 추론이 "자연스러운" 추론 방법과 밀접히 연관된 추론 규칙으로 표현된다.
In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning.

메이어와 이후에 '행동의 하위형'이라는 용어를 처음 사용한 피에르 아메리카 모두 임의의 행동의 하위형 개념에 대한 증명 이론적 정의를 제공했으나, 참조나 포인터를 지원하는 프로그래밍 언어에서 일어날 수 있는 별칭에 대한 고려는 없었다.
Both Meyer, and later Pierre America, who was the first to use the term behavioral subtyping, gave proof-theoretic definitions of some behavioral subtyping notions, but their definitions did not take into account aliasing that may occur in programming languages that support references or pointers.

다케우치는 2003년부터 2009년까지 쿠르트 괴델 협회(Kurt Gödel Society)의 회장을 맡고 있으면서, 유명한 책 《어떤 증명이론가의 회고록(Memoirs of a Proof Theorist: Gödel and Other Logicians)》을 쓰기도 했다.
Takeuti was president (2003–2009) of the Kurt Gödel Society, having worked on the book Memoirs of a Proof Theorist: Godel and Other Logicians.

그렇다. 증명될 수 없는 이론, 거짓에 기초한 이론을 증명하려고 하는 것은 불가능한 일이다.
Yes, how difficult it is to try to prove a theory that cannot be proved, one that is based on a lie.

그럼에도 불구하고 1800년대 초에 그는 빛의 파동이론을 증명하는 많은 이론적 근거를 제시했고 이 이론을 확인할 수 있는 2가지의 증명방법을 개발했다.
Nevertheless, in the early-19th century Young put forth a number of theoretical reasons supporting the wave theory of light, and he developed two enduring demonstrations to support this viewpoint.

따라서 여러분의 이론을 증명하는 가장 좋은 방법은 여러분의 이론을 반박하는 것입니다. 일부러 반대의견을 내보는 것이죠.
So the best way to support your theory is actually to try to disprove it, to play devil's advocate.

물리학적으로도 증명된 이론입니다.
It is a physics phenomenon.

그 대신에 전혀 증명이 없는 이론에 다다르게 되죠. 그리고는 그것이 훨씬 더 나은 선택사항이라고 생각하죠.
And instead they come up with a theory for which there is no proof at all and they think that's a much better option.

저는 몰리즈가 끈 이론을 증명할 수 있으리라 믿습니다.
Moleeds are what I believe the thing that will allow string theory to be proved.

그들은 자기들의 이론을 증명할 수 없다.
They can’t prove their theory.

하지만 이 이론을 증명하는 단 하나 블랙홀은 직접 관찰된 적이 없습니다.
But one thing predicted from this theory, black holes, still have not been directly observed.

진화론자들은 인간이 원숭이에서 유래하였다는 이론을 증명하기 위해 오랫동안 증거가 될 만한 화석을 찾아 왔다.
Evolutionists have long sought fossil evidence to prove the theory that man descended from the ape.

이에 더하여, 성서가 매우 논리적이며 확고하게 증명된 과학 이론과 모순되지 않는다는 점을 알고 몹시 놀랐다.
Additionally, I was astounded to see that the Bible is very logical and does not contradict scientific theories that are solidly proved.

그 이론을 증명하는 화석을 발견하려고 더운 ‘아프리카’나 다른 곳에서 고생해 가며 여러 해를 보내지 않을 것이다.
They would not be devoting years to crawling around on their hands and knees in the heat of Africa and other places trying to find fossils to prove their theory.

정직한 진화론자들이라면, 그들이 자기들의 이론을 증명할 수 없었음을 인정하지 않으면 안 될 것이다
Evolutionists, if honest, must concede that they have been unable to prove their theory

이론의 증명은 잘 돼가나?
How are your theories doing, Fish?

인터넷으로 진화, 그리고 첫번째 임계점 이론을 증명하면서 그는,
And that's when we got the Internet.

정직한 진화론자들이라면, 그들이 진화를 아주 철석같이 믿고 있다 하더라도 자기들의 이론을 증명할 수 없었음을 인정하지 않으면 안 될 것이다.
Evolutionists, if honest, must concede that they have been unable to prove their theory, even though they are quite adamant about believing it.

참석한 200명은 진화론이 증명되지 않은 이론에 불과하다는 판단을 하는 것 같았다.
Both spoke, then answered questions, and the 200 present seemed satisfied that evolution was only an unproved theory.

* 따라서 진화가 증명되지 않은 이론이라는 증거를 제시할 수 있었으며, 군 장교들은 그에 대해 놀랐습니다.
* So to the surprise of those military officers, I was able to provide evidence that evolution was an unproved theory.

이론이란 증명되지는 않았지만 논증을 위해서 때때로 참이라고 가정하는 어떤 것이다.
A theory is something unproved but at times assumed true for the sake of argument.

그의 가설을 이론적으로 증명할 양자혁명까지는 25년 이상 걸릴겁니다.
It would take over 25 years for the quantum revolution to theoretically validate his hypothesis.

그러나 증명되지 않은 이론인 진화론은 최근에 그 지지자들로부터도 심한 공박을 당하고 있다.
But the unproved theory of evolution has recently met with severe setbacks, even from its own supporters.

독일의 천문학자 카를 슈바르츠쉴트는 최초로 블랙홀의 가능성을 이론상으로 증명하였다.
The German astronomer Karl Schwarzschild was the first to demonstrate the possibility, in theory, of black holes.