Examples of using Principia mathematica in Portuguese and their translations into English
{-}
-
Colloquial
-
Official
-
Medicine
-
Financial
-
Ecclesiastic
-
Ecclesiastic
-
Computer
-
Official/political
Os três volumes do Principia Mathematica, publicado em 1910.
Em 1687, Newton publicou sua tese no tratado chamado"Philosophiae Naturalis Principia Mathematica.
Os Principia Mathematica de Newton libertaram-nos de outra maneira.
Mais ainda, até Russell e Whitehead Principia Mathematica 3 vols.
Assim, Philosophiæ Naturalis Principia Mathematica se traduziria"Principio Mathematico de Philosophia Naturale.
Combinations with other parts of speech
Usage with adverbs
Usage with verbs
Mas na minha perspectiva, comoum homem dos números, a obra-prima é Principia Mathematica de Newton.
Em seu Philosophiae Naturalis Principia Mathematica, ele derivou as Leis de Kepler dos primeiros princípios.
Regras para o estudo da filosofia natural",Philosophiae Naturalis Principia Mathematica, Terceira edição.
O livro de Isaac Newton Principia Mathematica foi publicado durante este período e na sua página título aparece o nome de Pepys.
Esse princípio foi declarado comoum teorema da lógica propositional por Russel e Whitehead em Principia Mathematica.
Alfred North Whitehead and Bertrand Russel, Principia Mathematica to *56, Cambridge at the University Press, 1962.
Em 30 de junho de 1686 o conselho resolveu licenciar o livro de Newton,com o título Philosophiae Naturalis Principia Mathematica.
Eles criaram uma obra, Principia Mathematica, que derivou a teoria dos números por manipulação de símbolos usando a lógica formal.
Em 1691, ele planejou preparar uma nova versão de"Philosophiae Naturalis Principia Mathematica" de Newton, mas nunca terminou.
Paradoxo de Berry, primeiramente mencionado em Principia Mathematica como o quinto de sete outros paradoxos, é creditado ao Sr. G. G. Berry da Biblioteca Bodleian.
A notação contemporânea da lógica deve mais a este texto do que à notação de Principia Mathematica, muito popular no mundo da língua inglesa.
No livro Principia Mathematica, Alfred North e Bertrand Russel tentaram mostrar que toda teoria matemática poderia ser reduzida a uma coleção de axiomas.
De Julho- Publicação dos Philosophiae Naturalis Principia Mathematica- Princípios Matemáticos da Filosofia Natural.
Logic Theorist validou o trabalho teórico de Bertrand Russel eAlfred North Whitehead em seus trabalhos influentes na lógica matemática chamado Principia Mathematica.
Esta abordagem foi continuada por Russell eWhitehead em seu influente Principia Mathematica, publicado pela primeira vez em 1910-1913, e revisado em sua segunda edição em 1927.
Em 1877, Peter Guthrie Tait afirmou que o princípio surgiu com Isaac Newton, baseado numa leitura criativa das proposições 40 e41 da obra Philosophiae Naturalis Principia Mathematica.
Alfred North Whitehead e Bertrand Russell, o Principia Mathematica *56, 2ª edição, 1927, reimpressão de 1962, Cambridge University Press, Londres, reino UNIDO, sem ISBN ou LCCCN.
Durante este período inicial da história da lógica matemática,um evento notável para o assunto foi a publicação de Principia Mathematica, por Alfred North Whitehead e Bertrand Russell.
Gödel demonstrou a incompletude do Principia Mathematica, uma teoria particular da aritmética, mas uma demonstração paralela não pôde ser dada por nenhuma teoria efetiva de certa expressividade.
Seu interesse por lógica matemática começou durante esse período, quando ele conheceu Principia Mathematica, de Alfred North Whitehead e Bertrand Russell.
Mais ainda, até Russell e Whitehead Principia Mathematica(3 vols.) aparecerem em 1910-1913, a abordagem dominante para a lógica matemática ainda era a de George Boole(1815-1864) e seus descendentes intelectuais, especialmente Ernst Schröder 1841-1902.
A Máquina de Teoria Lógica era mais ambiciosa,um sistema de dedução matemática para a lógica proposicional de Principia Mathematica, desenvolvido por Allen Newell, Herbert A. Simon e J. C. Shaw.
A definição original de um número ordinal,encontrado no exemplo no Principia Mathematica, define o tipo de ordem de uma boa-ordenação como o conjunto de todas as boas ordenações similares(isomórficas de ordem) àquela boa ordenação: em outras palavras, um número ordinal é genuinamente uma classe de equivalência de conjuntos bem ordenados.
O conjunto dos números de Gödel das provas aritméticas descritas no artigo de Kurt Gödel"On formally undecidable propositions of Principia Mathematica and related systems I"; veja teorema da incompletude de Gödel.
O Principia Mathematica, em particular, é considerado uma das obras mais importantes da lógica matemática do século XX. Além de seu legado como autor do Principia Mathematica, a teoria da" extensa abstração" de Whitehead é considerada fundamental para o ramo da ciência da computação e da ontologia conhecido como" mereotopologia", uma teoria que descreve as relações espaciais entre as séries, as partes, as partes de partes e as fronteiras entre estas partes.