Translation of "mathematical logic" to Portuguese language:

Dictionary English-Portuguese

Logic - translation :

Mathematical - translation :

Keywords : Lógica Lógica Lógico Raciocínio Matemática Matemática Matemático Matemáticas Matemáticos Equações

Examples (External sources, not reviewed)

Introduction to Mathematical Logic .	Introdução à Lógica Simbólica.
Stephen Cole Kleene, 1967, Mathematical Logic .	Stephen Cole Kleene, 1967, Mathematical Logic .
Mathematical logic Mathematical logic really refers to two distinct areas of research the first is the application of the techniques of formal logic to mathematics and mathematical reasoning, and the second, in the other direction, the application of mathematical techniques to the representation and analysis of formal logic.	Há um certo consenso que a redução falhou ou que precisaria de ajustes , assim como há um certo consenso que a lógica ou alguma lógica é uma maneira precisa de representar o raciocínio matemático.
A Source Book in Mathematical Logic, 1879 1931 .	Um Livro Fonte em Lógica Matemática, 1879 1931.
For example, in symbolic logic and mathematical logic, proofs by humans can be computer assisted.	Na lógica simbólica e lógica matemática, demonstrações feitas por humanos podem ser auxiliadas por computador.
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.	Lógica Matemática é uma sub área da matemática que explora as aplicações da lógica formal para a matemática.
ISBN 0 312 20407 8 Joseph R. Shoenfield (1967), Mathematical Logic .	ISBN 0 312 20407 8 Joseph R. Shoenfield (1967), Mathematical Logic .
Peano was a key participant, presenting a paper on mathematical logic.	Peano foi um participante chave, apresentando um trabalho sobre a lógica matemática.
In mathematical logic, this is often done in terms of model theory.	Na lógica matemática, esta é muitas vezes feito em termos de teoria de modelos.
The mathematical field of category theory uses many formal axiomatic methods, and includes the study of categorical logic, but category theory is not ordinarily considered a subfield of mathematical logic.	O campo matemático conhecido como o da teoria das categorias usa muitos métodos axiomáticos formais nos quais se inclui o estudo da lógica categórica, mas essa teoria não é comumente considerada um sub ramo da lógica.
A few years later, Peano published his first book dealing with mathematical logic.	Alguns anos depois, Peano publicou seu primeiro livro lidando com a lógica matemática.
Conversely, formal arguments are studied in formal logic (historically called symbolic logic , more commonly referred to as mathematical logic today) and are expressed in a formal language.	Argumentos Formais são estudados na lógica formal (historicamente chamada lógica simbólica, mais comumente referida como lógica matemática) e são expressos em uma linguagem formal.
ISBN 0 8264 9528 1 George Tourlakis, Lectures in Logic and Set Theory, Volume 1, Mathematical Logic , Cambridge University Press, 2003.	ISBN 0 8264 9528 1 George Tourlakis, Lectures in Logic and Set Theory, Volume 1, Mathematical Logic , Cambridge University Press, 2003.
This was a sequel to the Hilbert Ackermann book Principles of Mathematical Logic from 1928.	Esta foi a consequência para o livro de Hilbert Ackermann 'Princípios da Lógica Matemática' em 1928.
History Mathematical logic emerged in the mid 19th century as a subfield of mathematics independent of the traditional study of logic (Ferreirós 2001, p. 443).	História A lógica matemática surgiu em meados do século XIX como um sub ramo da Matemática e independente do estudo tradicional da (Ferreirós 2001, p. 443)(Ferreirós 2001, p. 443).
Set theory is the branch of mathematical logic that studies sets, which are collections of objects.	Teoria dos conjuntos é o ramo da matemática que estuda conjuntos, que são coleções de elementos.
Subfields and scope The Handbook of Mathematical Logic makes a rough division of contemporary mathematical logic into four areas set theory model theory recursion theory, and proof theory and constructive mathematics (considered as parts of a single area).	Sub áreas e escopoO manual de lógica matemática divide a matemática contemporânea em quarto áreas teoria dos conjuntos teoria dos modelos teoria da recursão teoria da prova e da matemática construtiva consideradas partes de uma única área.
Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.	Lógica matemática é uma extensão da lógica simbólica em outras áreas, em especial para o estudo da teoria dos modelos, teoria da demonstração, teoria dos conjuntos e teoria da recursão.
Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory.	A lógica matemática é muitas vezes dividida em campos da teoria dos conjuntos, teoria de modelos, teoria da recursão e teoria da prova.
Modern mathematics formalizes its foundations to such an extent that mathematical theories can be regarded as mathematical objects, and mathematics itself can be regarded as a branch of logic.	A matemática moderna formaliza seus fundamentos de tal modo que as teorias podem ser consideradas objetos matemáticos, e a lógica por si só pode ser considerada como um ramo da matemática.
The book Proofs and Refutations The Logic of Mathematical Discovery , published after his death, is based on this work.	O livro Provas e Refutações , publicado depois de sua morte, é baseado nesse trabalho.
See also Auto antonym Contrary (logic) Double standard Doublethink Irony Oxymoron Paraconsistent logic Paradox Truth TRIZ Footnotes References Józef Maria Bocheński 1960 Précis of Mathematical Logic , translated from the French and German editions by Otto Bird, D. Reidel, Dordrecht, South Holland.	Veja também Duplipensar Ironia Oximoro Lógica paraconsistente Paradoxo Verdade Rodapé Referências Józef Maria Bocheński 1960 Précis of Mathematical Logic , translated from the French and German editions by Otto Bird, D. Reidel, Dordrecht, South Holland.
Since its inception, mathematical logic has both contributed to, and has been motivated by, the study of foundations of mathematics.	Desde o seu surgimento, a lógica matemática tem contribuído e motivado pelo estudo dos fundamentos da matemática.
The borderlines amongst these fields, and the lines separating mathematical logic and other fields of mathematics, are not always sharp.	A divisão das referidas áreas e os limites que separam a lógica matemática de outros campos de estudo não são bem definidas.
The theorems, proven by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of mathematics.	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.
Work as a logician Though his education and early work were mathematical, especially geometrical, Frege's thought soon turned to logic.	Trabalho como lógico Apesar de sua educação e trabalho inicial terem sido matemáticos, especialmente geométricos, o pensamento de Frege logo se transformou em lógica.
Gödel then studied number theory, but when he took part in a seminar run by Moritz Schlick which studied Bertrand Russell's book Introduction to Mathematical Philosophy , he became interested in mathematical logic.	Kurt estudava a teoria dos números quando participou de um seminário com Moritz Schlick sobre a Introduction to Mathematical Philosophy , de Bertrand Russell, e interessou se imediatamente pela lógica matemática.
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.
Recursion theorists in mathematical logic often study the theory of relative computability, reducibility notions and degree structures described in this article.	Estudiosos da recursão em lógica matemática frequentemente estudam a teoria da computabilidade relativa, noções de redutibilidade e estruturas de grau descritas neste artigo.
van Heijenoort, J., From Frege to Gödel, A Source Book in Mathematical Logic, 1879 1931 , Harvard University Press, Cambridge, MA, 1967.	van Heijenoort, J., From Frege to Gödel, A Source Book in Mathematical Logic, 1879 1931 , Harvard University Press, Cambridge, MA, 1967.
Kakuro or Kakkuro () is a kind of logic puzzle that is often referred to as a mathematical transliteration of the crossword.	O Kakuro (カックロ em japonês) é um jogo de raciocínio lógico, considerado mais difícil que o Sudoku.
Peano played a key role in the axiomatization of mathematics and was a leading pioneer in the development of mathematical logic.	Peano desempenhou um papel fundamental na axiomatização da matemática e foi pioneiro de liderança no desenvolvimento da lógica matemática.
For instance, in mathematical logic, the set of possible formulas of a particular logic is a formal language, and an interpretation assigns a meaning to each of the formulas usually, a truth value.	Por exemplo, em matemática lógica, o conjunto de possíveis fórmulas de uma lógica particular é uma linguagem formal, e uma interpretação atribui um significado para cada uma das fórmulas, geralmente, um valor verdadeiro .
19th century In the middle of the nineteenth century, George Boole and then Augustus De Morgan presented systematic mathematical treatments of logic.	Século XIX Em meados do século XIX, George Boole e posteriormente Augustus De Morgan apresentaram tratamentos matemáticos sistemáticos.
The study of mathematical proof is particularly important in logic, and has applications to automated theorem proving and formal verification of software.	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.
Actually, these examples are metatheorems of our theory of mathematical logic since we are dealing with the very concept of proof itself.	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.
Herbert B. Enderton, 2001, A Mathematical Introduction to Logic Second Edition , Harcourt Academic Press, Burlington MA, ISBN 978 0 12 238452 3.	Herbert B. Enderton, 2001, A Mathematical Introduction to Logic Second Edition , Harcourt Academic Press, Burlington MA, ISBN 978 0 12 238452 3.
Mathematical logic If S is a set of sentences of first order logic and B is a consistent subset of S , then B is included in a set that is maximal among consistent subsets of S .	Lógica matemática Se S é um conjunto de sentenças da lógica de primeira ordem e B é um subconjunto consistente de S , então B está incluso em um conjunto que é maximal entre os subconjuntos consistentes de S .
Predicate logic Predicate logic is the generic term for symbolic formal systems such as first order logic, second order logic, many sorted logic, and infinitary logic.	Na Lógica Formal os conceitos são rigorosamente definidos, e as orações são transformadas em notações simbólicas precisas, compactas e não ambíguas.
The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.	Os temas unificadores na lógica matemática incluem o estudo do poder expressivo de sistemas formais e o poder dedutivo de sistemas de prova matemática formal.
The author of over 200 books and papers, he was a founder of mathematical logic and set theory, to which he contributed much notation.	Autor de mais de 200 livros e artigos, ele foi um dosfundadores da lógica matemática e da teoria dos conjuntos, para as quais ele também contribuiu bastante da notação.
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.	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.
223 230 C. Smoryński, The incompleteness theorems , in J. Barwise, ed., Handbook of Mathematical Logic , North Holland 1982 ISBN 978 0 444 86388 1, pp.	223 230 C. Smoryński, The incompleteness theorems , in J. Barwise, ed., Handbook of Mathematical Logic , North Holland 1982 ISBN 978 0 444 86388 1, pp.
Symbolic logic is often divided into two branches propositional logic and predicate logic.	A lógica simbólica é frequentemente dividida em dois ramos lógica proposicional e a lógica de predicados.
In mathematics, the term syntax is also used to refer to the rules governing the behavior of mathematical systems, such as formal languages used in logic.	O termo sintaxe também é usado para referir o estudo das regras que regem o comportamento de sistemas matemáticos, como a lógica, e as linguagens de programação de computadores.

Exibir esta página em português