| Godel's incompleteness theorem means that rational thought can never reveal all the truths of the universe. | Теорема Гёделя о неполноте означает, что рациональное мышление никогда не постигнет всех истин Вселенной. |
| 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, born 1906 in Austria publishes "Incompleteness Theorem" in 1931 causing a sensation in the mathematical community | Курт Гёдель родился в Австрии в 1906 году, в 1931 году опубликовал "Теорему о неполноте", тем самым вызвав сенсацию в математическом сообществе. (теория перевернула мир "математической логики") |
| Gödel's incompleteness theorems, proved in 1931, showed that essential aspects of Hilbert's program could not be attained. | Однако теоремы Гёделя о неполноте, доказанные в 1931 году, показали, что ключевые аспекты программы Гильберта не могут быть достигнуты. |
| The mathematical foundations of modern computer science began to be laid by Kurt Gödel with his incompleteness theorem (1931). | Математические основы современной информатики были заложены Куртом Гёделем в его теореме о неполноте (1931). |
| Mathematical Objections: This objection uses mathematical theorems, such as Gödel's incompleteness theorem, to show that there are limits to what questions a computer system based on logic can answer. | Математическое возражение: Это возражение использует математические теоремы такие, как теорема Гёделя о неполноте, чтобы показать, что существует предел для вопросов, на которые может ответить компьютер, основанный на логике. |
| A document, recently distributed by the Andean Information Network, which presents 10 documented cases of gross human rights violations perpetrated by UMOPAR, indicates the incompleteness of the State Department's assessment of the human rights situation in the coca-growing regions. | В недавно распространенном Андской информационной сетью документе представлены десять документированных случаев совершенных УМОПАР грубых нарушений прав человека, что свидетельствует о неполноте данной Государственным департаментом оценки положения с правами человека в регионах выращивания коки. |
| Newman also wrote Gödel's Proof (1958) with Ernest Nagel, presenting the main results of Gödel's incompleteness theorem and the mathematical work and philosophies leading up to its discovery in a more accessible manner. | 1958: Gödel's Proof, в соавторстве с Эрнестом Нагелем, представляют в доступной форме основные результаты теорем Гёделя о неполноте и их роль в математике и философии. |
| This incompleteness result is similar to Gödel's incompleteness theorem in that it shows that no consistent formal theory for arithmetic can be complete. | Полученный результат схож с теоремой Гёделя о неполноте в том, что ни одна формальная теория арифметики не может быть полной. |
| The logician Torkel Franzén criticized Chaitin's interpretation of Gödel's incompleteness theorem and the alleged explanation for it that Chaitin's work represents. | Логик Torkel Franzén критикует интерпретацию Хайтином теоремы Гёделя о неполноте и сомнительное объяснение, данное ей Хайтином в его работах. |