NeedTranslate
Перевод "Гедель" на английский
Произношение Гедель
Гедель – 27 результатов перевода
- Да. - Чертов Крюке. - Да, Крюке.
Женевьева Гедель де Лонглеш.
- Гедель де Лонглаш. - Прошу прощения.
Gloomy old Cruquet...
Genevieve Kennel de Longlicks.
Kennelle de Longeliques.
Скопировать
Женевьева Гедель де Лонглеш.
- Гедель де Лонглаш. - Прошу прощения.
Дата рождения: 26.05.1954.
Genevieve Kennel de Longlicks.
Kennelle de Longeliques.
26-05-1954.
Скопировать
Я внимательно изучил ваше дело.
и в ваших научных достижениях, и в том, что вы тоже эмигрировали... очень много параллелей с жизнью Гёделя
Но согласно вашей книге и сути теории, должны полностью совпадать даты и результаты событий.
I read your statement thoroughly
From birth to growing up, your academic achievements, even the fact that you both sought exile... there seemed to be a lot of parallels in you and Godel's life
But, according to your book, for the theory to stand the dates and result should match at the least
Скопировать
Разность времён...
Важные даты Гёделя и Сона отличаются на день.
Но фактически - это те же даты.
The time difference...
Godel and Sohn's significant dates were all a-day-apart
They were in fact, the same dates
Скопировать
[Убийство]
Курт Гёдель родился в Австрии в 1906 году, в 1931 году опубликовал "Теорему о неполноте", тем самым вызвав
Был другом Альберта Эйнштейна.
"Murder"
Kurt Godel, born 1906 in Austria publishes "Incompleteness Theorem" in 1931 causing a sensation in the mathematical community
He was a good friend of Albert Einstein's
Скопировать
Был другом Альберта Эйнштейна.
И ты утверждаешь... что живёшь той же жизнью, что и Гёдель?
Он навязчиво боялся быть отправленным и ел только еду, приготовленную своей женой. Но, в конце концов, голоданием довёл себя до смерти.
He was a good friend of Albert Einstein's
And, you're saying that you're living the same life of this Godel?
He suffered from obsessive fear of being poisoned and only ate the food prepared by his wife and, eventually starved himself to death
Скопировать
- Заткнись.
Гёдель никогда никого не убивал!
Наши жизни совершенно одинаковые!
- Quiet
Godel never killed anyone
Because our lives are exactly the same!
Скопировать
Но согласно вашей книге и сути теории, должны полностью совпадать даты и результаты событий.
В день, когда умер и Гёдель.
Но вы все ёще живы.
But, according to your book, for the theory to stand the dates and result should match at the least
which means you must die of starvation today, the same day Godel died
But, you're still alive
Скопировать
Эйнштейн говорил, что он ходит на работу только потому, что ему нравится идти обратно с этим человеком.
Его имя - Гёдель.
Он не хотел публиковать формулу.
Einstein said he only ever went to work because he enjoyed the walk back so much with this man.
his name was.
He didn't publish it.
Скопировать
Он просто хотел показать, как работает символическая логика.
Я снимался в фильме с людьми, которые играли Эйнштейна и Гёделя.
Лу Джекоби играл Гёделя.
He was merely demonstrating how symbolic logic can be used.
I was in a film with people who played Einstein and Godel.
Lou Jacobi played Godel.
Скопировать
Я снимался в фильме с людьми, которые играли Эйнштейна и Гёделя.
Лу Джекоби играл Гёделя.
Помните этот фильм? "Коэффициент интеллекта".
I was in a film with people who played Einstein and Godel.
Lou Jacobi played Godel.
Remember that film? IQ.
Скопировать
Потому что она годами съедала его яд.
Курт Гёдель использовал модальную логику, чтобы доказать, что Бог существует, хотя сам не был уверен
Это человеческая жизнь, но как мы можем использовать нечистоты, чтобы создать внеземную жизнь?
Cos she was eating all this poison over the years.
though he wasn't convinced by the conclusion.
but how could sewage be used to create alien life?
Скопировать
Это были
Курт Гёдель и Альберт Эйнштейн?
Конечно.
That would be
Kurt Godel and Albert Einstein?
Of course.
Скопировать
Но Марсело подозревает, что мы можем быть ограничены ролью рыболова, и некоторые части реальности останутся недоступны для нашего исследования.
Это идея основана на работе восточноевропейского математика, Курта Гёделя.
Курт Гёдель был, наверное, одним из величайших математиком всех времен.
But marcelo feels that we might be stuck in the position of a fly-fisherman, forever blocked from exploring certain parts of reality.
It's an idea that is based on the work of an eastern European mathematician, Kurt Godel.
Kurt Godel was perhaps one of the greatest mathematicians of all time.
Скопировать
Это идея основана на работе восточноевропейского математика, Курта Гёделя.
Курт Гёдель был, наверное, одним из величайших математиком всех времен.
В 1931 году он опубликовал теорему, известную как Теорема Гёделя о неполноте, и, в общих чертах, в ней говориться, что нет такой формальной системы логики, которая бы была самодостаточной, которая могла бы доказать любое возможное утверждение
It's an idea that is based on the work of an eastern European mathematician, Kurt Godel.
Kurt Godel was perhaps one of the greatest mathematicians of all time.
In 1931, he published this theorem called the incompleteness theorem, and what he basically says is there is no such thing as a formal system of logic that is self-contained, that is that can prove every possible assertion
Скопировать
Курт Гёдель был, наверное, одним из величайших математиком всех времен.
В 1931 году он опубликовал теорему, известную как Теорема Гёделя о неполноте, и, в общих чертах, в ней
в пределах этой системы.
Kurt Godel was perhaps one of the greatest mathematicians of all time.
In 1931, he published this theorem called the incompleteness theorem, and what he basically says is there is no such thing as a formal system of logic that is self-contained, that is that can prove every possible assertion
within that system.
Скопировать
в пределах этой системы.
Гёдель придумал один очень умный мысленный эксперимент.
Он представил, что есть машина, которая думает, что знает истину обо всем во Вселенной.
within that system.
Godel came up with a clever thought experiment.
He envisioned a machine that claimed to know the truth about everything in the universe.
Скопировать
Она повторяла только истинные утверждения.
Но Гёдель нашел хитрый способ озадачить машину.
Вуаля.
It has only repeated the truth.
But Godel discovered a sneaky paradox to stump the machine.
Voila.
Скопировать
Поэтому машина противоречит сама себе. Это, по сути дела, показывает, что знающая всю правду о Вселенной машина, на самом деле, не знает всего о правде.
Как сказал сам Гёдель: "Я знаю некоторую правду, которую не смогла бы произнести сама всезнающая машина
Гёдель формально доказал, что любая логическая система знаний, будь то вычислительная система, физика элементарных частиц, или космология, по определению, не самодостаточна.
So, the machine is contradicting itself, which basically shows the universal truth machine does not know everything about the truth.
As Godel have said it, "I know some truths that universal truth machine cannot utter."
Godel was able to formally prove that any logical system of knowledge, be it calculus, particle physics, or cosmology, is, by definition, incomplete.
Скопировать
Как сказал сам Гёдель: "Я знаю некоторую правду, которую не смогла бы произнести сама всезнающая машина."
Гёдель формально доказал, что любая логическая система знаний, будь то вычислительная система, физика
Мы можем думать о знании, как о чем-то заключенным в сферу.
As Godel have said it, "I know some truths that universal truth machine cannot utter."
Godel was able to formally prove that any logical system of knowledge, be it calculus, particle physics, or cosmology, is, by definition, incomplete.
We can think of knowledge as belonging within a sphere.
Скопировать
Что я хочу сказать - есть предел тому, сколько мы можем узнать о мире.
Теорема Гёделя о неполноте означает, что рациональное мышление никогда не постигнет всех истин Вселенной
Нам придется выйти за пределы ее, чтобы иметь шанс понять все, что внутри нее.
So, the point is that there is a limit to how much we can know of the world.
Godel's incompleteness theorem means that rational thought can never reveal all the truths of the universe.
We would have to leave our entire cosmos in order to have a hope of understanding everything in it.
Скопировать
И люди скажут, что для это и есть Бог или какая-нибудь другая сверхъестественная сила.
И если считать то, как устроен разум, применимо ко всей Вселенной, то можно экстраполировать идею Гёделя
"Инопланетяне, если они существуют, внеземные разумы где-то там, - им тоже придется мириться с фактом, что они не смогут понять всего в мире.
And so people will say, "well, that is precisely where God or some sort of supernatural belief comes in."
So, if you would think that the way intelligence works is universal, then you could extrapolate what Godel said and say,
"hey, aliens, if they exist, intelligent aliens out there "will also have to submit to the fact "that they cannot understand everything about the world.
Скопировать
Я не знаю.
Эйнштейн, Хокинг и Гёдель в своих работах о времени и причинно-следственных связях об этом ничего не
Мы на неизведаннной территории.
I don't know.
Einstein, Hawking, Godel, in all their theories about time and causality, they never spoke of anything like this.
We are in uncharted territory.
Скопировать
Давно.
Но когда у меня последний раз были реальные друзья с которыми можно обсудить "Геделя, Эшера, Баха"?
Слушай.
- It's been a while. - Oh.
But, I mean, when was the last time I had actual friends to discuss "Godel, Escher, Bach" with?
The portals are gonna take me a couple hours to calculate if you want to, you know, straighten up.
Скопировать
История моей жизни.
Все восходит к Гёделю.
Континуум-гипотеза.
The story of my life.
It all goes back to Godel.
Continuum hypothesis.
Скопировать
Что?
Замкнутая времениподобная кривая Гёделя.
Курт Фридрих Гёдель.
What?
The Godel metric closed timelike curves.
Kurt Friederich Godel.
Скопировать
Замкнутая времениподобная кривая Гёделя.
Курт Фридрих Гёдель.
Суть в том, что если временная линия будет перезапущена...
The Godel metric closed timelike curves.
Kurt Friederich Godel.
The theory being, if our timeline is reset...
Скопировать
