Translation of "set of theories" to Portuguese language:


  Dictionary English-Portuguese

  Examples (External sources, not reviewed)

Many theories of interest include an infinite set of axioms, however.
Muitas teorias de interesse incluem um conjunto infinito de axiomas, contudo.
These definitions cannot be used in non well founded set theories.
Estas definições não podem ser usadas nas teorias dos conjuntos não bem fundados .
Examples of effectively generated theories with infinite sets of axioms include Peano arithmetic and Zermelo Fraenkel set theory.
Exemplos de teorias efetivamente geradas com conjunto infinito de axiomas incluem a aritmética de Peano e a teoria dos conjuntos de Zermelo Fraenkel.
For an extensive discussion of the ordered pair in the context of Quinian set theories, see Holmes (1998).
Para uma discussão extensa de pares ordenados no contexto das teorias dos conjuntos quineanas ou à la Quine , ver Holmes (1998).
Formal theories, systems and proofs In mathematical logic, a formal theory is a set of sentences expressed in a formal language.
Teorias formais, sistemas e provas Na lógica matemática, uma teoria formal é um conjunto de sentenças expressas em uma linguagem formal.
Subsequently, several alternative theories were proposed, including the neo Piagetian theories of cognitive development.
Ver também Kant Razão instrumental Max Weber Max Horkheimer Karl Marx Filosofia Economia Sociologia
Darwin's five theories of evolution.
Darwin's five theories of evolution.
On January 2008, then President of Venezuela Hugo Chávez set up a commission to investigate theories that Bolívar was the victim of an assassination.
Para o presidente Hugo Chávez, Bolívar teria sido vítima de uma conspiração e envenenado por um general colombiano.
Theories Perception as direct perception Cognitive theories of perception assume there is a poverty of stimulus.
Teorias cognitivas da percepção assumem que há uma pobreza de estímulos .
In set theories with urelements, one has to further make sure that the definition excludes urelements from appearing in ordinals.
Nas teorias dos conjuntos com urelementos , temos que assim ter certeza que a definição não permite que os urelementos apareçam nos ordinais.
Percy Lehning, Theories of Secession , Routledge, 1998.
Percy Lehning, Theories of Secession, Routledge, 1998.
Theories with more than one supersymmetry transformation are known as extended supersymmetric theories.
Theories with more than one supersymmetry transformation are known as extended supersymmetric theories.
As a solution, Hilbert proposed to ground all existing theories to a finite, complete set of axioms, and provide a proof that these axioms were consistent.
Como solução, Hilbert propôs basear todas as teorias existentes para um finito, um conjunto completo de axiomas, e então promover uma prova que esses axiomas eram consistentes.
This is the way theories of unification work.
É assim que as teorias de unificação funcionam.
This issue arises in first order theories of arithmetic, such as Peano arithmetic, because the principle of mathematical induction is expressed as an infinite set of axioms (an axiom schema).
Essa questão surge nas teorias de primeira ordem da aritmética, como a aritmética de Peano, porque o princípio da indução matemática é expresso como um conjunto infinito de axiomas (um esquema axiomático).
The second incompleteness theorem only shows that the consistency of certain theories cannot be proved from the axioms of those theories themselves.
O segundo teorema da incompletude apenas mostra que a consistência de certas teorias não pode ser provada a partir de axiomas dessas próprias teorias.
Published work The first volume of Capital and Interest , which Ludwig von Mises decreed as the most eminent contribution to modern economic theory , titled History and Critique of Interest Theories (1884), is an exhaustive study of the alternative treatments of interest use theories, productivity theories, abstinence theories, and so on.
Trabalhos publicados O primeiro volume da obra Capital e Juro , que Ludwig von Mises decretou como a contribuição mais eminente para a teoria econômica moderna , intitulado História e Crítica das Teorias de Juro (1884), é um estudo exaustivo dos tratamentos alternativos de juro teorias de uso, teorias de produtividade, teorias de abstinência, e assim por diante.
Well, there are many theories.
Há muitas teorias
Second generation theorists sought to develop detailed theories of why and when revolutions arise, grounded in more complex social behavior theories.
Teóricos da segunda geração procuroram desenvolver detalhada teoria do porquê e quando surgem as revoluções, fundamentada na mais complexas teorias de comportamento social.
The most important development of the scientific method was the use of experiments to distinguish between competing scientific theories set within a generally empirical orientation, which began among Muslim scientists.
O desenvolvimento mais importante do método científico foi no uso de experimentos para distinguir entre um conjunto de teorias científicas concorrentes geralmente com uma orientação empírica.
There are many theories about the origin of life.
Há muitas teorias sobre a origem da vida.
There are many theories about the origin of Fado.
Os artistas que cantam o fado trajavam de negro.
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.
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.
There is a lot more to do to test these theories, and to test any other theories.
Muito ainda resta a ser feito para verificar estas histórias, e testar quaisquer outras teorias.
One is well known untestable theories.
Uma delas é bem conhecida teorias que não podem ser testadas.
3.5 Theories on Who Killed Hajj
Três teorias e meia sobre quem matou Hajj
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.
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.
Other netizens have developed conspiracy theories out of the scandal
Outros internautas desenvolveram teorias da conspiração sobre o escândalo
Theories of cultural hegemony or cultural assimilation via cultural imperialism.
Teorias da hegemonia cultural ou assimilação cultural através do imperialismo cultural.
This encouraged early evolutionary theories on the transmutation of species.
Isto encorajou teorias evolucionistas como a transmutação das espécies.
There exist presently three theories about the formation of Creole.
Existem presentemente três teorias acerca da formação do crioulo cabo verdiano.
Etymology Several theories address the origin of the name Karbala .
Etimologia Existem várias teorias quanto à origem do nome Karbala.
In class theories such as Von Neumann Bernays Gödel set theory and Morse Kelley set theory, there is a possible axiom called the axiom of global choice which is stronger than the axiom of choice for sets because it also applies to proper classes.
Na teoria das classes como na teoria dos conjuntos de Von Neumann Bernays Gödel e na teoria dos conjuntos de Morse Kelley, existe um axioma possível chamado de axioma da escolha global que é mais forte do que o Axioma da Escolha para conjuntos porque também se aplica para classes próprias.
Beautiful Theories, an article reprinted from Dreams of a Final Theory by Steven Weinberg in 1992 which focuses on the nature of beauty in physical theories.
Beautiful Theories, artigo reimpresso para Dreams of a Final Theory de Steven Weinberg em 1992 que tem como foco a natureza da beleza das teorias físicas.
Objective collapse theories According to objective collapse theories, superpositions are destroyed spontaneously (irrespective of external observation) when some objective physical threshold (of time, mass, temperature, irreversibility, etc.
Teorias de colapso objetivas De acordo com as teorias de colapso objetivo, superposições são destruídas espontaneamente (independente de observação externa) quando algum princípio físico objetivo (de tempo, massa, temperatura, irreversibilidade etc) é alcançado.
Emergence is central in theories of integrative levels and of complex systems.
O conceito de Emergência é normalmente associado às teorias dos Sistemas Complexos.
There are several theories about the origin of each of these groups.
Mais tarde uma corrente apreciável localizou se no estado de São Paulo.
Einstein's theories contributed greatly to modern science.
As teorias de Einstein contribuíram bastante para a ciência moderna.
I don't want to hear your theories.
Não quero ouvir suas teorias.
No valid theories have been proposed yet.
Veja também Povos eslavos Boykos Lemkos
There are many theories explaining its origin.
Existem muitas teorias explicando sua origem.
And this is also, I think, the basis of conspiracy theories.
E isso é também, eu acho, a base das teorias de conspiração.
Theories vary about the etymology of Jaffa or Yafo in Hebrew.
Teorias sobre a etimologia podem variar entre Jaffa ou Yafo em hebraico.
(Open Court, 1998) Theories of Truth , Richard Kirkham (MIT Press, 1992).
Richard Kirkham, Theories of Truth , MIT Press 1992.
This makes supersymmetric models useful toy models of more realistic theories.
This makes supersymmetric models useful toy models of more realistic theories.