Você não é consistente.	You are not consistent.
Nós não temos uma metodologia consistente de testes .	We have no consistent testing.
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 .
O tumor na sua perna não é consistente com um tumor benigno.	The tumor in your leg is not consistent with a benign tumor.
Você deve ser consistente.	You want it to be consistent.
É preciso ser consistente.	It's got to be consistent.
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 .
Ela é consistente em suas opiniões.	She is consistent in her opinions.
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.
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
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.
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.
Mas o acordo é menos consistente do que parece.	But agreement is thinner than it appears.
Foi uma temporada consistente e ligeiramente melhor que 2008.	The 2008 season was a mixture of success and disappointment for Williams.
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).
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.
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.
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.
Por exemplo, ZF DC BP é consistente, se ZF for.	For example, ZF DC BP is consistent, if ZF is.
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.
Validade garante consistência no código, que por sua vez facilita o processamento, mas não necessariamente garante renderização consistente nos navegadores.	Validity assures consistency in document code, which in turn eases processing, but does not necessarily ensure consistent rendering by browsers.
E o primeiro componente consistente do arrependimento é basicamente a negação.	So the first consistent component of regret is basically denial.
Toda a informação incluída no processo de consolidação deve ser consistente .	There shall be consistency across reports in the consolidation process .
Porque, devo dizer, em toda minha carreira, se existe alguma coisa que foi consistente, foi que aquilo não poderia ser feito.	Because I have to say, for my whole career, if there's anything that's been consistent, it's been that you can't do it.
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.
Nossa intuição está nos enganando de uma forma repetitiva, previsível e consistente.	Our intuition is really fooling us in a repeatable, predictable, consistent way.
Esta mudança nas condições de mercado é fundamentada por uma narrativa consistente.	A consistent narrative underpins this change in market conditions.
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).
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.
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.
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.
Os fundadores do movimento kibutz queriam redimir a nação judaica através do trabalho, e contratar não judeus para fazer o serviço pesado não seria consistente com essa ideia.	The founders of the kibbutz movement wanted to redeem the Jewish nation through manual labour, and hiring non Jews to do hard tasks was not consistent with that idea.
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.
Isso é consistente com a nossa intuição de que o genocídio é único.	That is consistent with our intuition that genocide is unique.
Poucos anos depois, Gentzen deu uma prova consistente para a aritmética de Peano.	A few years later, Gentzen gave a consistency proof for Peano arithmetic.
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.
Então, seis tiroteios em todo o país, bastante consistente ao longo dos anos anteriores.	So six shootings across the whole country, fairly consistently over the years before.
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 .
Um consultor de ética nomeado pela Comissão Executiva assegurará a interpretação consistente destas regras .	5 An Ethics Adviser appointed by the Executive Board ensures a consistent interpretation of these rules .

Pesquisas relacionadas : Não Era Consistente - Não é Consistente - Não é Consistente Com - Não é Totalmente Consistente - Crescimento Consistente - Comunicação Consistente - Entrega Consistente - Altamente Consistente - Serviço Consistente - Experiência Consistente - Consistente Em - Operação Consistente - Ficar Consistente

Display this page in English