This HTML5 document contains 136 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dbpedia-de	http://de.dbpedia.org/resource/
dbpedia-cy	http://cy.dbpedia.org/resource/
dcterms	http://purl.org/dc/terms/
yago-res	http://yago-knowledge.org/resource/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-ko	http://ko.dbpedia.org/resource/
dbpedia-es	http://es.dbpedia.org/resource/
n23	https://global.dbpedia.org/id/
yago	http://dbpedia.org/class/yago/
dbpedia-ru	http://ru.dbpedia.org/resource/
dbt	http://dbpedia.org/resource/Template:
dbpedia-uk	http://uk.dbpedia.org/resource/
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
dbpedia-pt	http://pt.dbpedia.org/resource/
n13	http://plato.stanford.edu/entries/brouwer/
dbpedia-simple	http://simple.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
wikipedia-en	http://en.wikipedia.org/wiki/
dbpedia-fr	http://fr.dbpedia.org/resource/
dbpedia-zh	http://zh.dbpedia.org/resource/
prov	http://www.w3.org/ns/prov#
dbp	http://dbpedia.org/property/
dbc	http://dbpedia.org/resource/Category:
xsdh	http://www.w3.org/2001/XMLSchema#
dbpedia-nl	http://nl.dbpedia.org/resource/
gold	http://purl.org/linguistics/gold/
wikidata	http://www.wikidata.org/entity/
dbr	http://dbpedia.org/resource/
n31	http://www.maths.unsw.edu.au/~jim/

Statements

Subject Item

dbr:Constructive_proof

rdf:type

dbo:Software yago:Message106598915 yago:Proposition106750804 yago:Indication106797169 yago:Abstraction100002137 yago:WikicatMathematicalTheorems yago:WikicatMathematicalProofs yago:Argument106648724 yago:MathematicalProof106647864 yago:Statement106722453 yago:Theorem106752293 yago:Communication100033020 yago:Proof106647614 yago:Evidence106643408

rdfs:label

Constructive proof Bewijs door constructie Konstruktiver Beweis 구성적 증명 Конструктивне доведення Конструктивное доказательство 构造性证明 Demonstração construtiva Prueba constructiva Démonstration constructive

rdfs:comment

Une première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Une deuxième vision d'une démonstration constructive découle de la remarque précédente, c'est une démonstration à laquelle on peut donner un contenu calculatoire. Een bewijs door constructie is een manier om een wiskundig bewijs te leveren. Door een voorbeeld te construeren, een methode te geven hoe het geconstrueerd kan worden, laat men zien dat er een wiskundig object is dat aan bepaalde eisen voldoet. En matemáticas, una prueba constructiva es un método de demostración para constatar la existencia de un objeto matemático creando o proporcionando un método para crear el objeto. Esto contrasta con una prueba no constructiva (también conocida como prueba de existencia o teorema de existencia pura), que prueba la existencia de un tipo particular de objeto sin proporcionar un ejemplo. Para evitar confusiones con el concepto más fuerte que se trata a continuación, tal prueba constructiva a veces se denomina prueba efectiva. 构造性证明（英語：Constructive proof）是数学证明方法的一种，通过直接或间接构造出具有命题所要求的性质的实例来完成证明。与构造性证明相对的概念是非构造性证明。后者只证明满足命题要求的物体存在，而不提供具体的实例或构造这样的实例的方法。 构造性证明也可以指数学构成主义中被认可的一种更强的证明。数学构成主义是数学哲学的一支，它认为要证明一个对象的存在，必须将其构造出来。因此，他们拒绝使用如排中律，无穷公理和选择公理这样的公理。同时也有一些用语和以往不同，例如或的语意会比基础数学中的更强。 数学构成主义拒绝使用反证法，然而爆炸原理在一些数学构成主义的变体中是被接受的，包括直觉主义。 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. For avoiding confusion with the stronger concept that follows, such a constructive proof is sometimes called an effective proof. Em matemática, ou ainda na filosofia, uma demonstração ou prova construtiva é uma demonstração da existência de certo objeto matemático através da sua construção. Uma demonstração construtiva fornece um algoritmo para obter o objeto em questão. Em constraste, temos as provas não-construtivas, que provam a existência sem necessariamente mostrar como encontrar um exemplo (como por exemplo a redução ao absurdo ou o princípio do terceiro excluído). Конструктивное доказательство — доказательство, в котором существование математического объекта доказывается путем прямого построения —в отличие от неконструктивного доказательства (также известного как чистая теорема существования), которое доказывает существование объекта с определёнными свойствами без предоставления конкретного примера. Иногда используется эквивалентный термин «эффективное доказательство». В математиці конструктивне доведення — це метод доведення, що підтверджує існування математичного об'єкта шляхом надання або створення способу відтворення даного об'єкта. Він протиставляється неконструктивному доведенню (також відомому як теорема доведення існування, або чиста теорема існування), яке доводить існування певного об'єкта без надання прикладів.

