Tradução de "fundamental theorem" para a língua portuguesa:
Dicionário Inglês-Português
Exemplos (Fontes externas, não revisadas)
| This is the fundamental theorem of arithmetic. | Este é o teorema fundamental da aritmética. |
| GCD and the Fundamental Theorem of Arithmetic at cut the knot. | Está, portanto, demonstrado o Teorema Fundamental da Aritmética. |
| The version of Taylor's theorem, which expresses the error term as an integral, can be seen as a generalization of the Fundamental Theorem. | A versão do teorema de Taylor que expressa o termo erro como uma integral pode ser visto como uma generalização do teorema fundamental. |
| And it is the key in the proof of the fundamental theorem of arithmetic. | Demonstração do Teorema Fundamental da Aritmética Teorema Seja formula_1 um inteiro positivo. |
| The fundamental theorem of calculus is a theorem that links the concept of the derivative of a function with the concept of the function's integral. | Este teorema é de importância central no cálculo tanto que recebe o nome teorema fundamental para todo o campo de estudo. |
| Among other problems, it assumed implicitly a theorem (now known as Puiseux's theorem) which would not be proved until more than a century later, and furthermore the proof assumed the fundamental theorem of algebra. | Entre outros problemas, usava implicitamente um teorema (atualmente designado por teorema de Puiseux) que só viria a ser demonstrado um século mais tarde e cuja demonstração se pensava depender do teorema fundamental da álgebra. |
| By contrast, the fundamental theorem of algebra states that the field of complex numbers is algebraically closed. | Em contrapartida, o corpo dos números complexos é algebricamente fechado é isto que afirma o teorema fundamental da álgebra. |
| Equivalence between (1) and (3) is known as the fundamental theorem of Lebesgue integral calculus, due to Lebesgue. | Então pode se fazer integrais (de Riemann e de Lebesgue) e provar o teorema fundamental do cálculo, tipicamente usando o teorema do valor médio. |
| Introduction The fundamental theorem of calculus states that the integral of a function f over the interval a , b can be calculated by finding an antiderivative F of f formula_3Stokes' theorem is a vast generalization of this theorem in the following sense. | Introdução O teorema fundamental do cálculo estabelece que a integral de uma função f sobre um intervalo a , b pode ser calculada através da busca de uma antiderivada F de f formula_1O teorema de Stokes é uma grande generalização deste teorema no seguinte sentido. |
| The first part of the theorem, sometimes called the first fundamental theorem of calculus, is that the definite integration of a function is related to its antiderivative, and can be reversed by differentiation. | Uma consequência importante disto, às vezes chamada de segundo teorema fundamental do cálculo, permite computar integrais utilizando a antiderivada da função a ser integrada. |
| This is a consequence of the fundamental theorem of calculus and the fact that derivative of ln( x ) is 1 x . | Esta é uma consequência do teorema fundamental do cálculo e do fato de que a derivada de ln( x ) é 1 x . |
| Corollaries Since the fundamental theorem of algebra can be seen as the statement that the field of complex numbers is algebraically closed, it follows that any theorem concerning algebraically closed fields applies to the field of complex numbers. | Corolários Visto que o teorema fundamental da Álgebra afirma que o corpo dos números complexos é algebricamente fechado, decorre do teorema que qualquer enunciado válido para aqueles corpos aplica se, em particular, aos números complexos. |
| The concept is regarded as a fundamental theorem of number theory, and his ideas paved the way for the work of Carl Friedrich Gauss. | O conceito é considerado como um teorema fundamental da teoria dos números, e suas ideias pavimentaram o caminho para o trabalho de Carl Friedrich Gauss. |
| Fundamental theorem of arithmetic The crucial importance of prime numbers to number theory and mathematics in general stems from the fundamental theorem of arithmetic , which states that every integer larger than 1 can be written as a product of one or more primes in a way that is unique except for the order of the prime factors. | Um dos resultados da teoria dos números é o Teorema Fundamental da Aritmética, que afirma que qualquer número natural diferente de 1 pode ser escrito de forma única (desconsiderando a ordem) como um produto de números primos (chamados fatores primos) este processo se chama decomposição em fatores primos (fatorização). |
| Interactive theorem prover | Interativo provador de teoremas |
| The Baire category theorem about complete metric spaces, and its consequences, such as the open mapping theorem and the closed graph theorem. | O teorema da categoria de Baire sobre espaços completos métricos, e suas consequências, como o teorema do mapeamento aberto e o teorema do grafo fechado. |
| Fermat's Last Theorem is a particularly well known example of such a theorem. | Obviamente, um teorema pode ter mais de uma única demonstração. |
| Another no go theorem concerning hidden variable theories is the Kochen Specker theorem. | Outro obstáculo significativo para a teoria de variáveis ocultas é o teorema de Kochen Specker. |
| Precise formulation of the theorem The intuitive statement of the four color theorem, i.e. | O teorema das quatro cores é um teorema de formulação e conceitualização simples, mas de demonstração extremamente complexa. |
| Euler proved Newton's identities, Fermat's little theorem, Fermat's theorem on sums of two squares, and he made distinct contributions to Lagrange's four square theorem. | Euler provou identidades de Newton, Pequeno teorema de Fermat, teorema de Fermat em somas de dois quadrados, e ele fez contribuições distintas ao Teorema de Fermat Lagrange. |
| It was Weierstrass who raised for the first time, in the middle of the 19th century, the problem of finding a constructive proof of the fundamental theorem of algebra. | Foi Weierstrass quem levantou pela primeira vez, em 1891, o problema de encontrar uma demonstração construtiva do teorema. |
| Classification The fundamental theorem of finite abelian groups states that every finite abelian group G can be expressed as the direct sum of cyclic subgroups of prime power order. | Grupos abelianos finitos O teorema fundamental dos grupos abelianos finitos estabelece que todo grupo abeliano finito G pode ser expresso como a soma direta de subgrupos cíclicos de ordem prima. |
| First incompleteness theorem Gödel's first incompleteness theorem first appeared as Theorem VI in Gödel's 1931 paper On Formally Undecidable Propositions in Principia Mathematica and Related Systems I. | Primeiro teorema da incompletude O primeiro teorema da incompletude de Gödel apareceu primeiro em 1931 como Teorema VI no artigo de Gödel chamado On Formally Undecidable Propositions in Principia Mathematica and Related Systems I . |
| Second incompleteness theorem Gödel's second incompleteness theorem first appeared as Theorem XI in Gödel's 1931 paper On Formally Undecidable Propositions in Principia Mathematica and Related Systems I. | O segundo teorema da incompletude O segundo teorema da incompletude de Gödel apareceu primeiro em 1931 como Teorema XI no artigo de Gödel chamado On Formally Undecidable Propositions in Principia Mathematica and Related Systems I . |
| Because it is usually easier to compute an antiderivative than to apply the definition of a definite integral, the fundamental theorem of calculus provides a practical way of computing definite integrals. | Por ser usualmente mais fácil computar uma antiderivada do que aplicar a definição de uma integral definida, o teorema fundamental do cálculo provê uma forma prática de computar integrais definidas. |
| 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. | 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. |
| So the fundamental theorem reads formula_5 General formulation Let Ω be an oriented smooth manifold of dimension n and let α be an n differential form that is compactly supported on Ω. | Assim o teorema fundamental pode ser lido como formula_4 Formulação geral Seja formula_5 uma variedade suave orientada de dimensão n e seja formula_6 uma n forma diferencial compactamente suportada em formula_5. |
| Theorem Let S be a set. | Teorema Seja S um conjunto. |
| Using properties of this function, he generalized Fermat's little theorem to what is now known as Euler's theorem. | Usando as propriedades desta função, ele generalizou o teorema de Fermat ao que é hoje conhecido como o teorema de Euler. |
| His most significant mathematical article, in 1905, published a theorem of which Emmy Noether developed a more generalized form, which is now regarded as of fundamental importance to modern algebra and algebraic geometry. | Seu artigo mais importante, publicado em 1905, continha o teorema Lasker Noether do qual Emmy Noether desenvolveu uma forma mais generalizada, que atualmente é considerada como de fundamental importância para a álgebra moderna e geometria algébrica. |
| A rigorous proof was published by Argand in 1806 it was here that, for the first time, the fundamental theorem of algebra was stated for polynomials with complex coefficients, rather than just real coefficients. | Uma demonstração rigorosa foi publicada por Argand em 1806 foi aqui que, pela primeira vez, o teorema fundamental da Álgebra foi enunciado para polinômios com coeficientes complexos e não apenas para polinómios com coeficientes reais. |
| He even taught me the Pythagorean theorem. | Ele até mesmo me ensinou o teorema de Pitágoras. |
| A harmonic sound is said to have a missing fundamental, suppressed fundamental, or phantom fundamental when its overtones suggest a fundamental frequency but the sound lacks a component at the fundamental frequency itself. | Uma fundamental ausente é uma frequência fundamental de uma série harmônica que não é audível, mas que pode ser inferida devido à presença das frequências superiores da série. |
| See also Gödel's completeness theorem Gödel's speed up theorem Löb's Theorem Minds, Machines and Gödel Münchhausen trilemma Non standard model of arithmetic Provability logic Tarski's undefinability theorem Third Man Argument Notes References Articles by Gödel 1931, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I. | Ver também Teorema da completude de Gödel Teorema de Löb Trilema de Münchhausen Modelo de aritmética não padrão Argumento do terceiro homem Artigos de Gödel 1931, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I. |
| Fundamental rights | Direitos fundamentais |
| Fundamental principles | Princípios fundamentais |
| It's not just fundamental in business, it's fundamental in life. | Não é somente fundamental nos negócios, é fundamental na vida. |
| This includes the study of cardinal arithmetic and the study of extensions of Ramsey's theorem such as the Erdős Rado theorem. | Isto inclui o estudo da aritmética de cardinais e o estudo de extensões do teorema de Ramsey tais como o teorema de Erdos Rado. |
| Obviously, the theorem is true for finite sets. | Claramente, o teorema é verdadeiro para conjuntos finitos. |
| These results do not require the incompleteness theorem. | Esses resultados não requerem o teorema da incompletude. |
| Several standard properties follow easily from this theorem. | Muitas propriedades padrões são concluídas facilmente a partir deste teorema. |
| The proof of the second incompleteness theorem is obtained by formalizing the proof of the first incompleteness theorem within the theory itself. | A prova do segundo teorema é obtida pela formalização da prova do primeiro teorema da incompletude dentro da própria teoria. |
| Comprehension is fundamental. | A compreensão é fundamental. |
| John Barkley Rosser, 1939, An Informal Exposition of proofs of Gödel's Theorem and Church's Theorem , Reprinted from the Journal of Symbolic Logic , vol. | John Barkley Rosser, 1939, An Informal Exposition of proofs of Gödel's Theorem and Church's Theorem , Reprinted from the Journal of Symbolic Logic , vol. |
| The formal theorem is written in highly technical language. | O teorema formal é escrito em linguagem bastante técnica. |
Related searches : Binomial Theorem - Bayes' Theorem - Bayes Theorem - Nyquist Theorem - Pythagorean Theorem - Cosine Theorem - Parallel Axis Theorem - Mean Value Theorem - Central Limit Theorem - Nyquist Sampling Theorem - Fundamental Nature
