GLOSSARY ENTRY (DERIVED FROM QUESTION BELOW) | ||||||
---|---|---|---|---|---|---|
|
22:55 Nov 2, 2018 |
English to Portuguese translations [Non-PRO] Science - Mathematics & Statistics | |||||
---|---|---|---|---|---|
|
| ||||
| Selected response from: Oliver Simões United States Local time: 00:42 | ||||
Grading comment
|
Summary of answers provided | ||||
---|---|---|---|---|
4 | objetos (matemáticos) formais |
|
objetos (matemáticos) formais Explanation: O verbete "formalism" remete à "objeto formal" na Wikipédia. Vejos links e explicação abaixo: "Em fundamentos da matemática, filosofia da matemática e filosofia da lógica, formalismo é uma teoria que sustenta afirmações matemáticas e lógicas e pode ser considerada como afirmações sobre as consequências de certas regras de manipulação de strings. Por exemplo, a geometria euclidiana pode ser vista como um jogo onde suas jogadas consistem em mover-se ao redor de certas strings de símbolos chamadas axiomas de acordo com um conjunto de regras chamadas regras de inferência para gerar novas strings. De acordo com o formalismo, as verdades expressadas na lógica e na matemática não são sobre números, conjuntos, ou triângulos ou qualquer outro assunto - de fato, elas não são sobre nada na verdade. Elas são formas sintáticas cujas formas e locais não têm significado se não receberem uma interpretação(ou semântica). Formalismo é associado com métodos rigorosos. Normalmente, o formalismo significa a transformação do esforço para a formalização de uma dada área limitada. Em outras palavras, assuntos podem ser formalmente discutidos uma vez que capturados em um sistema formal, ou comumente suficiente dentro de algo formalisável com pretensão de ser um. Formalização completa está no domínio da ciência da computação." https://en.wikipedia.org/wiki/Formalism_(philosophy_of_mathe... https://pt.wikipedia.org/wiki/Objeto_formal |
| |
Grading comment
| ||
Login to enter a peer comment (or grade) |
Login or register (free and only takes a few minutes) to participate in this question.
You will also have access to many other tools and opportunities designed for those who have language-related jobs (or are passionate about them). Participation is free and the site has a strict confidentiality policy.