Formal calculation
In mathematical logic, a formal calculation 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 a proof, or as an inspiration for the creation of new (completely rigorous) definitions.
Wikipage disambiguates
primaryTopic
Formal calculation
In mathematical logic, a formal calculation 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 a 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
Wikipage revision ID
638,991,888
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