A ω consistência de uma teoria implica sua consistência, mas consistência não implica em ω consistência.	The ω consistency of a theory implies its consistency, but consistency does not imply ω consistency.
Consistência relativa Além de consistência, consistência relativa é também uma característica de um sistema axiomático.	Relative consistency Beyond consistency, relative consistency is also the mark of a worthwhile axiom system.
Consistência na interface.	Consistency of interface.
consistência e comparabilidade .	consistency and comparability .
Um dos primeiros modelos de consistência foi a consistência sequencial de Leslie Lamport.	One of the first consistency models was Leslie Lamport's sequential consistency model.
Consistência é a chave	Consistency is key
Ele tem certa consistência.	Has a little bit of consistency to it.
Consistência hermenêutica refere se à análise de textos para explicação coerente.	Hermeneutic consistency refers to the analysis of texts to achieve a coherent explanation of them.
consistência ( ou coerência ) e comparabilidade	consistency ( or coherence ) and comparability
Estes processos padrões são usados para estabelecer uma consistência dentro da organização.	These standard processes are in place (i.e., they are the AS IS processes) and used to establish consistency of process performance across the organization.
2) é utilizada para a determinação de limites de consistência dos solos.	Derived limits The values of these limits are used in a number of ways.
Consistência, competência e experiência do consórcio.	Consistence, appropriate experience and competence of the consortium.
Seres humanos têm uma necessidade de manter consistência para a consciência da massa.	Human beings have a need for maintaining consistency of the apperceptive mass.
Implicações para provas de consistência O segundo teorema da incompletude de Gödel também implica que a teoria T 1, satisfazendo a condição técnica mostrada acima, não pode provar a consistência de qualquer teoria T 2 a qual prova a consistência de T 1.	Implications for consistency proofs Gödel's second incompleteness theorem also implies that a theory T 1 satisfying the technical conditions outlined above cannot prove the consistency of any theory T 2 that proves the consistency of T 1.
consistência, competência e experiência do consórcio.	consistence, appropriate competence and experience of the consortium
Essa consistência contribui para a estabilização das expectativas de inflação e para reforçar a credibilidade do BCE .	Such consistency helps to stabilise inflation expectations and bolster the ECB 's credibility .
Esta consistência contribui para estabilizar as expectativas de inflação e construir a credibilidade do BCE .	Such consistency helps to stabilise inflation expectations and build the credibility of the ECB .
É só um pouquinho de farinha para engrossar o caldo, mantendo a consistência mole e apetitosa.	You only need a small amount to thicken the broth and retain the deliciously smooth consistency.
Podemos sempre contar com o Primeiro ministro Dmitry Medvedev para um sentido de estabilidade e consistência.	You can depend of PM Dmitry Medvedev to provide a sense of stability and narrative.
No seu segundo teorema,ele mostrou que tal sistema não poderia provar sua própria consistência, então o sistema certamente não poderia ser usado para provar a consistência de nenhum outro sistema mais complexo.	In his second theorem, he showed that such a system could not prove its own consistency, so it certainly cannot be used to prove the consistency of anything stronger with certainty.
Para assegurar a consistência em diferentes domínios estatísticos , deve ser criada uma classificação harmonizada para os principais agrupamentos industriais .	In order to ensure consistency in different statistical domains a harmonised definition should be established for the main industrial groupings .
Assim, a prova de consistência de T em T não poderia nos dar nenhuma pista de que T é realmente consistente não há dúvida de que a consistência de T poderia ser resolvida por tal prova de consistência.	Thus a consistency proof of T in T would give us no clue as to whether T really is consistent no doubts about the consistency of T would be resolved by such a consistency proof.
Não existe mais qualquer consistência nos sinais da superfície.	There is no longer any consistency in the surface signals.
provas de consistência, que são baseados em modelos, e que argumentam a partir da verdade de axiomas a sua consistência, apenas mudam o problema.	proofs of consistency which are based on models, and which argue from the truth of axioms to their consistency, merely shift the problem.
Um dos critérios para avaliação de teorias cientifícas que Feyerabend ataca é o da consistência do critério .	One of the criteria for evaluating scientific theories that Feyerabend attacks is the consistency criterion .
Mais valor que a consistência jurídica tem a eficácia moral.	Some protesters dressed this way have vandalized property or committed arson.
A consistência é o último refúgio da pessoa sem imaginação.	Consistency is the last refuge of the unimaginative.
Isto acontece porque teorias inconsistentes provam tudo, incluindo sua consistência.	This is because inconsistent theories prove everything, including their consistency.
Deve haver consistência em todos os relatórios no processo de consolidação .	There shall be consistency across reports in the consolidation process .
A existência de um modelo concreto prova a consistência do sistema.	The existence of a concrete model proves the consistency of a system.
Consistência uma prova que nenhuma contradição pode ser obtida no formalismo.	Consistency a proof that no contradiction can be obtained in the formalism of mathematics.
A consistência do concreto utilizado no projeto foi um ponto essencial.	The consistency of the concrete used in the project was essential.
Contudo, ao cortar, eu percebi uma consistência quase normal e macia.	Yet, when it was cut it was soft and almost normal in consistency.
As ações humanas são frequentemente simuladas através de meios mecânicos para aumentar a segurança, e conseguir consistência em ações repetitivas.	Human actions are often simulated by mechanical means in order to increase safety, and to achieve consistency in repeated actions.
Alguns dialeteístas, incluindo Graham Priest, argumentaram que a coerência não exigie consistência.	Some dialetheists, including Graham Priest, have argued that coherence may not require consistency.
No início do século XX a lógica matemática foi moldada pelo programa de David Hilbert para provar a consistência das teorias fundamentais.	In the early 20th century it was shaped by David Hilbert's program to prove the consistency of foundational theories.
Uma das razões que torna o estudo de modelos internos interessante é que ele pode ser usado para provar resultados de consistência.	One reason that the study of inner models is of interest is that it can be used to prove consistency results.
Forçamento é também um dos dois métodos para provar consistência relativa por métodos finitístico, sendo o outro os modelos de valores Booleanos.	Forcing is also one of two methods for proving relative consistency by finitistic methods, the other method being Boolean valued models.
Isso refutou a suposição de Hilbert que um sistema finito poderia ser usado para provar a consistência de uma teoria mais complexa.	This refuted Hilbert's assumption that a finitistic system could be used to prove the consistency of itself, and therefore anything else.
Por fim, a consistência de toda a matemática poderia ser reduzida a aritmética básica.	Ultimately, the consistency of all of mathematics could be reduced to basic arithmetic.
A versão forte do teorema da incompletude, que apenas assume consistência ao invés de ω consistência, é agora comumente conhecida como o teorema da incompletude de Gödel e como o teorema de Gödel Rosser.	The stronger version of the incompleteness theorem that only assumes consistency, rather than ω consistency, is now commonly known as Gödel's incompleteness theorem and as the Gödel Rosser theorem.
Por exemplo, a consistência da aritmética de Peano pode ser provada na teoria dos conjuntos de Zermelo Fraenkel (ZFC), ou nas teorias aritméticas aumentadas com indução transfinita, como na prova de consistência de Gentzen.	For example, the consistency of the Peano arithmetic can be proved in Zermelo Fraenkel set theory (ZFC), or in theories of arithmetic augmented with transfinite induction, as in Gentzen's consistency proof.
Entretanto, até hoje, não há um modo conhecido de demonstrar a consistência dos modernos axiomas de Zermelo Frankel para a teoria dos conjuntos.	However, at present, there is no known way of demonstrating the consistency of the modern Zermelo Fraenkel axioms for set theory.
Ambos os críticos e fãs criticaram o disco, citando falta de consistência e manobras visíveis para recapturar a antiga glória de Blige Combs.	Critics and fans alike largely panned the disc, citing a lack of consistency and noticeable ploys to recapture the early Blige Combs glory.
Uma teoria como a aritmética de Peano não pode nem provar sua própria consistência, por isto um subconjunto finito restrito certamente não pode provar a consistência das mais fortes teorias, como a teoria dos conjuntos.	A theory such as Peano arithmetic cannot even prove its own consistency, so a restricted finitistic subset of it certainly cannot prove the consistency of more powerful theories such as set theory.

Pesquisas relacionadas : Para Efeitos De Consistência - Consistência Mundial - Maior Consistência - Consistência Global - Consistência Estilística - Alta Consistência - Melhor Consistência - A Consistência - Consistência Regulamentar - Proporcionando Consistência - Consistência Sólida - Consistência Texto

Exibir esta página em português