Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Analytic_proof> ?p ?o }
Showing triples 1 to 43 of
43
with 100 triples per page.
- Analytic_proof abstract "In mathematics, an analytic proof is a proof of a theorem in analysis that only makes use of methods from analysis, and which does not predominantly make use of algebraic or geometrical methods. The term was first used by Bernard Bolzano, who first provided a non-analytic proof of his intermediate value theorem and then, several years later provided proof of the theorem which was free from intuitions concerning lines crossing each other at a point and so he felt happy calling analytic (Bolzano 1817). Bolzano's philosophical work encouraged a more abstract reading of when a demonstration could be regarded as analytic, where a proof is analytic if it does not go beyond its subject matter (Sebastik 2007). In proof theory, an analytic proof has come to mean a proof whose structure is simple in a special way, due to conditions on the kind of inferences that ensure none of them go beyond what is contained in the assumptions and what is demonstrated.".
- Analytic_proof wikiPageExternalLink bolzano-logic.
- Analytic_proof wikiPageID "1007110".
- Analytic_proof wikiPageLength "3195".
- Analytic_proof wikiPageOutDegree "18".
- Analytic_proof wikiPageRevisionID "627143857".
- Analytic_proof wikiPageWikiLink Bernard_Bolzano.
- Analytic_proof wikiPageWikiLink Calculus_of_structures.
- Analytic_proof wikiPageWikiLink Category:Methods_of_proof.
- Analytic_proof wikiPageWikiLink Category:Proof_theory.
- Analytic_proof wikiPageWikiLink Cut-elimination.
- Analytic_proof wikiPageWikiLink Cut-elimination_theorem.
- Analytic_proof wikiPageWikiLink Gerhard_Gentzen.
- Analytic_proof wikiPageWikiLink Intermediate_value_theorem.
- Analytic_proof wikiPageWikiLink Mathematics.
- Analytic_proof wikiPageWikiLink Method_of_analytic_tableaux.
- Analytic_proof wikiPageWikiLink Natural_deduction.
- Analytic_proof wikiPageWikiLink Natural_deduction_calculus.
- Analytic_proof wikiPageWikiLink Proof-theoretic_semantics.
- Analytic_proof wikiPageWikiLink Proof_calculus.
- Analytic_proof wikiPageWikiLink Proof_theory.
- Analytic_proof wikiPageWikiLink Sequent_calculus.
- Analytic_proof wikiPageWikiLink Stanford_Encyclopedia_of_Philosophy.
- Analytic_proof wikiPageWikiLink Structural_proof_theory.
- Analytic_proof wikiPageWikiLink Subformula.
- Analytic_proof wikiPageWikiLink Tableau_method.
- Analytic_proof wikiPageWikiLink Well-formed_formula.
- Analytic_proof wikiPageWikiLinkText "Analytic proof".
- Analytic_proof wikiPageWikiLinkText "analytic proof".
- Analytic_proof hasPhotoCollection Analytic_proof.
- Analytic_proof subject Category:Methods_of_proof.
- Analytic_proof subject Category:Proof_theory.
- Analytic_proof hypernym Proof.
- Analytic_proof type TelevisionShow.
- Analytic_proof type Method.
- Analytic_proof type Proof.
- Analytic_proof comment "In mathematics, an analytic proof is a proof of a theorem in analysis that only makes use of methods from analysis, and which does not predominantly make use of algebraic or geometrical methods.".
- Analytic_proof label "Analytic proof".
- Analytic_proof sameAs m.03yp3_.
- Analytic_proof sameAs Q4751136.
- Analytic_proof sameAs Q4751136.
- Analytic_proof wasDerivedFrom Analytic_proof?oldid=627143857.
- Analytic_proof isPrimaryTopicOf Analytic_proof.