About: Constructive proof     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Message106598915, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FConstructive_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.

AttributesValues
rdf:type
rdfs:label
  • Constructive proof
  • Démonstration constructive
  • 구성적 증명
  • Bewijs door constructie
  • Dowód niekonstruktywny
  • Demonstração construtiva
  • Конструктивное доказательство
  • Конструктивне доведення
  • 构造性证明
rdfs:comment
  • 수학에서, 구성적 증명(構成的證明, constructive proof)은 일정 조건을 만족하는 대상의 존재성()을, 그 대상을 구체적으로 만들어내어 증명하는 방법이다. 반면 비구성적 증명(非構成的證明, non-constructive proof)은, 순수하게 존재성만을 입증하는 증명법이다. 구성적 증명(constructive proof)은 "약한 반증(Weak Counterexample)"으로 표현되기도 한다.
  • 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.
  • 在数学中,构造性证明是证明方法的一种,通过直接或间接构造出具有命题所要求的性质的实例来完成证明。与构造性证明相对的概念是非构造性证明(有时也称为存在性证明或纯粹存在性证明)。后者只证明满足命题要求的物体存在,而不提供具体的实例或构造这样的实例的方法。 构造性证明也可以指数学构成主义中被认可的一种更强的证明。数学构成主义是数学哲学的一支,它认为要证明一个对象的存在,必须将其构造出来。因此,他们拒绝使用如排中律,无穷公理和选择公理这样的公理。同时也有一些用语和以往不同,例如或("or")的语意会比传统数学中的更强。 数学构成主义拒绝使用反证法,然而爆炸原理在一些数学构成主义的变体中是被接受的,包括直觉主义。
  • 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.
  • 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.
  • Dowód niekonstruktywny – metoda dowodzenia w matematyce istnienia pewnych obiektów (zbiorów, liczb, figur, funkcji) bez jawnego wskazania tych obiektów lub podania sposobu ich konstruowania. Zwykle są to dowody nie wprost, w których wykazuje się, że założenie o nieistnieniu badanego obiektu prowadzi do sprzeczności z założeniami twierdzenia. Z tego wyciąga się wniosek o istnieniu rozpatrywanego obiektu. Rozumowania korzystające z zasady szufladkowej Dirichleta albo z aksjomatu wyboru zazwyczaj też są niekonstruktywne. Przykładem dowodu niekonstruktywnego jest dowód następującego twierdzenia:
  • Конструктивное доказательство — доказательство, в котором существование математического объекта доказывается путем прямого построения —в отличие от неконструктивного доказательства (также известного как чистая теорема существования), которое доказывает существование объекта с определёнными свойствами без предоставления конкретного примера. Иногда используется эквивалентный термин «эффективное доказательство».
  • 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).
  • В математиці конструктивне доведення — це метод доведення, що підтверджує існування математичного об'єкта шляхом надання або створення способу відтворення даного об'єкта. Він протиставляється неконструктивному доведенню (також відомому як теорема доведення існування, або чиста теорема існування), яке доводить існування певного об'єкта без надання прикладів.
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
Faceted Search & Find service v1.17_git51 as of Sep 16 2020


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Dec 29 2020, on Linux (x86_64-centos_6-linux-glibc2.12), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software