Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Constructive_proof> ?p ?o }
Showing triples 1 to 100 of
100
with 100 triples per page.
- Constructive_proof abstract "In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object by creating or providing a method for creating the object. This is in contrast to a non-constructive proof (also known as an existence proof or pure existence theorem) which proves the existence of a particular kind of object without providing an example.Some non-constructive proofs show that if a certain proposition is false, a contradiction ensues; consequently the proposition must be true (proof by contradiction). However, the principle of explosion (ex falso quodlibet) has been accepted in some varieties of constructive mathematics, including intuitionism.Constructivism is a mathematical philosophy that rejects all but constructive proofs in mathematics. This leads to a restriction on the proof methods allowed (prototypically, the law of the excluded middle is not accepted) and a different meaning of terminology (for example, the term "or" has a stronger meaning in constructive mathematics than in classical).Constructive proofs can be seen as defining certified mathematical algorithms: this idea is explored in the Brouwer–Heyting–Kolmogorov interpretation of constructive logic, the Curry–Howard correspondence between proofs and programs, and such logical systems as Per Martin-Löf's Intuitionistic Type Theory, and Thierry Coquand and Gérard Huet's Calculus of Constructions.".
- Constructive_proof wikiPageExternalLink proofs.html.
- Constructive_proof wikiPageExternalLink weakcounterex.html.
- Constructive_proof wikiPageID "360113".
- Constructive_proof wikiPageLength "9702".
- Constructive_proof wikiPageOutDegree "51".
- Constructive_proof wikiPageRevisionID "653981010".
- Constructive_proof wikiPageWikiLink Algorithm.
- Constructive_proof wikiPageWikiLink Anne_Sjerp_Troelstra.
- Constructive_proof wikiPageWikiLink Axiom_of_choice.
- Constructive_proof wikiPageWikiLink Brouwer–Heyting–Kolmogorov_interpretation.
- Constructive_proof wikiPageWikiLink Calculus_of_Constructions.
- Constructive_proof wikiPageWikiLink Calculus_of_constructions.
- Constructive_proof wikiPageWikiLink Category:Constructivism_(mathematics).
- Constructive_proof wikiPageWikiLink Category:Mathematical_proofs.
- Constructive_proof wikiPageWikiLink Constructive_logic.
- Constructive_proof wikiPageWikiLink Constructive_mathematics.
- Constructive_proof wikiPageWikiLink Constructive_reverse_mathematics.
- Constructive_proof wikiPageWikiLink Constructive_set_theory.
- Constructive_proof wikiPageWikiLink Constructivism_(mathematics).
- Constructive_proof wikiPageWikiLink Counterexample.
- Constructive_proof wikiPageWikiLink Curry–Howard_correspondence.
- Constructive_proof wikiPageWikiLink Diaconescus_theorem.
- Constructive_proof wikiPageWikiLink Dirk_van_Dalen.
- Constructive_proof wikiPageWikiLink E._M._Wright.
- Constructive_proof wikiPageWikiLink Errett_Bishop.
- Constructive_proof wikiPageWikiLink Euclid.
- Constructive_proof wikiPageWikiLink Euclids_theorem.
- Constructive_proof wikiPageWikiLink Existence_theorem.
- Constructive_proof wikiPageWikiLink Forbidden_graph_characterization.
- Constructive_proof wikiPageWikiLink Forbidden_minors.
- Constructive_proof wikiPageWikiLink G.H._Hardy.
- Constructive_proof wikiPageWikiLink G._H._Hardy.
- Constructive_proof wikiPageWikiLink Gelfond–Schneider_theorem.
- Constructive_proof wikiPageWikiLink Goldbachs_conjecture.
- Constructive_proof wikiPageWikiLink Graph_(mathematics).
- Constructive_proof wikiPageWikiLink Graph_minor.
- Constructive_proof wikiPageWikiLink Graph_minor_theorem.
- Constructive_proof wikiPageWikiLink Gérard_Huet.
- Constructive_proof wikiPageWikiLink Intuitionism.
- Constructive_proof wikiPageWikiLink Intuitionistic_Type_Theory.
- Constructive_proof wikiPageWikiLink Intuitionistic_logic.
- Constructive_proof wikiPageWikiLink Intuitionistic_type_theory.
- Constructive_proof wikiPageWikiLink Irrational_number.
- Constructive_proof wikiPageWikiLink James_Franklin_(philosopher).
- Constructive_proof wikiPageWikiLink Law_of_excluded_middle.
- Constructive_proof wikiPageWikiLink Law_of_the_excluded_middle.
- Constructive_proof wikiPageWikiLink Limited_principle_of_omniscience.
- Constructive_proof wikiPageWikiLink Logarithm.
- Constructive_proof wikiPageWikiLink Logarithms.
- Constructive_proof wikiPageWikiLink Mathematical_object.
- Constructive_proof wikiPageWikiLink Mathematical_proof.
- Constructive_proof wikiPageWikiLink Mathematics.
- Constructive_proof wikiPageWikiLink Minor_(graph_theory).
- Constructive_proof wikiPageWikiLink Non-constructive_algorithm_existence_proofs.
- Constructive_proof wikiPageWikiLink Per_Martin-Löf.
- Constructive_proof wikiPageWikiLink Prime_number.
- Constructive_proof wikiPageWikiLink Principle_of_explosion.
- Constructive_proof wikiPageWikiLink Proof_by_contradiction.
- Constructive_proof wikiPageWikiLink Rational_number.
- Constructive_proof wikiPageWikiLink Reverse_mathematics.
- Constructive_proof wikiPageWikiLink Robertson–Seymour_theorem.
- Constructive_proof wikiPageWikiLink Square_root_of_2.
- Constructive_proof wikiPageWikiLink Thierry_Coquand.
- Constructive_proof wikiPageWikiLink Torus.
- Constructive_proof wikiPageWikiLinkText "Constructive proof".
- Constructive_proof wikiPageWikiLinkText "Constructive proof#Non-constructive proofs".
- Constructive_proof wikiPageWikiLinkText "constructive or non-constructive".
- Constructive_proof wikiPageWikiLinkText "constructive proof".
- Constructive_proof wikiPageWikiLinkText "constructive provability".
- Constructive_proof wikiPageWikiLinkText "constructive".
- Constructive_proof wikiPageWikiLinkText "constructively provable".
- Constructive_proof wikiPageWikiLinkText "constructively".
- Constructive_proof wikiPageWikiLinkText "non-constructive".
- Constructive_proof wikiPageWikiLinkText "nonconstructive proof".
- Constructive_proof wikiPageWikiLinkText "nonconstructive".
- Constructive_proof wikiPageWikiLinkText "not constructive".
- Constructive_proof hasPhotoCollection Constructive_proof.
- Constructive_proof wikiPageUsesTemplate Template:Refbegin.
- Constructive_proof wikiPageUsesTemplate Template:Refend.
- Constructive_proof wikiPageUsesTemplate Template:Reflist.
- Constructive_proof subject Category:Constructivism_(mathematics).
- Constructive_proof subject Category:Mathematical_proofs.
- Constructive_proof hypernym Method.
- Constructive_proof type Software.
- Constructive_proof type Proof.
- Constructive_proof type Theorem.
- Constructive_proof type Theory.
- Constructive_proof comment "In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object by creating or providing a method for creating the object.".
- Constructive_proof label "Constructive proof".
- Constructive_proof sameAs Démonstration_constructive.
- Constructive_proof sameAs Bewijs_door_constructie.
- Constructive_proof sameAs Dowód_niekonstruktywny.
- Constructive_proof sameAs Demonstração_construtiva.
- Constructive_proof sameAs m.01_bk0.
- Constructive_proof sameAs Q3044470.
- Constructive_proof sameAs Q3044470.
- Constructive_proof sameAs 构造性证明.
- Constructive_proof wasDerivedFrom Constructive_proof?oldid=653981010.
- Constructive_proof isPrimaryTopicOf Constructive_proof.