| dbo:abstract
|
- In mathematical logic, a formal calculation, or formal operation, is a calculation that is systematic but without a rigorous justification. It involves manipulating symbols in an expression using a generic substitution without proving that the necessary conditions hold. Essentially, it involves the form of an expression without considering its underlying meaning. This reasoning can either serve as positive evidence that some statement is true when it is difficult or unnecessary to provide proof or as an inspiration for the creation of new (completely rigorous) definitions. However, this interpretation of the term formal is not universally accepted, and some consider it to mean quite the opposite: a completely rigorous argument, as in formal mathematical logic. (en)
- Na lógica matemática, o cálculo formal é um cálculo que é sistemático, porém sem uma justificativa rigorosa. Isso significa que estamos manipulando os símbolos em uma expressão usando uma substituição genérica, sem provar que as condições necessárias para isto foram realizadas. Essencialmente, estamos interessados na forma de uma expressão e não necessariamente no seu significado subjacente. Este raciocínio também pode servir como uma evidência positiva que alguma afirmação é verdadeira quando é difícil, ou desnecessário fornecer, uma prova, ou até como uma inspiração para a criação de novas definições (completamente rigorosas).No entanto, esta interpretação do termo formal não é universalmente aceito, e alguns consideram que que significa exatamente o oposto: um argumento completamente rigoroso, como na lógica matemática formal. (pt)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5008 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdfs:comment
|
- In mathematical logic, a formal calculation, or formal operation, is a calculation that is systematic but without a rigorous justification. It involves manipulating symbols in an expression using a generic substitution without proving that the necessary conditions hold. Essentially, it involves the form of an expression without considering its underlying meaning. This reasoning can either serve as positive evidence that some statement is true when it is difficult or unnecessary to provide proof or as an inspiration for the creation of new (completely rigorous) definitions. (en)
- Na lógica matemática, o cálculo formal é um cálculo que é sistemático, porém sem uma justificativa rigorosa. Isso significa que estamos manipulando os símbolos em uma expressão usando uma substituição genérica, sem provar que as condições necessárias para isto foram realizadas. Essencialmente, estamos interessados na forma de uma expressão e não necessariamente no seu significado subjacente. Este raciocínio também pode servir como uma evidência positiva que alguma afirmação é verdadeira quando é difícil, ou desnecessário fornecer, uma prova, ou até como uma inspiração para a criação de novas definições (completamente rigorosas).No entanto, esta interpretação do termo formal não é universalmente aceito, e alguns consideram que que significa exatamente o oposto: um argumento completamente ri (pt)
|
| rdfs:label
|
- Formal calculation (en)
- Cálculo formal (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
