Translation of "teoremas" to English language:
Dictionary Portuguese-English
Examples (External sources, not reviewed)
| Interativo provador de teoremas | Interactive theorem prover |
| Livros sobre os teoremas Francesco Berto. | Books about the theorems Francesco Berto. |
| Limitações dos teoremas de Gödel As conclusões dos teoremas de Gödel só são provadas para as teorias formais que satisfazem as hipóteses necessárias. | Limitations of Gödel's theorems The conclusions of Gödel's theorems are only proven for the formal theories that satisfy the necessary hypotheses. |
| Ele também desenvolveu teoremas em near decomposability e agregação. | He also developed theorems on near decomposability and aggregation. |
| Citações Um matemático é uma máquina que transforma café em teoremas. | Although US centric, a useful resource for anyone interested in a career as a mathematician. |
| Os teoremas da incompletude de Gödel são dois teoremas da lógica matemática que estabelecem limitações inerentes de todos menos aos mais triviais sistemas axiomáticos capazes de fazer aritmética. | Gödel's incompleteness theorems are two theorems of mathematical logic that establish inherent limitations of all but the most trivial axiomatic systems capable of doing arithmetic. |
| A matemática teórica consiste em um sistema axiomático e todos os seus teoremas. | A mathematical theory consists of an axiomatic system and all its derived theorems. |
| Com estrutura adicional, mais teoremas podem ser provados, mas a generalidade é reduzida. | With additional structure, more theorems could be proved, but the generality is reduced. |
| Continha 4200 fórmulas e teoremas, todos completamente declarados e a maioria deles provada. | It contained 4200 formulae and theorems, all completely stated and most of them proved. |
| Provas formais são úteis porque os seus teoremas podem ser interpretados como proposições verdadeiras. | Formal proofs are useful because their theorems can be interpreted as true propositions. |
| Muitos teoremas que são verdadeiros pelos grupos finitamente gerados falham por grupos em geral. | Many theorems that are true for finitely generated groups fail for groups in general. |
| Essa tarefa, conhecida como verificação automática de provas, é relacionada a demonstração automática de teoremas. | This task, known as automatic proof verification, is closely related to automated theorem proving. |
| Os teoremas de Gödel apenas se aplicam a teorias efetivamente geradas (que são recursivamente enumeráveis). | Gödel's theorems only apply to effectively generated (that is, recursively enumerable) theories. |
| O resultado não saberá quais proposições são teoremas e dessa maneira método axiomático é quebrado. | The result is that one will not know which propositions are theorems and the axiomatic method breaks down. |
| Muitos desses teoremas são independentes de ZFC, exigindo axiomas mais fortes para a sua prova. | Many of these theorems are independent of ZFC, requiring stronger axioms for their proof. |
| A última abordagem tem levado a resultados importantes, notavelmente os Teoremas de singularidade de Penrose Hawking. | The latter approach has led to some important results, most notably the Penrose Hawking singularity theorems. |
| Provas probabilísticas são uma das muitas maneiras de provar teoremas de existência, além de prova por construção. | Probabilistic proof, like proof by construction, is one of many ways to show existence theorems. |
| Usando prova automática de teoremas os computadores podem achar e verificar demonstrações, assim como trabalhar com demonstrações muito extensas. | Using automated theorem proving the machines can find and check proofs, as well as work with proofs too lengthy to write out by hand. |
| 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. |
| Todas as outras asserções (teoremas, se estivermos falando sobre matemática) devem ser demonstradas com o auxílio de hipóteses básicas. | All other assertions (theorems, if we are talking about mathematics) must be proven with the aid of these basic assumptions. |
| Por exemplo, quase todos sistemas estudados são conjuntos, para os quais os teoremas de teoria dos conjuntos se aplicam. | For instance, almost all systems studied are sets, to which the theorems of set theory apply. |
| Construção Um dos teoremas mais poderosos da Álgebra é aquele que diz, essencialmente, que todo polinômio tem uma raiz . | See also Integral element Lüroth's theorem Galois extension Separable extension Normal extension Notes References |
| Em cada circuito pode ser usado a simplificação de circuitos lógicos pelo método de mapeamento ou teoremas da álgebra booleana. | They may be more secure in cryptographic applications because their electrical and radio emissions can be more difficult to decode. |
| Um relacionamento mais fraco foi demonstrado por Kurt Gödel nas provas do seu teorema da completude e teoremas de incompletude. | A weaker relationship was demonstrated by Kurt Gödel in the proofs of his completeness theorem and incompleteness theorems. |
| Os teoremas, provados por Kurt Gödel em 1931, são importantes tanto para a lógica matemática quanto para a filosofia da matemática. | The theorems, proven by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of mathematics. |
| Na matemática, um sistema axiomático, é qualquer conjunto de axiomas que podem ser ligados em conjunção para derivação lógica de teoremas. | In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. |
| Embora uma linguagem formal possa ser identificada com as suas fórmulas, um sistema convencional pode não ser igualmente identificado pelos seus teoremas. | Although a formal language can be identified with its formulas, a formal system cannot be likewise identified by its theorems. |
| Os antigos gregos consideraram a geometria como uma das diversas ciências, e consideraram os teoremas de geometria tão importantes quanto fatos científicos. | The ancient Greeks considered geometry as just one of several sciences, and held the theorems of geometry on par with scientific facts. |
| O Método dos Teoremas Mecânicos Este tratado, que se considerava perdido, foi reencontrado graças à descoberta do Palimpsesto de Arquimedes em 1906. | The Method of Mechanical Theorems This treatise was thought lost until the discovery of the Archimedes Palimpsest in 1906. |
| O método consiste em assumir um pequeno conjunto de axiomas intuitivos e, então, provar várias outras proposições (teoremas) a partir desses axiomas. | Euclid's method consists in assuming a small set of intuitively appealing axioms, and deducing many other propositions (theorems) from these. |
| Isto é equivalente à existência de um programa que enumera todos os teoremas da teoria sem enumerar qualquer afirmação que não é teorema. | This is equivalent to the existence of a program that enumerates all the theorems of the theory without enumerating any statements that are not theorems. |
| O estudo da prova matemática é particularmente importante na lógica, e tem aplicações para prova automática de teoremas e verificação formal de software. | The study of mathematical proof is particularly important in logic, and has applications to automated theorem proving and formal verification of software. |
| atualmente, estes exemplos são meta teoremas da nossa teoria da lógica matemática desde que estejamos relacionados com o mais conceitos de auto prova. | Actually, these examples are metatheorems of our theory of mathematical logic since we are dealing with the very concept of proof itself. |
| Da mesma forma que O Problema Bovino , O Método dos Teoremas Mecânicos foi escrito em forma de carta dirigida a Eratóstenes de Alexandria. | As with The Cattle Problem , The Method of Mechanical Theorems was written in the form of a letter to Eratosthenes in Alexandria. |
| Os teoremas espectrais são fundamentais na álgebra linear, por garantirem a existência de uma base ortonormal de autovectores para alguns tipos de operadores. | In mathematics, particularly linear algebra and functional analysis, the spectral theorem is any of a number of results about linear operators or about matrices. |
| O Teorema de Stokes, na geometria diferencial, é uma afirmação sobre a integração de formas diferenciais que generaliza diversos teoremas do cálculo vetorial. | In vector calculus, Stokes' theorem (also called the generalized Stokes' theorem) is a statement about the integration of differential forms on manifolds, which both simplifies and generalizes several theorems from vector calculus. |
| Nesse caso a imagem de X em Y sob o homomorfismo f é necessariamente isomorfismo para X esse fato é um dos teoremas isomórficos. | In that case the image of X in Y under the homomorphism f is necessarily isomorphic to this fact is one of the isomorphism theorems. |
| A característica de Euler foi definida originalmente para poliedros, tendo sido utilizada para demonstrar vários teoremas sobre eles, incluindo a classificação dos sólidos platônicos. | The Euler characteristic was originally defined for polyhedra and used to prove various theorems about them, including the classification of the Platonic solids. |
| Era para ser uma Enciclopédia de Matemática , contendo todas as fórmulas e teoremas conhecidos da ciência matemática usando uma notação padrão inventada por Peano. | It was to be an Encyclopedia of Mathematics , containing all known formulae and theorems of mathematical science using a standard notation invented by Peano. |
| O primeiro é o sentido da teoria da prova relacionada aos teoremas de Gödel, sobre uma sentença não ser demonstrável nem refutável em um sistema dedutivo específico. | The first of these is the proof theoretic sense used in relation to Gödel's theorems, that of a statement being neither provable nor refutable in a specified deductive system. |
| Visão Moderna Uma lição aprendida pela matemática nos últimos 150 anos é que é útil decifrar o significado das asserções matemáticas (axiomas, postulados, proposições, teoremas) e definições. | Modern development A lesson learned by mathematics in the last 150 years is that it is useful to strip the meaning away from the mathematical assertions (axioms, postulates, propositions, theorems) and definitions. |
| É também a única fonte de O Método dos Teoremas Mecânicos , a que se referiu Téon Suidas e que pensava se que tinha sido perdido para sempre. | It is the only known source of The Method of Mechanical Theorems , referred to by Suidas and thought to have been lost forever. |
| Já em 1879, Begriffsschrift mostrou importantes teoremas preliminares, por exemplo, uma forma generalizada da lei de tricotomia, foram obtidos dentro do que Frege entendeu ser a lógica pura. | Already in the 1879 Begriffsschrift important preliminary theorems, for example a generalized form of law of trichotomy, were derived within what Frege understood to be pure logic. |
| Matemática reversa O programa de matemática reversa pergunta quais axiomas de existência dos conjuntos são necessários para provar teoremas particulares dos matemáticos em subsistemas de aritmética de segunda ordem. | Reverse mathematics The program of reverse mathematics asks which set existence axioms are necessary to prove particular theorems of mathematics in subsystems of second order arithmetic. |
| Aplicações da pesquisa É usada para estabelecer ou confirmar fatos, reafirmar os resultados de trabalhos anteriores, resolver problemas novos ou já existentes, apoiar teoremas e desenvolvimento de novas teorias. | It is used to establish or confirm facts, reaffirm the results of previous work, solve new or existing problems, support theorems, or develop new theories. |
