Translation of "que é consistente" to English language:
Dictionary Portuguese-English
Consistente - tradução :
Examples (External sources, not reviewed)
| 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 . |
| 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. |
| Você não é consistente. | You are not consistent. |
| É preciso ser consistente. | It's got to be consistent. |
| Mas o acordo é menos consistente do que parece. | But agreement is thinner than it appears. |
| 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). |
| Isso é consistente com a nossa intuição de que o genocídio é único. | That is consistent with our intuition that genocide is unique. |
| 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 . |
| 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. |
| Por exemplo, ZF DC BP é consistente, se ZF for. | For example, ZF DC BP is consistent, if ZF is. |
| 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 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. |
| 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. |
| 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 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 ? |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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? |
| 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. |
| 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. |
| 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. |
| Ele também era um proponente consistente do poliamor. | He was also a consistent proponent of polyamory. |
| Nós não temos uma metodologia consistente de testes . | We have no consistent testing. |
| assegura a aplicação consistente das políticas do BCE | ensures consistent implementation of ECB policies |
| Unicode é um padrão que permite aos computadores representar e manipular, de forma consistente, texto de qualquer sistema de escrita existente. | Unicode is a computing industry standard for the consistent encoding, representation, and handling of text expressed in most of the world's writing systems. |
| Por exemplo, um grupo é um objeto algébrico consistente de umaconjunto que junto com uma única operação binária, satisfaça certos axiomas. | For example, a group is an algebraic object consisting of a set together with a single binary operation, satisfying certain axioms. |
| 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. |
| 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. |
| 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. |
| Vou dar um exemplo de quando a inteligência torna algo não consistente, mas mesmo assim é melhor. | I'm going to give you some examples where intelligence makes something not consistent, but it's better. |
| A função do terceiro nível é assegurar a interpretação da legislação comunitária de forma eficiente e consistente . | The function of the third level is to ensure that Community law is interpreted in an efficient and consistent manner . |
| Isto é, todo conjunto consisten de sentenças de primeira ordem pode ser estendido para conjunto consistente maximal. | That is, every consistent set of first order sentences can be extended to a maximal consistent set. |
Pesquisas relacionadas : O Que é Consistente - é Consistente - Não é Consistente - Isso é Consistente - Ela é Consistente - É Consistente Com - Informação é Consistente - Como é Consistente - Não é Consistente Com - Não é Totalmente Consistente - Consistente Com O Que - Por Que é Que - Crescimento Consistente
