Translation of "não é consistente" to English language:
Dictionary Portuguese-English
Examples (External sources, not reviewed)
| Você não é consistente. | You are not consistent. |
| 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 . |
| É preciso ser consistente. | It's got to be 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. |
| Ela é consistente em suas opiniões. | She is consistent in her opinions. |
| Nós não temos uma metodologia consistente de testes . | We have no consistent testing. |
| 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 . |
| 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. |
| Mas o acordo é menos consistente do que parece. | But agreement is thinner than it appears. |
| 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). |
| 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. |
| 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. |
| Por exemplo, ZF DC BP é consistente, se ZF for. | For example, ZF DC BP is consistent, if ZF is. |
| Você deve ser consistente. | You want it to be consistent. |
| Isso é consistente com a nossa intuição de que o genocídio é único. | That is consistent with our intuition that genocide is unique. |
| 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 o primeiro componente consistente do arrependimento é basicamente a negação. | So the first consistent component of regret is basically denial. |
| 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. |
| 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. |
| 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. |
| 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 ? |
| 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). |
| 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. |
| 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. |
| 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. |
| 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. |
| Em particular, diferentes formalizações da alegação de que T é consistente pode não ser equivalente a T , e algumas podem até ser provadas. | In particular, different formalizations of the claim that T is consistent may be inequivalent in T , and some may even be provable. |
| Ele também era um proponente consistente do poliamor. | He was also a consistent proponent of polyamory. |
| assegura a aplicação consistente das políticas do BCE | ensures consistent implementation of ECB policies |
| A existência de um cardinal com uma dessas propriedades não pode ser demonstrada na teoria dos conjuntos de Zermelo Fraenkel, ZF, se ZF é consistente. | These properties typically imply the cardinal number must be very large, with the existence of a cardinal with the specified property unprovable in Zermelo Fraenkel set theory. |
| 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. |
| Os físicos teóricos ainda não formularam uma teoria consistente que combine a relatividade geral com a mecânica quântica. | Theoretical physicists have not yet formulated a widely accepted, consistent theory that combines general relativity and quantum mechanics. |
| Foi uma temporada consistente e ligeiramente melhor que 2008. | The 2008 season was a mixture of success and disappointment for Williams. |
| Um conjunto de axiomas é (simplesmente) consistente se não existir nenhuma afirmação tal que ambas a afirmação e sua negação são demonstráveis a partir dos axiomas. | A set of axioms is (simply) consistent if there is no statement such that both the statement and its negation are provable from the axioms. |
| Críticas Muitos investigadores científicos têm apontado diversas discrepâncias entre os dois textos revelados à Dee, afirmando que a língua enoquiana não é uma língua muito consistente. | Skeptical and linguistic evaluations Skeptics have pointed to this discrepancy between the two revealed sets of Enochian texts as an indication that Enochian is not a consistent language. |
| Na de Cox, a probabilidade é entendida como uma primitiva (isto é, não analisada posteriormente) e a ênfase está em construir uma associação consistente de valores de probabilidade a proposições. | In Cox's theorem, probability is taken as a primitive (that is, not further analyzed) and the emphasis is on constructing a consistent assignment of probability values to propositions. |
| 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. |
| Enquanto caracterizações são geralmente consistente, mesmo quando não são histórias, alguns personagens têm origens diferentes em diferentes versões da história, ou não aparecer. | While characterizations are usually consistent even when storylines are not, some characters have different origins in different versions of the story, or do not appear at all. |
| O tribunal tem sido consistente ao faltarem apenas alguns julgamentos, não emitiu sentenças por genocídio para além de Srebrenica. | The court has been consistent with just a few trials left, it has issued no convictions for genocide apart from Srebrenica. |
| Não há algoritmo para decidir a veracidade (ou prova) das declarações em qualquer extensão consistente da aritmética de Peano. | There is no algorithm to decide the truth (or provability) of statements in any consistent extension of Peano arithmetic. |
| fábricas de notas , contribuindo assim para assegurar uma qualidade consistente . | Throughout the year , production progress was carefully monitored by the ECB in terms of both quantity and quality . During this period , the visual appearance of the banknotes was also regularly sampled . |
| As caixas produzidas aqui são fabricadas com material muito consistente. | The boxes produced here are made of a very consistent material. |
Pesquisas relacionadas : Não é Consistente Com - Não é Totalmente Consistente - é Consistente - Não Consistente - Que é Consistente - Isso é Consistente - Ela é Consistente - É Consistente Com - Informação é Consistente - Como é Consistente - Não Era Consistente - O Que é Consistente - Não é?
