FOUNDATIONS OF MATHEMATICS - tradução para Português

• fundamentos da matemática
• FOUNDATIONS OF MATHEMATICS
• fundações da matemática

Exemplos de uso de Foundations of mathematics em Inglês e suas traduções para o Português

accompanied by vigorous debate over the foundations of mathematics.
acompanhados por debates vigorosos sobre as bases da matemática.

extended the traditional Aristotelian doctrine of logic into a sufficient framework for the study of foundations of mathematics Katz 1998, p. 686.
transformaram a doutrina tradicional de Aristóteles de forma que se encaixasse no estudo dos foundations of mathematics Katz 1998, p. 686.

Several writers have suggested that plural logic opens the prospect of simplifying the foundations of mathematics, avoiding the paradoxes of set theory,
Vários escritores sugeriram que a lógica plural abre a possibilidade de simplificar as fundações da matemática, evitando os paradoxos teoria dos conjuntos,

In mathematics, and particularly in set theory and the foundations of mathematics, a universe is a class that contains(as elements)
Em matemática, principalmente na teoria dos conjuntos e nos fundamentos da matemática, um universo é uma classe que contem(como elementos)

In mathematics, and particularly in set theory, category theory, type theory, and the foundations of mathematics, a universe is a collection that contains all the entities one wishes to consider in a given situation.
Em matemática, principalmente na teoria dos conjuntos e nos fundamentos da matemática, um universo é uma classe que contem(como elementos) todas as entidades que se deseja considerar em uma certa situação.

aims to study the foundations of mathematics present in the ideas which permeate the work of die lineale ausdehnungslehre(extension theory)(1844)
tem por alvo o estudo dos fundamentos da matemática presente nas ideias que permeiam a obra die lineale ausdehnungslehre(teoria da extensão)(1844)

The systematic search for the foundations of mathematics started at the end of the 19th century
A procura sistemática dos fundamentos da matemática começou no fim do século XIX

controversies about the foundations of mathematics were intensified throughout the 1920s,
controvérsias acerca dos fundamentos da matemática se acirraram ao longo da década de 1920,

being one of the foundations of mathematics, occupies much of the curriculum, especially high school.
por ser um dos alicerces da matemática, ocupa boa parte da grade curricular,

ESSAY ON THE PROBLEM OF THE FOUNDATIONS OF MATHEMATICS.
Ensaio sobre o problema da base da matemática.

we decided to bring necessary concepts to strengthen the foundation of mathematics.
resolveu-se trazer conceitos necessários pra fortalecer a base da matemática.

creating doubts about the use of set theory as a foundation of mathematics.
criando dúvidas sobre o uso da teoria dos conjuntos como um fundamento da matemática.

axiomatic set theory and as such is the most common foundation of mathematics.
teoria axiomática dos conjuntos, sendo o fundamento matemático mais comum.

intended to illustrate its weakness as a foundational system::" I believed that it was so clear that axiomatization in terms of sets was not a satisfactory ultimate foundation of mathematics that mathematicians would, for the most part,
da teoria dos conjuntos, destinados a ilustrar a sua fraqueza como um sistema fundamental::" Eu acreditava que era tão claro que a axiomatização em termos de conjuntos não era um fundamento da matemática satisfatório que os matemáticos não iriam,

He objected to restricting the role of metamathematics to the foundations of mathematics.
Ele objetivou restringir o papel da metamatemática aos fundamentos da matemática.”.

He made major contributions to the foundations of mathematics, proof theory,
Suas maiores contribuições foram dadas em fundamentos da matemática, teoria da prova,

The lambda calculus was introduced by mathematician Alonzo Church in the 1930s as part of an investigation into the foundations of mathematics.
Lambda cálculo foi apresentada por Alonzo Church na década de 1930 como parte da investigação dos fundamentos da matemática.

Intuitionism maintains that the foundations of mathematics lie in the individual mathematician's intuition,
O intucionismo sustenta que os fundamentos da matemática residem na intuição do matemático,

Work==Gentzen's main work was on the foundations of mathematics, in proof theory,
A principal contribuição de Gentzen foi sobre os fundamentos da matemática, na teoria da prova,

In 1976 he accepted a call to chair the academic department for mathematical logic and foundations of mathematics at Freie Universität Berlin.
Em 1976 aceitou uma chamada para chairman do departamento acadêmico para lógica matemática e fundamentos da matemática da Universidade Livre de Berlim.