Приклади вживання Counterexample Англійська мовою та їх переклад на Українською
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
Can anyone give a counterexample?
Хтось може назвати контрприклади?So, a counterexample, an example that shows that this isn't always true.
S divisible by both, so that's definitely not a counterexample.
Ділиться на оба числа, такщо це точно не контрприклад.Which number serves as a counterexample to the statement below?
Який номер працює як контрприклад до речення написаного знизу?An example that disproves a statement is called a counterexample.
Приклад, що спростовує яке-небудь твердження, називають контрприкладом.A more subtle counterexample is one in which A and B are both closed but neither one is compact.
Більш наглядним контрприкладом є випадок, коли множини A і B обидві замкнені, але жодна з них не компактна.In 2005, Eskin, Fisher, and Whyte confirmed the counterexample.
У 2005-му році Ескін, Фішер і Вайт підтвердили правильність контрприкладу.Any significant counterexample falsifies the universal claim; eight such examples demolish it.
Будь-який значний контрприклад фальсифікує загальну претензію, а вісім таких прикладів взагалі зруйнують його».In constructive mathematics,a statement may be disproved by giving a counterexample, as in classical mathematics.
Як в конструктивній, так і в класичній математиці вислів може бути спростований контрприкладом.This sort of counterexample shows that the statement implies some principle that is known to be non-constructive.
Такого роду контрприклад показує, що твердження допускає наявність неконструктивного принципу.It is a small graph that serves as a useful example and counterexample for many problems in graph theory.
Це невеличкий граф, який слугує корисним прикладом або контрприкладом для багатьох проблем в теорії графів.Such a counterexample would require that the assumptions underlying the theory that implied the impossibility be re-examined.
Такий контрприклад потребує припущень, що лежать в основі теорії того, що є неможливість перегляду.Computational experiments have shown that, if a counterexample exists, it would have to have more than 177 vertices.
Обчислювальні експерименти показали, що, якщо контрприклад існує, то граф повиннен був би мати більше ніж 177 вершин.As a counterexample look on the sign function sgn( x){\displaystyle\operatorname{sgn}(x)} which is defined through.
Як контрприклад, подивимося на знакову функцію sgn ( x){\displaystyle \operatorname{sgn}(x)}, яка визначена через.It was disproven by W. T. Tutte(1946), who constructed a counterexample with 46 vertices; other researchers later found even smaller counterexamples.
Це було спростовано Віллемом Таттом, який побудував контрприклад з 46 вершинами; інші дослідники пізніше знайшли ще менші контрприклади.Truth is difficult to define because as soon as you think you have it pinned down,some case or counterexample immediately shows deficiencies.
Однак істину важко визначити, тому що, як тільки ви вважаєте, що ви зрозуміли, є справа або аргумент,який негайно показує недоліки у визначенні.One weak counterexample begins by taking some unsolved problem of mathematics, such as Goldbach's conjecture.
Один із слабких контрприкладів розпочинається з розгляду невирішеної математичної проблеми, а точніше гіпотези Гольдбаха.Yet it's difficult to define because as soon as you think you have it pinned down,some case or counterexample immediately shows deficiencies.
Однак істину важко визначити, тому що, як тільки ви вважаєте, що ви зрозуміли, є справа або аргумент,який негайно показує недоліки у визначенні.For example, the counterexample just shown shows that the quoted statement is"at least as hard to prove" as Goldbach's conjecture.
Наприклад, щойно наведений контрприклад показує, що процитований вислів настільки ж важко довести, як і принаймні гіпотезу Гольдбаха.Although the truth of Barnette's conjecture remains unknown,computational experiments have shown that there is no counterexample with fewer than 86 vertices.
Хоча істинність гіпотези Барнетта залишається невідомою, обчислювальніексперименти показали, що не існує контрприклад з менш ніж 86 вершин.Copyleft software is a counterexample(where Copyright is used to guarantee the right to copy the object and access Sources).
Програмне забезпечення Copyleft є контрприкладом(де авторське право використовується, щоб гарантувати право на копіювання та доступ до джерел).In order to prove the original statement, therefore, it suffices to prove something seemingly much weaker: For any counterexample, there is a smaller counterexample.
Тоді для того, щоб довести первинне твердження, достатньо довести, що для будь-якого контрприкладу є менший контрприклад.In the other directions, Kelmans showed that a counterexample could be transformed into a counterexample to the original Barnette conjecture.
В інших напрямках, Кельман показав, що контрприклад може бути перетворений в контрприклад до вихідної гіпотези Барнетта.The first Ellingham-Horton graph was published by Ellingham in 1981 and wasof order 78.[6] At that time, it was the smallest know counterexample to the Tutte conjecture.
Перший Ellingham-Horton граф був опублікований Ellingham в 1981 році ібув близько 78. В той час це була найменша ноу контрприклад до гіпотези Татта.My counterexample illustrating the limited power of logic and reason, my source of an infinite stream of unprovable mathematical facts, is the number that I call Ω.
Моїм контрприкладом, який ілюструє обмеженість можливостей логіки і міркувань, моїм джерелом нескінченного потоку недовідних математичних положень є число, яке я назвав"омега"(Ω).Donald Knuth states that the Petersengraph is"a remarkable configuration that serves as a counterexample to many optimistic predictions about what might be true for graphs in general.".
Дональд Кнут стверджує, що графПетерсена це«видатна форма, що слугує контрприкладом для багатьох оптимістичних пророцтв про те, що може бути правильним для графів загалом.».He used combinatorial tools in proving several of Stefan Banach's conjectures in the subject, in particular constructing a Banach space with almost no symmetry,serving as a counterexample to several other conjectures.
Він використав інструменти з комбінаторики для доведення деяких гіпотез Стефана Банаха про Банахів простір і побудував Банахів простір з майже відсутньою симетрією,яка виступає як контрприклад ряду інших гіпотез.While each of the previous three replies might not becompletely convincing by itself as a refutation of the Chinese room counterexample, if you take all three together they are collectively much more convincing and even decisive.
Нехай кожен з Трьох попередніх відповідей, можливо,не є абсолютно переконливим як спростування контрпримера з китайською кімнатою; але якщо ви об'єднаєте всі три відповіді, то разом вони набагато більш переконливі і навіть безперечні.In important situations, I would argue that both kinds of evidence are required, as proofs may be flawed, and conversely computer searches may have thebad luck to stop just before encountering a counterexample that disproves the conjectured result.
В особливо важливих випадках я вважаю необхідними і ті, і інші, оскільки докази можуть містити помилки, а комп'ютерні обчислення можуть, по нещастю,бути зупинені якраз перед виявленням контрпримера, який спростував би передбачуваний висновок.In the mathematical field of graph theory, the Horton graph or Horton 96-graph is a 3-regular graph with 96 vertices and 144 edges discovered by Joseph Horton.[1] Published by Bondy and Murty in 1976,it provides a counterexample to the Tutte conjecture that every cubic 3-connected bipartite graph is Hamiltonian.[2][3].
У математичної області теорії графів, граф Horton або Horton 96-граф являє собою 3-регулярний граф з 96 вершинами і 144 ребер, виявлених Joseph Horton. Опубліковано Бонді і Мурті в 1976 році,вона забезпечує контрприклад до гіпотези Татта, що кожен кубічний 3-зв'язний двочастковий граф гамільтонів.[2][3].
