Formal calculation
id:
formal-calculation-260-17377715
title:
Formal calculation
text:
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
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Formal_calculation
date created:
date modified:
2023-08-26T15:04:32Z
main entity:
{"identifier":"Q5469955","url":"https://www.wikidata.org/entity/Q5469955"}
image:
fields total:
13
integrity:
13