Formal calculation
In mathematical logic, a formal calculation, or formal operation, is a calculation which is systematic, but without a rigorous justification. This means that we are manipulating the symbols in an expression using a generic substitution, without proving that the necessary conditions hold. Essentially, we are interested in the form of an expression and not necessarily 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.
Wikipage disambiguates
Link from a Wikipage to another Wikipage
primaryTopic
Formal calculation
In mathematical logic, a formal calculation, or formal operation, is a calculation which is systematic, but without a rigorous justification. This means that we are manipulating the symbols in an expression using a generic substitution, without proving that the necessary conditions hold. Essentially, we are interested in the form of an expression and not necessarily 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.
has abstract
In mathematical logic, a forma ...... in formal mathematical logic.
@en
Na lógica matemática, o cálcul ...... o na lógica matemática formal.
@pt
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
994,424,067
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
comment
In mathematical logic, a forma ...... pletely rigorous) definitions.
@en
Na lógica matemática, o cálcul ...... um argumento completamente ri
@pt
label
Cálculo formal
@pt
Formal calculation
@en