쿠르트 괴델 oor Engels

쿠르트 괴델

Vertalings in die woordeboek Koreaans - Engels

Kurt Gödel

voorbeelde

이 정리는 쿠르트 괴델이 1929년에 증명하였다.
The latter was answered affirmatively by Kurt Gödel in 1929.

1920년대에, 쿠르트 괴델( Kurt Gödel) 은 연속체 가설이 틀렸다고는 증명할수 없음을 증명했습니다.
In the 1920s, Kurt Gödel showed that you can never prove that the continuum hypothesis is false.

다케우치는 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.

그리고 쿠르트 괴델, 거기에 영구적으로 이동하기 전에 연구소의 고급 연구를 1933 년부터 1935 년 방문했다.
And Kurt Gödel visited the Institute for Advanced Study in 1933 and 1935, before moving there permanently.