dcterms:subject

dbc:Constructivism_(mathematics) dbc:Mathematical_proofs

dbo:wikiPageID

360113

dbo:wikiPageRevisionID

1090644431

dbo:wikiPageWikiLink

dbr:Constructive_reverse_mathematics dbr:Minor_(graph_theory) dbr:Probabilistic_method dbr:Forbidden_minors dbr:Gérard_Huet dbr:Per_Martin-Löf dbr:Mathematical_object dbr:Existence_theorem dbr:Brouwer–Heyting–Kolmogorov_interpretation dbr:Diaconescu's_theorem dbr:Algorithm dbr:Proof_by_contradiction dbr:Rational_number dbr:Constructivism_(philosophy_of_mathematics) dbr:Law_of_the_excluded_middle dbr:Counterexample dbr:E._M._Wright dbr:Irrational_number dbr:Zero_of_a_function dbr:Logarithms dbr:Constructive_set_theory dbr:Calculus_of_constructions dbr:Thierry_Coquand dbr:Law_of_excluded_middle dbr:Axiom_of_choice dbr:Paul_Gordan dbr:Axiom_of_infinity dbr:Hilbert's_Nullstellensatz dbc:Constructivism_(mathematics) dbr:Polynomial dbr:Errett_Bishop dbr:Principle_of_explosion dbr:James_Franklin_(philosopher) dbr:Mathematics dbr:Graph_minor_theorem dbr:Grete_Hermann dbr:Infinite_set dbr:System_of_linear_equations dbc:Mathematical_proofs dbr:Square_root_of_2 dbr:Euclid dbr:Real_number dbr:Limited_principle_of_omniscience dbr:Georg_Cantor dbr:Dirk_van_Dalen dbr:Cauchy_sequence dbr:Goldbach's_conjecture dbr:Euclid's_theorem dbr:Hilbert's_basis_theorem dbr:Constructive_logic dbr:Gelfond–Schneider_theorem dbr:Non-constructive_algorithm_existence_proofs dbr:Prime_number dbr:Intuitionism dbr:Intuitionistic_type_theory dbr:Mathematical_proof dbr:Constructive_mathematics dbr:Complex_number dbr:Graph_(discrete_mathematics) dbr:Anne_Sjerp_Troelstra dbr:Torus dbr:Curry–Howard_correspondence dbr:Constructivism_(mathematics) dbr:G.H._Hardy

dbo:wikiPageExternalLink

n13:weakcounterex.html n31:proofs.html

owl:sameAs

dbpedia-zh:构造性证明 dbpedia-uk:Конструктивне_доведення freebase:m.01_bk0 dbpedia-nl:Bewijs_door_constructie dbpedia-ru:Конструктивное_доказательство yago-res:Constructive_proof dbpedia-pt:Demonstração_construtiva n23:2pRCf dbpedia-de:Konstruktiver_Beweis dbpedia-ko:구성적_증명 dbpedia-cy:Prawf_lluniadol dbpedia-fr:Démonstration_constructive wikidata:Q3044470 dbpedia-simple:Constructive_proof dbpedia-es:Prueba_constructiva

dbp:wikiPageUsesTemplate

dbt:Mvar dbt:Short_description dbt:Refend dbt:Reflist dbt:Refbegin dbt:Slink dbt:ISBN

dbo:abstract

