Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Formal_calculation> ?p ?o }
Showing triples 1 to 34 of
34
with 100 triples per page.
- Formal_calculation abstract "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.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.".
- Formal_calculation wikiPageID "3729927".
- Formal_calculation wikiPageLength "3292".
- Formal_calculation wikiPageOutDegree "16".
- Formal_calculation wikiPageRevisionID "638991888".
- Formal_calculation wikiPageWikiLink Antiderivative.
- Formal_calculation wikiPageWikiLink Category:Mathematical_logic.
- Formal_calculation wikiPageWikiLink Cesàro_summation.
- Formal_calculation wikiPageWikiLink Differential_equation.
- Formal_calculation wikiPageWikiLink Formal_power_series.
- Formal_calculation wikiPageWikiLink Grandis_series.
- Formal_calculation wikiPageWikiLink Mathematical_logic.
- Formal_calculation wikiPageWikiLink Modular_arithmetic.
- Formal_calculation wikiPageWikiLink P-adic_number.
- Formal_calculation wikiPageWikiLink Power_series.
- Formal_calculation wikiPageWikiLink Real_analysis.
- Formal_calculation wikiPageWikiLink Stuart_S._Antman.
- Formal_calculation wikiPageWikiLinkText "Formal calculation".
- Formal_calculation wikiPageWikiLinkText "formal calculation".
- Formal_calculation wikiPageWikiLinkText "formal operation".
- Formal_calculation wikiPageWikiLinkText "formal".
- Formal_calculation hasPhotoCollection Formal_calculation.
- Formal_calculation wikiPageUsesTemplate Template:Cite_book.
- Formal_calculation subject Category:Mathematical_logic.
- Formal_calculation hypernym Calculation.
- Formal_calculation type Field.
- Formal_calculation comment "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.".
- Formal_calculation label "Formal calculation".
- Formal_calculation sameAs Cálculo_formal.
- Formal_calculation sameAs m.09xrml.
- Formal_calculation sameAs Q5469955.
- Formal_calculation sameAs Q5469955.
- Formal_calculation wasDerivedFrom Formal_calculation?oldid=638991888.
- Formal_calculation isPrimaryTopicOf Formal_calculation.