Що таке GÖDEL Українською - Українська переклад

• гедель
• геделя
• ґедель
• гьодель

Приклади вживання Gödel Англійська мовою та їх переклад на Українською

The Gödel Prize.
Премією Геделя.

Minds Machines and Gödel.
Машини та Ґедель.

The Gödel- Herbrand- Kleene.
Геделя- Ербрана- Кліні.

So what did Gödel prove?
Так що ж Гедель довів?

Gödel was a mathematician.
Годел був відомим математиком.

The von Neumann- Bernays- Gödel.
З фон Неймана- Бернайса Геделя.

They both received the Gödel prize in 2003 for this work.
Вони обидва за це отримали премію Геделя у 2003 році.

Kurt Gödel is a well-known mathematician and philosopher from Austria.
Курт Гедель- відомий математик і філософ родом з Австрії.

They both received the Gödel prize in 2003 for this work.
Вони обидва були нагороджені премією Геделя у 2003 році за цю роботу.

Another approach is taken by the von Neumann- Bernays- Gödel axioms(NBG);
Інший підхід береться з аксіом фон Неймана-Бернайса-Геделя;

From Frege To Gödel: A Source Book in Mathematical Logic, 1879-1931.
Від Фреге до Геделя: Книга-джерело з математичної логіки, 1879-1931.

That was the conclusion reached in 1949 by the mathematical genius Kurt Gödel.
Цей висновок був зроблений у 1949 математичним генієм Куртом Гьоделєм.

Kurt Gödel was a well-known mathematician and philosopher who hailed from Austria.
Курт Гедель- відомий математик і філософ родом з Австрії.

This statement, called the first incompleteness theorem of Gödel, was quite a revolutionary result.
Це твердження, яке одержало назву першої теореми неповноти Геделя, було цілком революційним результатом.

Kurt Gödel(1906- 1978), the well-known Austrian mathematician, rejected this view.
Курт Гедель(1906-1978), відомий австрійський математик, відкинув цей погляд.

There exist relatively simple problems of the theory of ordinary whole numbers which cannot be decided on the basis of the axioms” Gödel in Undecidable, p.
Існують відносно прості задачі теорії звичайних цілих чисел, які неможливо вирішити на основі аксіом"(Гедель в невиправданому, ст.4).

Kurt Gödel in 1932 showed that intuitionistic logic is not a finitely-many valued logic.
Курт Гедель у 1932 показав, що інтуїтивна логіка не є багатозначною логікою.

Shortly before his death, Cohen gave a lecture describing his solution to the problem of the continuum hypothesis at the Gödel centennial conference, in Vienna in 2006.
Незадовго до своєї смерті, Коен дав захоплюючу лекцію з описом його рішення проблеми континуум-гіпотези на конференції, присвяченій сторіччю Геделя, у Відні 2006 року.

In mathematics, a Gödel code was the basis for the proof of Gödel's incompleteness theorem.
В математиці, код Геделя був основою для доведення теореми Геделя про неповноту.

The Austrian mathematician Kurt Gödel(1906- 1978) is best known for his Incompleteness Theorems.
Австрійський математик і логік Курт Гьодель(1906-1978) відомий передусім своїми теоремами про неповноту.

Gödel was a close friend of Einstein's, and he decided to see if the great man's equations permitted time travel.
Гьодель був близьким другом Ейнштейна і він вирішив подивитися, чи допускають рівняння великого вченого подорожі у часі.

He went on to compare Cohen to Kurt Gödel, saying:"Nothing more dramatic than their work has happened in the history of the subject.".
Він порівняв Коена з Геделем, кажучи:«нічого ефектнішого, ніж їх робота, не сталося в історії цього предмета».

Zigmut Gödel, the conservator of Lviv monuments, got to know about that and delayed the shipment.
Домініканів дізнався тодішній консерватор львівських пам'яток Зиґмут Гедель, який затримав відправлення.

Jean Heyenorta, From Frege to Gödel: A Sourcebook on mathematical logic, 1879-… 1931, Cambridge, Massachusetts: Harvard University.
Жан Хейенорта[en](вид.), Від Фреге до Геделя: Збірник матеріалів з математичної логіки, 1879-… 1931, Кембридж, штат Массачусетс: Гарвардський університет.

Gödel compared his proof to"Richard's antinomy"(an"antinomy" is a contradiction or a paradox; for more see Richard's paradox):.
Гедель порівнював свій доказ з"антиномією Річарда"("антиномія"- це протиріччя або парадокс; для більшого розуміння парадокс Річарда):.

In 1932, Kurt Gödel defined a system of logics intermediate between classical and intuitionistic logic;
У 1932 Курт Гедель визначив систему логік Геделя, проміжну між класичною логікою та інтуїтивною логікою;

The solution Gödel found doesn't correspond to the universe we live in because we can show that the universe is not rotating.
Розв'язок, який знайшов Ґедель, не відповідає нашому Всесвітові, бо ми можемо довести, що він не обертається.

For instance, Gödel showed that all theorems from intuitionistic logic have an equivalent theorem in the classical modal logic S4.
Наприклад, Курт Гедель показав, що кожна теорема з інтуїтивної логіки має еквівалентну у класичній модальній логіці S4.

Herbrand studied Gödel work and wrote addition to his research, explaining why Gödel results do not contradict his own.
Ербран вивчив твір Геделя та написав додаток до свого дослідження, пояснюючи, чому результати Геделя не суперечать його власним.