En matemáticas, una prueba constructiva es un método de demostración para constatar la existencia de un objeto matemático creando o proporcionando un método para crear el objeto. Esto contrasta con una prueba no constructiva (también conocida como prueba de existencia o teorema de existencia pura), que prueba la existencia de un tipo particular de objeto sin proporcionar un ejemplo. Para evitar confusiones con el concepto más fuerte que se trata a continuación, tal prueba constructiva a veces se denomina prueba efectiva. Una prueba constructiva también puede referirse al concepto más fuerte de una prueba que es válida según los criterios de la matemática constructiva. El constructivismo es una filosofía matemática que rechaza todos los métodos de prueba que implican la existencia de objetos que no se construyen explícitamente. Esto excluye, en particular, el uso del principio del tercero excluido, el axioma del infinito y el axioma de elección, e induce un significado diferente para alguna terminología (por ejemplo, el término "o" tiene un significado más fuerte en las matemáticas constructivas que en las clásicas).​ Algunas demostraciones no constructivas muestran que si cierta proposición es falsa, se produce una contradicción; en consecuencia, la proposición debe ser verdadera (prueba por contradicción). Sin embargo, el principio de explosión (ex falso quodlibet) ha sido aceptado en algunas variedades de matemáticas constructivas, incluido el intuicionismo. Las pruebas constructivas pueden verse como una definición de los algoritmos matemáticos certificados: esta idea se explora en la de la lógica intuicionista, la correspondencia de Curry-Howard entre pruebas y programas, y los sistemas lógicos como la de y el cálculo de construcciones de y Gérard Huet. Em matemática, ou ainda na filosofia, uma demonstração ou prova construtiva é uma demonstração da existência de certo objeto matemático através da sua construção. Uma demonstração construtiva fornece um algoritmo para obter o objeto em questão. Em constraste, temos as provas não-construtivas, que provam a existência sem necessariamente mostrar como encontrar um exemplo (como por exemplo a redução ao absurdo ou o princípio do terceiro excluído). Uma demonstração construtiva de existência não pode ser baseada em mostrar a impossibilidade da inexistência. Algumas vezes, usa-se a expressão construção via axioma da escolha, não obstante o axioma da escolha não conduza a demonstração construtivas, pois é um axioma do infinito. 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. For avoiding confusion with the stronger concept that follows, such a constructive proof is sometimes called an effective proof. A constructive proof may also refer to the stronger concept of a proof that is valid in constructive mathematics.Constructivism is a mathematical philosophy that rejects all proof methods that involve the existence of objects that are not explicitly built. This excludes, in particular, the use of the law of the excluded middle, the axiom of infinity, and the axiom of choice, and induces a different meaning for some terminology (for example, the term "or" has a stronger meaning in constructive mathematics than in classical). 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. 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. Een bewijs door constructie is een manier om een wiskundig bewijs te leveren. Door een voorbeeld te construeren, een methode te geven hoe het geconstrueerd kan worden, laat men zien dat er een wiskundig object is dat aan bepaalde eisen voldoet. В математиці конструктивне доведення — це метод доведення, що підтверджує існування математичного об'єкта шляхом надання або створення способу відтворення даного об'єкта. Він протиставляється неконструктивному доведенню (також відомому як теорема доведення існування, або чиста теорема існування), яке доводить існування певного об'єкта без надання прикладів. Деякі неконструктивні доведення показують, що якщо якась передумова помилкова, то випливає протиріччя; отже, передумова повинна бути істинною (доведення від протилежного). Проте в деяких розділах конструктивної математики, в тому числі в інтуїціонізмі, був прийнятий принцип вибуху (лат. ex Falso QuodLibet, «за брехнею нічого не слідує»). Конструктивізм — це математична філософія, яка відкидає всі, за виключенням конструктивних, докази в математиці. Це призводить до обмеження дозволених методів доведень (спочатку закон виключеного третього не було прийнято застосовувати) і іншого змісту термінології (наприклад, термін «або» має більш обмежений зміст в конструктивній математиці, ніж в класичній). Конструктивні доведення можна розглядати як визначення перевірених математичних алгоритмів: ця ідея досліджується в інтерпретації конструктивної логіки , у відповідності Каррі-Говарда, а також в таких логічних системах, як інтуїціоністська теорія типів та числення конструкцій й . 构造性证明（英語：Constructive proof）是数学证明方法的一种，通过直接或间接构造出具有命题所要求的性质的实例来完成证明。与构造性证明相对的概念是非构造性证明。后者只证明满足命题要求的物体存在，而不提供具体的实例或构造这样的实例的方法。 构造性证明也可以指数学构成主义中被认可的一种更强的证明。数学构成主义是数学哲学的一支，它认为要证明一个对象的存在，必须将其构造出来。因此，他们拒绝使用如排中律，无穷公理和选择公理这样的公理。同时也有一些用语和以往不同，例如或的语意会比基础数学中的更强。 数学构成主义拒绝使用反证法，然而爆炸原理在一些数学构成主义的变体中是被接受的，包括直觉主义。 Une première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme. Cet algorithme est le contenu calculatoire de la démonstration. La correspondance de Curry-Howard énonce cette association, usuellement appelée correspondance preuve-programme, pour les démonstrations constructives. Une deuxième vision d'une démonstration constructive découle de la remarque précédente, c'est une démonstration à laquelle on peut donner un contenu calculatoire. En 1990, Timothy G. Griffin étend la correspondance de Curry-Howard à la loi de Peirce, ((α → β) → α) → α, et montre ainsi que l'on peut associer, via des continuations, un contenu calculatoire à la logique classique, faisant d'elle une logique constructive. Конструктивное доказательство — доказательство, в котором существование математического объекта доказывается путем прямого построения —в отличие от неконструктивного доказательства (также известного как чистая теорема существования), которое доказывает существование объекта с определёнными свойствами без предоставления конкретного примера. Конструктивная математика отвергает всё, кроме конструктивного доказательства. Это приводит к ограничению на допустимые методы доказательства (в частности, закон исключенного третьего не используется), а также другому пониманию терминов. Например, термин «или» имеет более сильное значение в конструктивной математике, чем в классической. Иногда используется эквивалентный термин «эффективное доказательство».

gold:hypernym

dbr:Method

prov:wasDerivedFrom

wikipedia-en:Constructive_proof?oldid=1090644431&ns=0

dbo:wikiPageLength

14334

foaf:isPrimaryTopicOf

wikipedia-en:Constructive_proof