Tradução de "o que é consistente" para o idioma inglês:
Dicionário Português-Inglês
Consistente - tradução :
Exemplos (Fontes externas, não revisadas)
| Mas como PA é consistente, o maior subconjunto consistente de PA é PA, então, nesse sentido, PA prova que é consistente . | But since PA is consistent, the largest consistent subset of PA is just PA, so in this sense PA proves that it is consistent . |
| Mas o acordo é menos consistente do que parece. | But agreement is thinner than it appears. |
| Assim, a suposição de que ZF é consistente (tem qualquer modelo que seja) implica que ZF juntamente com estes dois princípios é consistente. | Thus the assumption that ZF is consistent (has at least one model) implies that ZF together with these two principles is consistent. |
| Isso é consistente com a nossa intuição de que o genocídio é único. | That is consistent with our intuition that genocide is unique. |
| Você não é consistente. | You are not consistent. |
| É preciso ser consistente. | It's got to be consistent. |
| Ela é consistente em suas opiniões. | She is consistent in her opinions. |
| ZF DC AD é consistente dado que um axioma para um cardinal grande forte é consistente (a existência de infinitos deles cardinais de Woodin). | ZF DC AD is consistent provided that a sufficiently strong large cardinal axiom is consistent (the existence of infinitely many Woodin cardinals). |
| O que PA não prova é que o maior subconjunto consistente de PA é, de fato, todo o PA. (O termo maior subconjunto consistente de PA é tecnicamente ambíguo, mas o que quer dizer é que o maior segmento inicial e consistente dos axiomas de PA, ordenados seguindo um critério específico i.e., por números de Gödel , os números codificados pelo axioma como usados por Gödel, mencionado acima). | What PA does not prove is that the largest consistent subset of PA is, in fact, the whole of PA. (The term largest consistent subset of PA is technically ambiguous, but what is meant here is the largest consistent initial segment of the axioms of PA ordered according to specific criteria i.e., by Gödel numbers , the numbers encoding the axioms as per the scheme used by Gödel mentioned above). |
| E o primeiro componente consistente do arrependimento é basicamente a negação. | So the first consistent component of regret is basically denial. |
| A afirmação e a prova original de Gödel do teorema da incompletude requerem que tomemos por hipótese que a teoria não é somente consistente, mas ω consistente . | Gödel's original statement and proof of the incompleteness theorem requires the assumption that the theory is not just consistent but ω consistent . |
| O tumor na sua perna não é consistente com um tumor benigno. | The tumor in your leg is not consistent with a benign tumor. |
| Esta assegura que a legislação nacional é , a priori , consistente com a lei comunitária . | It ensures that national legislation is a priori consistent with Community law . |
| Ele argumenta que nenhuma teoria interessante é completamente consistente com todos os fatos relevantes. | He argued that no interesting theory is ever consistent with all the relevant facts. |
| Considerando o da direita, a informação é consistente com aqueles dois azulejos que estão sob a mesma luz. | Whereas on the right, the information is consistent with those two tiles being under the same light. |
| Por exemplo, ZF DC BP é consistente, se ZF for. | For example, ZF DC BP is consistent, if ZF is. |
| E o que o código de barra faz é usar um gene específico, chamado CO1, que é consistente dentro de uma espécie, mas varia entre espécies. | And what barcoding does is use a specific gene called CO1 that's consistent within a species, but varies among species. |
| Foi uma temporada consistente e ligeiramente melhor que 2008. | The 2008 season was a mixture of success and disappointment for Williams. |
| Você deve ser consistente. | You want it to be consistent. |
| O segundo teorema não desconsidera as provas de consistência completamente, apenas prova que podem ser formalizadas na teoria que é provada consistente. | The second incompleteness theorem does not rule out consistency proofs altogether, only consistency proofs that could be formalized in the theory that is proved consistent. |
| Ele queria que o universo fosse eterno e imutável, mas este tipo de universo não é consistente com a relatividade. | He wanted the universe to be eternal and unchanging, but this type of universe is not consistent with relativity. |
| Por exemplo, a aritmética de primeira ordem de Peano (PA) pode provar que o maior subconjunto de PA é consistente. | For example, first order Peano arithmetic (PA) can prove that the largest consistent subset of PA is consistent. |
| J. Barkley Rosser (1936) fortaleceu o teorema da incompletude ao encontrar uma variação da prova (truque de Rosser) que requer que a teoria seja apenas consistente ao invés de ω consistente. | J. Barkley Rosser (1936) strengthened the incompleteness theorem by finding a variation of the proof (Rosser's trick) that only requires the theory to be consistent, rather than ω consistent. |
| Isto permitiu que o sistema representasse de forma consistente ambos inteiros grandes e pequenos. | This allowed the system to consistently represent both large and small integers. |
| Semelhantemente, embora um subconjunto dos reais que não é Lebesgue mensurável pode ser provado existir usando o Axioma da Escolha, é consistente que tal conjunto não é definível. | Similarly, although a subset of the real numbers that is not Lebesgue measurable can be proved to exist using the axiom of choice, it is consistent that no such set is definable. |
| Issues Não é todo corpo consistente de proposições que podem ser descritos por uma coleção de axiomas. | Issues Not every consistent body of propositions can be captured by a describable collection of axioms. |
| Essa última definição é consistente com o uso feito em matemática superior, por exemplo no cálculo. | The latter definition is consistent with its uses in higher mathematics such as calculus. |
| Esta mudança nas condições de mercado é fundamentada por uma narrativa consistente. | A consistent narrative underpins this change in market conditions. |
| Primeiro, a matemática é completa ... Segundo, a matemática é consistente ... E terceiro, a matemática é decidível ? | First, was mathematics complete ... Second, was mathematics consistent ... And thirdly, was mathematics decidable ? |
| E visual com conteúdo é algo diferente, mais consistente, uma coisa mais poderosa, talvez. Mas o que seria isso, visual com conteúdo? | And eye meat is something different, something more fibrous, something more powerful, perhaps. But what could that be, eye meat? |
| O teorema da incompletude de Gödel mostra que em certos casos não é possível obter uma teoria efetivamente gerada, completa e consistente. | Gödel's incompleteness theorems show that in certain cases, it is not possible to obtain a theory that is effectively generated and complete and consistent. |
| Mas se T 2 também provasse que T 1 é consistente (isto é, que não há tal n ), então ele próprio seria inconsistente. | But if T 2 also proved that T 1 is consistent (that is, that there is no such n), then it would itself be inconsistent. |
| divulgaram seu estudo sugerindo que a trajetória do objeto é consistente com uma origem no cinturão de asteroides. | released a study suggesting that the object had arrived from the direction of the asteroid belt. |
| A pobreza absoluta refere se a um nível que é consistente ao longo do tempo e entre países. | Absolute poverty Absolute poverty refers to a set standard which is consistent over time and between countries. |
| Um conjunto de axiomas que é tanto completo quanto consistente, contudo, prova um conjunto maximal de teoremas não contraditórios. | A set of axioms that is both complete and consistent, however, proves a maximal set of non contradictory theorems. |
| E certamente não temos nenhuma empatia por aquela parte o que explica o terceiro componente consistente do arrependimento, que é um desejo intenso de punir a nós mesmos. | And we certainly don't have any empathy for that part which explains the third consistent component of regret, which is an intense desire to punish ourselves. |
| Efetividade Como muitos outros métodos contracetivos, a efetividade confiável é alcançada somente com o uso correto e consistente. | Effects Like many methods of birth control, reliable effect is achieved only by correct and consistent use. |
| Mas Piri Reis disse que este terá desenhado o mapa ele próprio utilizanto mapas antigos, e o mapa é consistente com o conhecimento cartográfico existente nesse tempo. | But Piri Reis said that he had drawn that map himself using old maps, and the map is consistent with the cartographic knowledge of that time. |
| Isto é exatamente o que você quer em física acontecer de uma previsão vir de uma teoria consistente matematicamente que na verdade foi desenvolvida para outra coisa. | So, this is exactly what you want in physics where a prediction comes out of a mathematically consistent theory that was actually developed for something else. |
| O valor de referência é calculado de forma a ser consistente com e contribuir para a estabilidade de preços . | The reference value is derived in a way that is consistent with and serves the achievement of price stability . |
| Fósseis também pode restringir a idade das linhagens e demonstrar como uma árvore é consistente com o registro estratigráfico. | Fossils can also constrain the age of lineages and thus demonstrate how consistent a tree is with the stratigraphic record stratocladistics incorporates age information into data matrices for phylogenetic analyses. |
| A sabedoria dos negócios tradicionais sustenta que a confiança é conquistada através do comportamento previsível, mas quando tudo é consistente e padronizado, como é que criamos experiências significativas? | Traditional business wisdom holds that trust is earned by predictable behavior, but when everything is consistent and standardized, how do you create meaningful experiences? |
| Carolus Linnaeus foi o primeiro que aplicou a categoria de forma consistente na sua obra Systema Naturae (1735). | Carolus Linnaeus was the first to apply it consistently to the division of all three kingdoms of nature (minerals, plants, and animals) in his Systema Naturae (1735, 1st. |
| No entanto, o KDE é um ambiente integrado o que aprender neste manual e ao explorar a interface do KDE é consistente e aplica se a todas as aplicações do KDE. | However, KDE is an integrated environment what you learn in this manual and in your own exploration of KDE 's interface is consistent and readily transferrable between KDE applications. |
| Isto significa que se a teoria T é consistente, então G não pode ser provada dentro dela, e assim a teoria T é incompleta. | This means that if the theory T is consistent then G cannot be proved within it, and so the theory T is incomplete. |
Pesquisas relacionadas : Que é Consistente - é Consistente - Consistente Com O Que - O Que é - é O Que - O Que é - Não é Consistente - Isso é Consistente - Ela é Consistente - É Consistente Com - Informação é Consistente - Como é Consistente - Sabe O Que é O Que - O Que é O Amor
