Mathematical proof (original) (raw)
V matematice je důkaz demonstrace nutné pravdivosti nějakého tvrzení za určitých předpokladů (axiomů). Matematický důkaz musí být založen výhradně na nezpochybnitelných pravidlech rozumu (ta jsou vyjádřena v matematické logice ve formě logických axiomů), nepřipouští žádný postup založený na názoru, experimentu, intuici či zkušenosti. Tato skutečnost dělá z matematického důkazu nejjistější známý způsob ověření pravdivosti nějakého tvrzení. Tvrzení, ke kterému je znám matematický důkaz, se nazývá matematická věta.
| Property | Value |
|---|---|
| dbo:abstract | En matemàtiques, una demostració, també dita prova, és un raonament lògic que estableix la veritat d'una proposició matemàtica. A partir d'axiomes (suposats vertaders per definició) o teoremes (altres proposicions matemàtiques demostrades a partir dels axiomes) i en aplicar regles d'inferència vàlides, hom mostra que una altra proposició també és vertadera. Com que les matemàtiques són una ciència formal, no empírica, la demostració ha de ser un argument que no apel·li a cap fet empíric. Les proves s'obtenen de raonaments deductius, en lloc de raonaments inductius o arguments empírics. Això vol dir que una prova ha de demostrar que una proposició és certa en tots els casos sense una sola excepció. El rigor de la metodologia matemàtica exigeix que cap proposició no s'accepti com a vàlida fins que hom no en conegui una demostració correcta. Els enunciats matemàtics demostrats que es consideren d'una especial rellevància s'anomenen teoremes i els d'importància menor lemes o corol·laris. Una proposició matemàtica que no ha estat provada ni refutada i per la qual hi ha algunes intuïcions que fan pensar que és vertadera, és una conjectura o una hipòtesi. Les demostracions matemàtiques normalment s'escriuen i s'expliquen en llenguatge natural (amb un cert nivell d'artifici formal propi del quefer matemàtic), i això pot deixar lloc a una certa ambigüitat. És per això que la teoria de la demostració ha desenvolupat mètodes per formalitzar completament el raonament matemàtic i poder així determinar amb tota precisió la noció de demostració matemàtica vàlida. Aquestes investigacions han tingut sens dubte un gran valor per a la fonamentació i la filosofia de la matemàtica. Entre els mètodes de demostració habituals en matemàtiques podem enumerar la demostració directa, la demostració per inducció en els naturals, la demostració per contradicció o reducció a l'absurd, la demostració per separació de casos, la demostració constructiva, etcètera. (ca) في الرياضيات، البرهان أو الإثبات هي حجة استدلالية لتحديد صحة عبارة رياضية تستند على مُسلَّمات (بالإنجليزية: Axiom) ومبرهنات (بالإنجليزية: Theorem). يقال لعبارة رياضية أو علاقة رياضية بأنها صحيحة منطقيا إذا تم التوصل إليها في ظل هذه المجموعة من البدهيات باستخدام الاستنتاج وطرق الاستنباط المنطقية. البرهان الرياضي إذا عبارة عن حجة argument أو تعليل منطقي، ليس تجريبيا. ضمن هذا التعريف فإن مقولة أو عبارة رياضية يجب أن تبرهن على صحتها في جميع الظروف والحالات قبل أن يتم اعتبارها مبرهنة theorem رياضية. أما المقولة غير المبرهنة التي تلقى نوعا من الدعم التجريبي فتعرف بالحدسية conjecture. افتراضيا في جميع فروع الرياضيات، تكون البدهيات المفترضة هي بدهيات أي Zermelo–Fraenkel set theory (و هي نظرية مجموعات زيرميلو-فرينكل مع بدهيات الاختيار) ما لم يشار إلى بدهيات مختلفة. نظرية مجموعة زيرميلو-فرينكل تقوم بمشاكلة formalize (أي تجعله شكليا formal) الحدس الرياضي حول نظرية المجموعات، وفي نفس الوقت تقوم نظرية المجموعات بوصف الجبر والتحليل الرياضي. عندما يراد إثبات قضية رياضية يستحسن، في حال الإمكان، وضعها في صيغة اقتضاء ق ¬ ك، إن ذلك يتيح صياغة عكس هذه القضية بسهولة. يسمى العنصر الأيمن (المقدم) «ق» في الاقتضاء فرضاً، ويسمى العنصر الأيسر (التالي) «ك» طلباً. وعلى سبيل المثال تكتب المبرهنة: في كل متوازي أضلاع: ينصف كل من القطرين القطر الآخر، في صيغة اقتضاء كما يأتي: إذا كان الرباعي متوازي أضلاع، فإن قطريه ينصِّف كل منهما الآخر. فالفرض هو أن الرباعي متوازي الأضلاع، والطلب هو أن ينصف كل من قطريه القطر الآخر. للبرهان الرياضي عدة طرق : البرهان المباشر، العكسي، البرهان بالتناقض، البرهان بالاختيار، البرهان بالاستقراء... إلخ. مثلا البرهان المباشر وتعتمد هذه الطريقة على الاقتناع بأن متعدية ونعني بذلك أنه إذا كان : * أ تقتضي ب، ب تقتضي جـ فإن أ تقتضي جـ مثال: * أثبت أنه إذا كان س = 3 فإن 2(4 س + 5) – 1 = 33 البرهان س = 3 تقتضي 4 س = 12 تقتضي 4س + 5 = 17 تقتضي 2 (4س + 5) = 34 تقتضي 2 (4س + 5) – 1 = 33 (ar) V matematice je důkaz demonstrace nutné pravdivosti nějakého tvrzení za určitých předpokladů (axiomů). Matematický důkaz musí být založen výhradně na nezpochybnitelných pravidlech rozumu (ta jsou vyjádřena v matematické logice ve formě logických axiomů), nepřipouští žádný postup založený na názoru, experimentu, intuici či zkušenosti. Tato skutečnost dělá z matematického důkazu nejjistější známý způsob ověření pravdivosti nějakého tvrzení. Tvrzení, ke kterému je znám matematický důkaz, se nazývá matematická věta. (cs) Στα μαθηματικά, απόδειξη είναι μια μη κενή διαδικασία (δηλαδή, είναι μία διαδικασία η οποία περιλαμβάνει ένα τουλάχιστον λογικό βήμα) η οποία επικυρώνει ότι κάποια είναι ορθή, μέσα στα αποδεκτά πλαίσια του πεδίου των μαθηματικών. Η απόδειξη παράγεται αναγωγικά και όχι . Δηλαδή, η απόδειξη πρέπει να δείχνει ότι μια πρόταση είναι αληθής για όλες τις περιπτώσεις που εφαρμόζεται, χωρίς καμία εξαίρεση. Μια πρόταση χωρίς απόδειξη για την οποία πιστεύεται ή υπάρχουν ισχυρές υποψίες ότι ισχύει, λέγεται εικασία. Οι αποδείξεις χρησιμοποιούν τη λογική αλλά συνήθως περιέχουν σε κάποιο βαθμό φυσική γλώσσα, που συνήθως επιτρέπει κάποια ορισμένη αμφισημία. Όντως, η συντριπτική πλειονότητα των αποδείξεων στα γραπτά μαθηματικά μπορούν να θεωρηθούν εφαρμογές της . Αμιγώς μελετώνται από τη . Η διάκριση μεταξύ άτυπης και τυπικής απόδειξης έχει οδηγήσει σε επανεξέταση της τρέχουσας και ιστορικής , ημι-εμπειρικά μαθηματικά και τα λεγόμενα . Η φιλοσοφία των μαθηματικών ασχολείται με το ρόλο της γλώσσας και της λογικής στις αποδείξεις, καθώς και των μαθηματικών ως γλώσσα. Άσχετα από το βαθμό της τυπικότητας που ακολουθείται, το αποτέλεσμα που αποδεικνύεται λέγεται θεώρημα. Σε μια εντελώς τυπική απόδειξη αυτό είναι η τελευταία γραμμή, και η απόδειξη δείχνει πως αυτό ακολουθεί από τα αξιώματα μόνο, με εφαρμογή των κανόνων συναγωγής. Όταν ένα θεώρημα έχει αποδειχθεί, μπορεί να χρησιμοποιηθεί ως βάση για την απόδειξη άλλων προτάσεων. Ένα θεώρημα μπορεί να λέγεται και αν χρησιμοποιείται ως βήμα στην απόδειξη ενός θεωρήματος. Τα αξιώματα είναι οι προτάσεις αυτές που δεν γίνεται, ή δεν χρειάζεται, να αποδεικτούν. Αυτά ήταν στο παρελθόν η βασική μελέτη των φιλόσοφων των μαθηματικών, ενώ πρόσφατα εστιάζουν περισσότερο στη , δηλαδή τι αποτελεί αποδεκτή τακτική. (el) Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit bzw. der Unrichtigkeit einer Aussage aus einer Menge von Axiomen, die als wahr vorausgesetzt werden, und anderen Aussagen, die bereits bewiesen sind. Man spricht daher auch von axiomatischen Beweisen. Umfangreichere Beweise von mathematischen Sätzen werden in der Regel in mehrere kleine Teilbeweise aufgeteilt, siehe dazu Satz und Hilfssatz. In der Beweistheorie, einem Teilgebiet der mathematischen Logik, werden Beweise formal als Ableitungen aufgefasst und selbst als mathematische Objekte betrachtet, um etwa die Beweisbarkeit oder Unbeweisbarkeit von Sätzen aus gegebenen Axiomen selbst zu beweisen. (de) En matematiko pruvo estas demonstro de deviga vereco de iu aserto surbaze de certaj supozoj (aksiomoj). La matematika pruvo devas esti fondita eksplicite sur nedubeblaj reguloj de prudento (tiuj estas esprimataj en matematika logiko en formo de ), ĝi allasas nenian procedon fonditan en opinio, eksperimento, intuicio aŭ sperto. Tiu ĉi fakto farigas el la matematika pruvo la plej certan konatan manieron de verkontrolo de la vereco de iu aserto. Sed la samaj ecoj faras la matematikan pruvon tute ne eluzeblan en aliaj terenoj ol en la matematiko mem. La aserto, al kiu estas konata matematika pruvo, nomiĝas teoremo. (eo) Matematikan, bat egiaztatzeko erabiltzen den argudio deduktibo bat da froga edo frogapen bat. Argumentazioan aurretik ezarritako baieztapenak erabil daitezke, hala nola teoremak eta hasierako baieztapenak edo axiomak. Froga, printzipioz, funtsean frogarik behar ez duten baieztapenak lortu arte garatu daiteke, axioma izenekoak. Frogantzak dedukziozko arrazoibideen adibideak dira, eta indukzio bidezkoak eta enpirikoak bereizten dira. Frogapen batek baieztapen bat beti egiazkoa dela frogatu behar du (batzuetan, kasu posible guztiak zerrendatu eta horietako bakoitzean baliozkoa dela ikusita), eta ez kasu askotan onartzen dela. Egiazkotzat jotzen den frogatu gabeko baieztapen bati aieru deritzo. Frogapenetan, logikaz gain, normalean, hizkuntza naturala ere erabiltzen da, anbiguotasunen bat izan dezakeena. Egia esan, frogantza matematiko gehienak zorrotzaren aplikaziotzat jo daitezke. , (ez hizkuntza naturalean) idatziak, hartzen dira kontuan. bereizketak logika matematiko historikoa eta gaur egunekoa, eta ikertzea eragin du. Matematikaren filosofia hizkuntzaren eginkizunaz eta frogapenen logikaz arduratzen da. Teorema baten frogapena ez ezagutzeak ez du esan nahi egiazkoa ez denik; faltsua dela esango bada, ezeztapena frogatu behar da. (eu) En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática. En la argumentación se pueden usar otras afirmaciones previamente establecidas, tales como teoremas o bien las afirmaciones iniciales o axiomas. En principio una demostración se puede rastrear hasta afirmaciones generalmente aceptadas, conocidas como axiomas. Las demostraciones son ejemplos de razonamiento deductivo y se distinguen de argumentos inductivos o empíricos; una demostración debe demostrar que una afirmación es siempre verdadera (ocasionalmente al listar todos los casos posibles y mostrar que es válida en cada uno), más que enumerar muchos casos confirmatorios. Una afirmación no probada que se cree verdadera se conoce como conjetura. Las locas demostraciones emplean lógica pero normalmente incluyen una buena parte de lenguaje natural, el cual usualmente admite alguna ambigüedad. De hecho, la gran mayoría de las demostraciones en las matemáticas escritas puede ser considerada como aplicaciones de lógica informal rigurosa. Las , escritas en lenguaje simbólico en lugar de lenguaje natural, se consideran en teoría de la demostración. La distinción entre demostraciones formales e informales ha llevado a examinar la lógica matemática histórica y actual, el cuasi-empirismo matemático y el formalismo matemático. La filosofía de las matemáticas concierne al rol del lenguaje y la lógica en las demostraciones, y en las matemáticas como lenguaje. El hecho de no conocer ninguna demostración de un teorema no implica su no veracidad; solo la demostración de la negación de este resultado implica que es falso. (es) A mathematical proof is an inferential argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation". Presenting many cases in which the statement holds is not enough for a proof, which must demonstrate that the statement is true in all possible cases. A proposition that has not been proved but is believed to be true is known as a conjecture, or a hypothesis if frequently used as an assumption for further mathematical work. Proofs employ logic expressed in mathematical symbols, along with natural language which usually admits some ambiguity. In most mathematical literature, proofs are written in terms of rigorous informal logic. Purely formal proofs, written fully in symbolic language without the involvement of natural language, are considered in proof theory. The distinction between formal and informal proofs has led to much examination of current and historical mathematical practice, quasi-empiricism in mathematics, and so-called folk mathematics, oral traditions in the mainstream mathematical community or in other cultures. The philosophy of mathematics is concerned with the role of language and logic in proofs, and mathematics as a language. (en) En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle. Les prémisses sont soit des axiomes, soit des propositions déjà obtenues comme conclusions de l'application d'autres règles. Une proposition qui est la conclusion de l'étape ultime d'une démonstration est un théorème. Le terme « preuve » est parfois employé comme un synonyme de « démonstration » par attraction de l'anglais proof[réf. souhaitée]. La démonstration est foncièrement différente de l'argumentation, qui est une autre forme de raisonnement, employant des arguments qualitatifs, en faisant référence éventuellement à des données chiffrées, dans le but de pousser quelqu'un à agir. (fr) Pembuktian Matematika adalah sebuah demonstrasi yang meyakinkan atas , teorema itu benar, dengan bantuan logika dan matematika. Pembuatan bukti telah lama mendapatkan perhatian besar dalam . (in) Una dimostrazione matematica è un processo di deduzione che, partendo da premesse assunte come valide (ipotesi) o da proposizioni dimostrate in virtù di queste premesse, determina la necessaria validità di una nuova proposizione in virtù della (sola) correttezza formale del ragionamento. (it) 数学における証明 (しょうめい、英語: Mathematical proof) とは、ある命題が正しいことを主張するための一連の演繹のこと。証明の各段階においては、前提（公理、定理等の認められた事実）や仮定から推論規則によって新たな命題を導くという形態をとる。ある証明の中で導入された仮定は、証明の別の部分で証明されるか、その証明の中で否定されなければならない（背理法）。 命題 P を証明したいとき、P を直に証明することを直接証明と言う。それに対して P が真であることを直接証明する代わりに、P と同値な別の命題が真であることを証明する方法を間接証明と言う（これらはあくまで直観的な分類に過ぎず、数学的な定義があるわけではない）。 (ja) 수학에서 증명(證明, 영어: proof)은 특정한 공리들을 가정하고, 그 가정 하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다. (특정한 공리는 별다른 언급이 없으면 선택 공리를 추가한 체르멜로-프렝켈 집합론으로 가정한다.) 증명은 논리를 통해 이루어져야 하지만 일반적으로 자연어를 포함하게 되며, 따라서 애매한 부분을 포함하기도 한다. 실제로 수학에서 대부분의 증명은 비형식 논리를 통해 이루어진다. 순수 형식논리를 통한 증명은 증명이론에서 다룬다. 형식적인 증명과 비형식적인 증명 사이의 구별은 형식주의에 철저히 입각해 있건 그렇지 않건, 참이라는 것이 밝혀진 명제는 정리라고 한다. 정리는 그 정의로서 참이라고 밝혀졌기에 다른 명제를 증명하는 데 사용할 수 있다. 증명 기법에는 다음과 같은 것들이 있다. * 직접 증명: 공리와 정의, 그리고 이미 증명된 정리를 논리적으로 직접 연결하여 증명한다.(연역적) * 수학적 귀납법: 바탕 명제(base case)가 참일 때, 귀납 규칙(induction rule)을 증명하여 무한히 많은 다른 명제들도 참이라는 것을 보인다. (귀납적) * (proof by construction): 어떤 성질을 만족하는 구체적인 예제를 하나 만들어 그 성질을 만족하는 어떤 것이 실제로 존재함을 증명한다. * 귀류법(reductio ad absurdum): 어떤 명제가 거짓이라고 가정하면 모순이 발생한다는 것을 증명하면, 그 명제가 참이어야 함을 알 수 있다. * 반례 은 확률론적 방법을 동원해 어떤 예제가 존재함을 보이는 것이다. 이것은 어떤 명제가 참이라는 것을 '확률적'으로 보이는 것과 전혀 다르며, 명제가 참일 확률을 계산하는 것과 실제로 그것을 증명하는 것은 거리가 멀다는 것을 콜라츠 추측을 통해 알 수 있다. 은 두 개의 서로 다른 식이 같은 값이라는 것을 보일 때 두 식이 같은 물체의 개수를 다른 방식으로 세는 것임을 증명한다. 참일 것으로 추정하지만 아직 참이라는 것이 밝혀지지 않은 명제는 추측이라고 한다. 때로는 주어진 공리계에서 어떤 명제를 증명하는 것은 불가능하다고 밝혀지는 경우도 있다. 연속체 가설이 그 예이다. 대부분의 공리계에는 증명도 반증도 불가능한 명제가 존재한다. 더 자세한 설명은 불완전성 정리를 참고 (ko) Een wiskundig bewijs is het volgens formele regels aantonen dat, gegeven bepaalde axioma's, een bepaalde bewering waar is. (nl) Dowód – wykazanie, że pewne zdanie jest prawdziwe. Dowód należy odróżnić od empirycznego lub heurystycznego rozumowania. Każdy krok dowodu musi jasno wynikać z poprzednich lub być przyjętym aksjomatem; rozumowanie niespełniające tego warunku nie jest dowodem. Ostatni krok dowodu to udowodnione zdanie, które w ten sposób staje się twierdzeniem danej teorii. Zwyczajowo koniec dowodu oznacza się skrótem q.e.d. (quod erat demonstrandum), c.n.d. (co należało dowieść), c.b.d.o. (co było do okazania) lub podobnym. (pl) Em matemática, uma prova é uma demonstração de que, dados certos axiomas, algum enunciado de interesse é necessariamente verdadeiro. Utiliza como base premissas intrínsecas a um modelo conceitual e um silogismo que, a partir de uma série de operações, chega ao resultado. Costuma-se marcar o final de uma prova com a abreviação c. q. d. (como queríamos demonstrar). (pt) Ett bevis eller mer generellt en härledning, är en följd av slutledningar, vilka från bestämda axiom och givna premisser leder fram till en slutsats. I matematiken kallas ett påstående som formellt kan bevisas, för ett teorem eller en sats. Ett påstående, som är obevisat, kallas för en förmodan. Hjälpsatser, som används vid bevisföringen kallas för lemman. I praktiken är bevisföring en kompromiss mellan stringens och enkelhet. Det har i matematikhistorien vid flera tillfällen hänt, att fel upptäckts i publicerade bevisförsök för satser, som tidigare betraktats som giltiga. Beviset för fyrfärgssatsen var under en period kontroversiellt eftersom det innehöll för tiden nya (datorberoende) kontrollmetoder, men numera accepteras dessa. Ett matematiskt bevis kan inte jämföras med bevis i andra vetenskaper, vars grundsatser kan förändras. (sv) Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы (построенная по специальным правилам последовательность утверждений, записанная на формальном языке) или текст на естественном языке, по которому при необходимости можно восстановить формальное доказательство. Необходимость формального доказательства утверждений — одна из основных характерных черт математики как дедуктивной отрасли знаний, соответственно, понятие доказательства играет центральную роль в предмете математики, а наличие доказательств и их корректность определяют статус любых математических результатов. На протяжении всей истории математики представление о способах и допустимых методах доказательства существенно менялось, в основном, в сторону большей формализации и бо́льших ограничений. Ключевой вехой в вопросе формализации доказательства стало создание математической логики в XIX веке и формализация её средствами основных техник доказательства. В XX веке построена теория доказательств — теория, изучающая доказательство как математический объект. С появлением во второй половине XX века компьютеров особое значение получило применение методов математического доказательства для проверки и синтеза программ, и даже было установлено структурное соответствие между компьютерными программами и математическими доказательствами (соответствие Карри — Ховарда), на основе которого созданы средства автоматического доказательства. Основные приёмы, используемые при построении доказательств: прямое доказательство, математическая индукция и её обобщения, доказательство от противного, контрапозиция, построение, перебор, установление биекции, двойной счёт; в приложениях в качестве математических доказательств привлекаются также методы, не дающие формального доказательства, но обеспечивающие практическую применимость результата — вероятностные, статистические, приближённые. В зависимости от раздела математики, используемого формализма или математической школы не все методы могут приниматься безоговорочно, в частности, конструктивное доказательство предполагает серьёзные ограничения. (ru) 在數學上，數學證明（Mathematical proof）是在一個特定的公理系統中，根据一定的规则或标准，由公理和定理推導出某些命題的過程。比起证据，数学证明一般依靠演绎推理，而不是依靠自然归纳和经验性的理据。這樣推導出來的命題也叫做該系統中的定理。 數學證明建立在逻辑之上，但通常會包含若干程度的自然語言，因此可能會產生一些含糊的部分。 實際上，用文字形式寫成的數學證明，在大多數情況都可以視為非形式邏輯的應用。在證明論的範疇內，則考慮那些用純形式化的语言写出的證明。這個区别导致了对過往到現在的、和的大部分检验。 數學哲學就關注語言和邏輯在數學證明中的角色，和。 (zh) Доведення у математиці — процедура, за допомогою якої встановлюють істинність гіпотези чи будь-якого твердження. Принципи доведення вивчаються спеціальною галуззю математики — теорією доказів. (uk) |
| dbo:thumbnail | wiki-commons:Special:FilePath/P._Oxy._I_29.jpg?width=300 |
| dbo:wikiPageExternalLink | http://www.cut-the-knot.org/proofs/index.shtml http://www.maths.unsw.edu.au/~jim/proofs.html%7Ctitle=Proof http://dlist.sir.arizona.edu/1581/%7Ctitle=What |
| dbo:wikiPageID | 82285 (xsd:integer) |
| dbo:wikiPageLength | 38013 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1123223295 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Carnap dbr:Bayesian_probability dbr:Prime_number_theorem dbr:Probabilistic dbr:Proof_assistant dbr:Proof_by_intimidation dbr:Quasi-empiricism_in_mathematics dbr:Eponym dbr:Two_Dogmas_of_Empiricism dbr:Primality_test dbr:Nonconstructive_proof dbr:Bayes'_theorem dbr:Binomial_theorem dbr:Deductive_reasoning dbr:Descartes dbr:Argument dbr:Joseph_Liouville dbr:Paul_Erdős dbr:Paul_Halmos dbr:Rigour dbr:Double_counting_(proof_technique) dbr:Independence_(mathematical_logic) dbr:Inference dbr:Infinite_set dbr:Informal_logic dbr:Analytic_proposition dbr:Reductio_ad_absurdum dbr:List_of_incomplete_proofs dbr:List_of_mathematical_proofs dbr:Proof_by_infinite_descent dbr:Complex_analysis dbr:Contrapositive dbr:Cryptography dbr:Material_conditional dbr:Mathematical_beauty dbr:Mathematical_induction dbr:Mathematical_logic dbr:Mathematics_in_medieval_Islam dbr:Mathematical_object dbr:List_of_long_proofs dbr:Collatz_conjecture dbr:Geometry dbr:Gottfried_Wilhelm_Leibniz dbr:Gottlob_Frege dbr:Greek_mathematics dbr:Conjecture dbr:Contradiction dbr:Theorem dbr:Logic dbr:Statistics dbr:Closure_(mathematics) dbr:Zero-knowledge_proof dbr:Zhoubi_Suanjing dbr:Empirical_evidence dbr:Parallel_postulate dbr:Parity_(mathematics) dbr:Particle_physics dbr:Physics dbr:Proposition dbr:Observational_study dbr:Symbolic_language_(mathematics) dbr:Mathematical_practice dbr:Mathematical_statistics dbr:Automated_theorem_proving dbr:Axiomatic_method dbr:Axiomatic_set_theory dbr:Thought_experiment dbr:Transcendental_number dbr:Data dbr:Data_analysis dbr:Data_structure dbr:What_the_Tortoise_Said_to_Achilles dbr:Willard_Van_Orman_Quine dbr:Distributive_property dbr:Divisor dbr:Cogito_ergo_sum dbr:Irrational_number dbr:Liouville_number dbr:Proof_without_words dbr:Al-Karaji dbr:Algebra dbr:Analytic_number_theory dbr:Analytic–synthetic_distinction dbr:Euclid dbr:Euclid's_Elements dbr:Eudoxus_of_Cnidus dbr:Experiment dbr:Fraction dbr:Non-Euclidean_geometry dbr:Number_theory dbr:Pascal's_triangle dbr:Formal_language dbr:Formal_proof dbr:Four_color_theorem dbr:Hippocrates_of_Chios dbr:Physical_cosmology dbr:Proof_by_contradiction dbr:Mathematical_folklore dbr:Well-formed_formula dbr:Probability dbr:Probability_theory dbr:Proof_theory dbr:Pythagorean_theorem dbr:Gödel's_incompleteness_theorem dbc:Mathematical_proofs dbr:Counterexample dbr:Thales dbr:Prime_number dbr:Argument-deduction-proof_distinctions dbr:Aristotle dbr:Arithmetic dbr:Arithmetic_progression dbc:Sources_of_knowledge dbc:Mathematical_logic dbc:Mathematical_terminology dbr:Latin dbr:Bijection dbr:Proofs_from_THE_BOOK dbr:Termination_analysis dbr:Theaetetus_(mathematician) dbr:Tombstone_(typography) dbr:Triangle dbr:Missing_square_puzzle dbr:Wiley_Publishing dbr:Axiom dbr:Philosophy dbr:Philosophy_of_mathematics dbr:Spinoza dbr:Square_root_of_2 dbr:Coprime dbr:Empirical_science dbr:Immanuel_Kant dbr:Inductive_reasoning dbr:Information dbr:Integer dbr:Al-Hashimi dbr:Natural_number dbr:Rational_number dbr:Certainty dbr:Set_(mathematics) dbr:Rule_of_inference dbr:Scatter_plot dbr:Logically_equivalent dbr:Euclidean_geometry dbr:Experimental_mathematics dbr:Language_of_thought dbr:Natural_language dbr:Evidence dbr:Existence_theorem dbr:Pure_mathematics dbr:Philosopher dbr:Iraqi_people dbr:Proof_by_contrapositive dbr:List_of_statements_undecidable_in_ZFC dbr:Invalid_proof dbr:Bayesian_analysis dbr:Foundational_mathematics dbr:Fractal_geometry dbr:Synthetic_proposition dbr:Inductive_logic dbr:Mathematical_exercise dbr:Mathematical_methods_of_physics dbr:Mathematics_as_a_language dbr:Probabilistic_algorithm dbr:Deductive_logic dbr:File:P._Oxy._I_29.jpg dbr:Undefined_term dbr:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice dbr:Square_root_of_two dbr:V: dbr:Chaotic_series dbr:File:Twocolumnproof.png dbr:V:Discrete_Mathematics_for_Computer_Science dbr:V:Discrete_Mathematics_for_Computer_Science/Proof |
| dbp:wikiPageUsesTemplate | dbt:Anchor dbt:As_of dbt:Citation dbt:Citation_needed dbt:Cite_book dbt:Columns-list dbt:Commons_category-inline dbt:Main dbt:Math dbt:Portal dbt:Reflist dbt:See_also dbt:Short_description dbt:Use_mdy_dates dbt:Wikiquote dbt:Wiktionary dbt:Logic dbt:Mathematical_logic |
| dct:subject | dbc:Mathematical_proofs dbc:Sources_of_knowledge dbc:Mathematical_logic dbc:Mathematical_terminology |
| gold:hypernym | dbr:Argument |
| rdf:type | owl:Thing |
| rdfs:comment | V matematice je důkaz demonstrace nutné pravdivosti nějakého tvrzení za určitých předpokladů (axiomů). Matematický důkaz musí být založen výhradně na nezpochybnitelných pravidlech rozumu (ta jsou vyjádřena v matematické logice ve formě logických axiomů), nepřipouští žádný postup založený na názoru, experimentu, intuici či zkušenosti. Tato skutečnost dělá z matematického důkazu nejjistější známý způsob ověření pravdivosti nějakého tvrzení. Tvrzení, ke kterému je znám matematický důkaz, se nazývá matematická věta. (cs) En matematiko pruvo estas demonstro de deviga vereco de iu aserto surbaze de certaj supozoj (aksiomoj). La matematika pruvo devas esti fondita eksplicite sur nedubeblaj reguloj de prudento (tiuj estas esprimataj en matematika logiko en formo de ), ĝi allasas nenian procedon fonditan en opinio, eksperimento, intuicio aŭ sperto. Tiu ĉi fakto farigas el la matematika pruvo la plej certan konatan manieron de verkontrolo de la vereco de iu aserto. Sed la samaj ecoj faras la matematikan pruvon tute ne eluzeblan en aliaj terenoj ol en la matematiko mem. La aserto, al kiu estas konata matematika pruvo, nomiĝas teoremo. (eo) Pembuktian Matematika adalah sebuah demonstrasi yang meyakinkan atas , teorema itu benar, dengan bantuan logika dan matematika. Pembuatan bukti telah lama mendapatkan perhatian besar dalam . (in) Una dimostrazione matematica è un processo di deduzione che, partendo da premesse assunte come valide (ipotesi) o da proposizioni dimostrate in virtù di queste premesse, determina la necessaria validità di una nuova proposizione in virtù della (sola) correttezza formale del ragionamento. (it) 数学における証明 (しょうめい、英語: Mathematical proof) とは、ある命題が正しいことを主張するための一連の演繹のこと。証明の各段階においては、前提（公理、定理等の認められた事実）や仮定から推論規則によって新たな命題を導くという形態をとる。ある証明の中で導入された仮定は、証明の別の部分で証明されるか、その証明の中で否定されなければならない（背理法）。 命題 P を証明したいとき、P を直に証明することを直接証明と言う。それに対して P が真であることを直接証明する代わりに、P と同値な別の命題が真であることを証明する方法を間接証明と言う（これらはあくまで直観的な分類に過ぎず、数学的な定義があるわけではない）。 (ja) Een wiskundig bewijs is het volgens formele regels aantonen dat, gegeven bepaalde axioma's, een bepaalde bewering waar is. (nl) Dowód – wykazanie, że pewne zdanie jest prawdziwe. Dowód należy odróżnić od empirycznego lub heurystycznego rozumowania. Każdy krok dowodu musi jasno wynikać z poprzednich lub być przyjętym aksjomatem; rozumowanie niespełniające tego warunku nie jest dowodem. Ostatni krok dowodu to udowodnione zdanie, które w ten sposób staje się twierdzeniem danej teorii. Zwyczajowo koniec dowodu oznacza się skrótem q.e.d. (quod erat demonstrandum), c.n.d. (co należało dowieść), c.b.d.o. (co było do okazania) lub podobnym. (pl) Em matemática, uma prova é uma demonstração de que, dados certos axiomas, algum enunciado de interesse é necessariamente verdadeiro. Utiliza como base premissas intrínsecas a um modelo conceitual e um silogismo que, a partir de uma série de operações, chega ao resultado. Costuma-se marcar o final de uma prova com a abreviação c. q. d. (como queríamos demonstrar). (pt) 在數學上，數學證明（Mathematical proof）是在一個特定的公理系統中，根据一定的规则或标准，由公理和定理推導出某些命題的過程。比起证据，数学证明一般依靠演绎推理，而不是依靠自然归纳和经验性的理据。這樣推導出來的命題也叫做該系統中的定理。 數學證明建立在逻辑之上，但通常會包含若干程度的自然語言，因此可能會產生一些含糊的部分。 實際上，用文字形式寫成的數學證明，在大多數情況都可以視為非形式邏輯的應用。在證明論的範疇內，則考慮那些用純形式化的语言写出的證明。這個区别导致了对過往到現在的、和的大部分检验。 數學哲學就關注語言和邏輯在數學證明中的角色，和。 (zh) Доведення у математиці — процедура, за допомогою якої встановлюють істинність гіпотези чи будь-якого твердження. Принципи доведення вивчаються спеціальною галуззю математики — теорією доказів. (uk) في الرياضيات، البرهان أو الإثبات هي حجة استدلالية لتحديد صحة عبارة رياضية تستند على مُسلَّمات (بالإنجليزية: Axiom) ومبرهنات (بالإنجليزية: Theorem). يقال لعبارة رياضية أو علاقة رياضية بأنها صحيحة منطقيا إذا تم التوصل إليها في ظل هذه المجموعة من البدهيات باستخدام الاستنتاج وطرق الاستنباط المنطقية. البرهان الرياضي إذا عبارة عن حجة argument أو تعليل منطقي، ليس تجريبيا. ضمن هذا التعريف فإن مقولة أو عبارة رياضية يجب أن تبرهن على صحتها في جميع الظروف والحالات قبل أن يتم اعتبارها مبرهنة theorem رياضية. أما المقولة غير المبرهنة التي تلقى نوعا من الدعم التجريبي فتعرف بالحدسية conjecture. افتراضيا في جميع فروع الرياضيات، تكون البدهيات المفترضة هي بدهيات أي Zermelo–Fraenkel set theory (و هي نظرية مجموعات زيرميلو-فرينكل مع بدهيات الاختيار) ما لم يشار إلى بدهيات مختلفة. نظرية مجموعة زيرميلو-فرينكل تق (ar) En matemàtiques, una demostració, també dita prova, és un raonament lògic que estableix la veritat d'una proposició matemàtica. A partir d'axiomes (suposats vertaders per definició) o teoremes (altres proposicions matemàtiques demostrades a partir dels axiomes) i en aplicar regles d'inferència vàlides, hom mostra que una altra proposició també és vertadera. (ca) Στα μαθηματικά, απόδειξη είναι μια μη κενή διαδικασία (δηλαδή, είναι μία διαδικασία η οποία περιλαμβάνει ένα τουλάχιστον λογικό βήμα) η οποία επικυρώνει ότι κάποια είναι ορθή, μέσα στα αποδεκτά πλαίσια του πεδίου των μαθηματικών. Η απόδειξη παράγεται αναγωγικά και όχι . Δηλαδή, η απόδειξη πρέπει να δείχνει ότι μια πρόταση είναι αληθής για όλες τις περιπτώσεις που εφαρμόζεται, χωρίς καμία εξαίρεση. Μια πρόταση χωρίς απόδειξη για την οποία πιστεύεται ή υπάρχουν ισχυρές υποψίες ότι ισχύει, λέγεται εικασία. (el) Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit bzw. der Unrichtigkeit einer Aussage aus einer Menge von Axiomen, die als wahr vorausgesetzt werden, und anderen Aussagen, die bereits bewiesen sind. Man spricht daher auch von axiomatischen Beweisen. Umfangreichere Beweise von mathematischen Sätzen werden in der Regel in mehrere kleine Teilbeweise aufgeteilt, siehe dazu Satz und Hilfssatz. (de) Matematikan, bat egiaztatzeko erabiltzen den argudio deduktibo bat da froga edo frogapen bat. Argumentazioan aurretik ezarritako baieztapenak erabil daitezke, hala nola teoremak eta hasierako baieztapenak edo axiomak. Froga, printzipioz, funtsean frogarik behar ez duten baieztapenak lortu arte garatu daiteke, axioma izenekoak. Frogantzak dedukziozko arrazoibideen adibideak dira, eta indukzio bidezkoak eta enpirikoak bereizten dira. Frogapen batek baieztapen bat beti egiazkoa dela frogatu behar du (batzuetan, kasu posible guztiak zerrendatu eta horietako bakoitzean baliozkoa dela ikusita), eta ez kasu askotan onartzen dela. Egiazkotzat jotzen den frogatu gabeko baieztapen bati aieru deritzo. (eu) En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática. En la argumentación se pueden usar otras afirmaciones previamente establecidas, tales como teoremas o bien las afirmaciones iniciales o axiomas. En principio una demostración se puede rastrear hasta afirmaciones generalmente aceptadas, conocidas como axiomas. Las demostraciones son ejemplos de razonamiento deductivo y se distinguen de argumentos inductivos o empíricos; una demostración debe demostrar que una afirmación es siempre verdadera (ocasionalmente al listar todos los casos posibles y mostrar que es válida en cada uno), más que enumerar muchos casos confirmatorios. Una afirmación no probada que se cree verdadera se conoce como conjetura. (es) A mathematical proof is an inferential argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation". Presenting many cases in which the statement holds is not enough for a proof, which must demonstrate that the statement is true in all possible cases. A proposition that has not been proved but is (en) En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle. Les prémisses sont soit des axiomes, soit des propositions déjà obtenues comme conclusions de l'application d'autres règles. Une proposition qui est la conclusion de l'étape ultime d'une démonstration est un théorème. (fr) 수학에서 증명(證明, 영어: proof)은 특정한 공리들을 가정하고, 그 가정 하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다. (특정한 공리는 별다른 언급이 없으면 선택 공리를 추가한 체르멜로-프렝켈 집합론으로 가정한다.) 증명은 논리를 통해 이루어져야 하지만 일반적으로 자연어를 포함하게 되며, 따라서 애매한 부분을 포함하기도 한다. 실제로 수학에서 대부분의 증명은 비형식 논리를 통해 이루어진다. 순수 형식논리를 통한 증명은 증명이론에서 다룬다. 형식적인 증명과 비형식적인 증명 사이의 구별은 형식주의에 철저히 입각해 있건 그렇지 않건, 참이라는 것이 밝혀진 명제는 정리라고 한다. 정리는 그 정의로서 참이라고 밝혀졌기에 다른 명제를 증명하는 데 사용할 수 있다. 증명 기법에는 다음과 같은 것들이 있다. 은 확률론적 방법을 동원해 어떤 예제가 존재함을 보이는 것이다. 이것은 어떤 명제가 참이라는 것을 '확률적'으로 보이는 것과 전혀 다르며, 명제가 참일 확률을 계산하는 것과 실제로 그것을 증명하는 것은 거리가 멀다는 것을 콜라츠 추측을 통해 알 수 있다. 참일 것으로 추정하지만 아직 참이라는 것이 밝혀지지 않은 명제는 추측이라고 한다. (ko) Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы (построенная по специальным правилам последовательность утверждений, записанная на формальном языке) или текст на естественном языке, по которому при необходимости можно восстановить формальное доказательство. Необходимость формального доказательства утверждений — одна из основных характерных черт математики как дедуктивной отрасли знаний, соответственно, понятие доказательства играет центральную роль в предмете математики, а наличие доказательств и (ru) Ett bevis eller mer generellt en härledning, är en följd av slutledningar, vilka från bestämda axiom och givna premisser leder fram till en slutsats. I matematiken kallas ett påstående som formellt kan bevisas, för ett teorem eller en sats. Ett matematiskt bevis kan inte jämföras med bevis i andra vetenskaper, vars grundsatser kan förändras. (sv) |
| rdfs:label | برهان رياضي (ar) Demostració (matemàtiques) (ca) Matematický důkaz (cs) Beweis (Mathematik) (de) Μαθηματική απόδειξη (el) Matematika pruvo (eo) Froga matematiko (eu) Demostración en matemática (es) Pembuktian matematika (in) Démonstration (logique et mathématique) (fr) Dimostrazione matematica (it) 証明 (数学) (ja) Mathematical proof (en) 증명 (수학) (ko) Wiskundig bewijs (nl) Dowód (matematyka) (pl) Prova matemática (pt) Математическое доказательство (ru) Matematiskt bevis (sv) 數學證明 (zh) Доведення (uk) |
| rdfs:seeAlso | dbr:History_of_logic |
| owl:sameAs | freebase:Mathematical proof dbpedia-de:Mathematical proof wikidata:Mathematical proof dbpedia-als:Mathematical proof dbpedia-an:Mathematical proof dbpedia-ar:Mathematical proof http://ast.dbpedia.org/resource/Demostración_matemática dbpedia-az:Mathematical proof http://ba.dbpedia.org/resource/Математик_иҫбатлау dbpedia-be:Mathematical proof dbpedia-bg:Mathematical proof http://bn.dbpedia.org/resource/গাণিতিক_প্রমাণ http://bs.dbpedia.org/resource/Matematički_dokaz dbpedia-ca:Mathematical proof http://ckb.dbpedia.org/resource/سەلماندن_(ماتماتیک) dbpedia-cs:Mathematical proof http://cv.dbpedia.org/resource/Ĕнентерӳ_(математика) dbpedia-cy:Mathematical proof dbpedia-da:Mathematical proof dbpedia-el:Mathematical proof dbpedia-eo:Mathematical proof dbpedia-es:Mathematical proof dbpedia-eu:Mathematical proof dbpedia-fa:Mathematical proof dbpedia-fi:Mathematical proof dbpedia-fr:Mathematical proof dbpedia-gl:Mathematical proof dbpedia-he:Mathematical proof http://hi.dbpedia.org/resource/गणितीय_उपपत्ति dbpedia-hr:Mathematical proof dbpedia-hu:Mathematical proof http://hy.dbpedia.org/resource/Մաթեմատիկական_ապացույց http://ia.dbpedia.org/resource/Prova_mathematic dbpedia-id:Mathematical proof dbpedia-is:Mathematical proof dbpedia-it:Mathematical proof dbpedia-ja:Mathematical proof dbpedia-ka:Mathematical proof dbpedia-kk:Mathematical proof dbpedia-ko:Mathematical proof dbpedia-la:Mathematical proof http://lt.dbpedia.org/resource/Matematinis_įrodymas http://lv.dbpedia.org/resource/Matemātisks_pierādījums dbpedia-mk:Mathematical proof http://ml.dbpedia.org/resource/തെളിവ്_ഗണിതശാസ്ത്രത്തിൽ dbpedia-ms:Mathematical proof dbpedia-nds:Mathematical proof dbpedia-nl:Mathematical proof dbpedia-nn:Mathematical proof dbpedia-no:Mathematical proof dbpedia-oc:Mathematical proof http://pa.dbpedia.org/resource/ਗਣਿਤਕ_ਸਬੂਤ dbpedia-pl:Mathematical proof dbpedia-pnb:Mathematical proof dbpedia-pt:Mathematical proof dbpedia-ro:Mathematical proof dbpedia-ru:Mathematical proof http://scn.dbpedia.org/resource/Dimustrazzioni_matimàtica dbpedia-sh:Mathematical proof http://si.dbpedia.org/resource/ගණිතමය_ඔප්පු_කිරීම් dbpedia-simple:Mathematical proof dbpedia-sk:Mathematical proof dbpedia-sl:Mathematical proof dbpedia-sq:Mathematical proof dbpedia-sr:Mathematical proof dbpedia-sv:Mathematical proof dbpedia-sw:Mathematical proof http://ta.dbpedia.org/resource/கணித_நிறுவல் dbpedia-th:Mathematical proof http://tl.dbpedia.org/resource/Pang-matematikang_patibay dbpedia-tr:Mathematical proof http://tt.dbpedia.org/resource/Математик_исбатлау dbpedia-uk:Mathematical proof http://ur.dbpedia.org/resource/ریاضیاتی_ثبوت dbpedia-vi:Mathematical proof dbpedia-war:Mathematical proof http://yi.dbpedia.org/resource/מאטעמאטישער_דערווייז dbpedia-zh:Mathematical proof https://global.dbpedia.org/id/ChqJ |
| prov:wasDerivedFrom | wikipedia-en:Mathematical_proof?oldid=1123223295&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Chinese_pythagoras.jpg wiki-commons:Special:FilePath/Pythag_anim.gif wiki-commons:Special:FilePath/Pythagoras-2a.gif wiki-commons:Special:FilePath/Twocolumnproof.png wiki-commons:Special:FilePath/P._Oxy._I_29.jpg |
| foaf:isPrimaryTopicOf | wikipedia-en:Mathematical_proof |
| is dbo:academicDiscipline of | dbr:Lara_Alcock |
| is dbo:wikiPageDisambiguates of | dbr:Proof |
| is dbo:wikiPageRedirects of | dbr:History_of_mathematical_proof dbr:Mathematical_Proof dbr:Mathematical_proofs dbr:TheoremProving dbr:Methods_of_proof dbr:Two-column_proof dbr:Types_of_proof dbr:Proof_(math) dbr:Proof_(mathematics) dbr:Proof_Techniques dbr:Proof_method dbr:Proof_techniques dbr:Proving_(math) dbr:Skipped_step dbr:Math_proof dbr:Mathematical_derivation dbr:Mathing dbr:Maths_proofs dbr:Derivation_(mathematical_logic) dbr:Essential_step dbr:Geometric_proof dbr:Geometrical_proof dbr:Demonstration_(proof) dbr:Theorem-proving |
| is dbo:wikiPageWikiLink of | dbr:Calculus dbr:Cartan's_theorems_A_and_B dbr:Amitsur–Levitzki_theorem dbr:Power_of_three dbr:Prime_ideal dbr:Proof_(2005_film) dbr:Proof_(truth) dbr:Proof_of_impossibility dbr:Proof_that_22/7_exceeds_π dbr:Proofs_of_Fermat's_little_theorem dbr:Pythagoras dbr:Q.E.D. dbr:Quadratic_equation dbr:Quadratic_irrational_number dbr:Roger_Heath-Brown dbr:Ronald_Fisher dbr:Root_of_unity dbr:Schneider–Lang_theorem dbr:Scientific_method dbr:Elegance dbr:Elementary_proof dbr:Metamorphic_testing dbr:NP_(complexity) dbr:On_the_Number_of_Primes_Less_Than_a_Given_Magnitude dbr:On_the_Cruelty_of_Really_Teaching_Computer_Science dbr:Problem_Solving_Through_Recreational_Mathematics dbr:Basel_problem dbr:Beryl_May_Dent dbr:Binomial_theorem dbr:Botond_Roska dbr:Bounded_variation dbr:Debabrata_Basu dbr:Deductive_reasoning dbr:Algebraic_extension dbr:Anti-Life_Equation dbr:Antimagic_square dbr:Archimedean_group dbr:Archimedean_property dbr:Argumentum_a_fortiori dbr:Argument–deduction–proof_distinctions dbr:History_of_mathematical_proof dbr:Jules_Tannery dbr:List_of_common_misconceptions dbr:List_of_mathematical_jargon dbr:Paul_Garabedian dbr:Reversi dbr:Rhombus dbr:Ribet's_theorem dbr:Richard_Courant dbr:Rigour dbr:Charles_Julien_Brianchon dbr:United_States_of_America_Mathematical_Talent_Search dbr:Universe_(mathematics) dbr:University_of_Minnesota_Talented_Youth_Mathematics_Program dbr:Vieta's_formulas dbr:Vieta_jumping dbr:Vladimir_Shukhov dbr:De_Bruijn_Factor dbr:De_Bruijn_sequence dbr:De_Bruijn–Newman_constant dbr:Decomposition_of_a_module dbr:Dedekind–Hasse_norm dbr:Definitions_of_philosophy dbr:Duffin–Schaeffer_conjecture dbr:Eakin–Nagata_theorem dbr:Incompressibility_method dbr:Index_of_epistemology_articles dbr:Induced_homomorphism dbr:Infinitary_logic dbr:Informal_mathematics dbr:Integral_element dbr:Interesting_number_paradox dbr:J-homomorphism dbr:Reductio_ad_absurdum dbr:List_of_incomplete_proofs dbr:List_of_long_mathematical_proofs dbr:List_of_mathematical_abbreviations dbr:List_of_mathematical_logic_topics dbr:List_of_mathematical_proofs dbr:List_of_multiple_discoveries dbr:List_of_rules_of_inference dbr:Pseudocircle dbr:Proof_by_example dbr:Proof_of_the_Euler_product_formula_for_the_Riemann_zeta_function dbr:Proofs_involving_the_addition_of_natural_numbers dbr:Pseudomathematics dbr:Reasoning_system dbr:Proof_of_Bertrand's_postulate dbr:Timeline_of_artificial_intelligence dbr:Wiener's_Tauberian_theorem dbr:Wiles's_proof_of_Fermat's_Last_Theorem dbr:Zettel_(Wittgenstein_book) dbr:♯P-completeness_of_01-permanent dbr:0.999... dbr:1713_in_science dbr:Commutative_property dbr:Complete_homogeneous_symmetric_polynomial dbr:Computer-assisted_proof dbr:Consistency dbr:Maschke's_theorem dbr:Mathematical_Proof dbr:Mathematical_beauty dbr:Mathematical_induction dbr:Mathematical_proofs dbr:Mathematicism dbr:Mathematics dbr:Maximum_likelihood_estimation dbr:Chen's_theorem dbr:Mathematical_object dbr:Nice_model dbr:Noetherian_ring dbr:Noise:_A_Flaw_in_Human_Judgment dbr:Ramanujan–Nagell_equation dbr:Primorial_prime dbr:Mixture_model dbr:Principle_of_permanence dbr:Redundant_proof dbr:Timeline_of_mathematics dbr:Elementary_symmetric_polynomial dbr:Georg_Cantor dbr:Georg_Kreisel dbr:George_Boolos dbr:Georgia_Benkart dbr:Gerald_Schwarz dbr:Gisbert_Hasenjaeger dbr:Glossary_of_artificial_intelligence dbr:Glossary_of_computer_science dbr:Glossary_of_engineering:_M–Z dbr:Graph_of_groups dbr:Boundedly_generated_group dbr:Minkowski's_theorem dbr:Mirror_symmetry_(string_theory) dbr:Morley's_trisector_theorem dbr:Multimagic_square dbr:Naive_set_theory dbr:Condensed_detachment dbr:Conjecture dbr:Constructive_proof dbr:Contact_process_(mathematics) dbr:Contradiction dbr:Correctness_(computer_science) dbr:Crinkled_arc dbr:The_Man_Who_Knew_Infinity dbr:The_Nine_Chapters_on_the_Mathematical_Art dbr:The_Prisoner_of_Benda dbr:Theorem dbr:TheoremProving dbr:Therefore_sign dbr:Thomas_Callister_Hales dbr:Thomas_Royen dbr:Erdős–Woods_number dbr:Martinus_Smiglecius dbr:Milnor_K-theory dbr:Program_derivation dbr:Operational_semantics dbr:Orthodiagonal_quadrilateral dbr:Andrew_M._Gleason dbr:Angle_trisection dbr:Antiprism dbr:Arabs dbr:Aristotelian_realist_philosophy_of_mathematics dbr:Logic_Theorist dbr:Louis_de_Branges_de_Bourcia dbr:Magic_hexagon dbr:China_Girls_Mathematical_Olympiad dbr:Statistical_proof dbr:Stephen_Warshall dbr:Colossally_abundant_number dbr:Combinatorial_proof dbr:Commutative_diagram dbr:Complex_conjugate_root_theorem dbr:Complexity_class dbr:Computation_history dbr:Computational_finance dbr:Computational_semiotics dbr:Feit–Thompson_conjecture dbr:Functional_programming dbr:Fundamental_group dbr:Fundamental_theorem_on_homomorphisms dbr:Furstenberg's_proof_of_the_infinitude_of_primes dbr:Hahn_embedding_theorem dbr:Hahn_series dbr:Hall_subgroup dbr:Hardy–Littlewood_Tauberian_theorem dbr:Kostka_polynomial dbr:Krivine–Stengle_Positivstellensatz dbr:PCP_theorem dbr:Parity_(mathematics) dbr:Perpetual_motion dbr:Principles_and_Standards_for_School_Mathematics dbr:Probabilistically_checkable_proof dbr:Specification_language dbr:Subtraction dbr:Markov_number dbr:Math_55 dbr:Mathematical_economics dbr:Mathematical_fallacy dbr:Mathematical_maturity dbr:Mathematical_practice dbr:Mathematics,_Form_and_Function dbr:Mathematics_education dbr:Mathematics_education_in_Australia dbr:Mathematics_in_the_medieval_Islamic_world dbr:Mean_value_problem dbr:Perfect_magic_cube dbr:Proof_of_Stein's_example dbr:Mutilated_chessboard_problem dbr:1_+_2_+_4_+_8_+_⋯ dbr:Automated_theorem_proving dbr:Banach–Tarski_paradox dbr:A._H._Lightstone dbr:Burden_of_proof_(philosophy) dbr:Busy_beaver dbr:AdS/CFT_correspondence dbr:Cayley–Hamilton_theorem dbr:Thought dbr:Thought_experiment dbr:Through_the_Wormhole dbr:Tilting_theory dbr:Timeline_of_ancient_Greek_mathematicians dbr:Wallpaper_group dbr:Where_Mathematics_Comes_From dbr:Disquisitiones_Arithmeticae dbr:Distributive_lattice dbr:Hauptvermutung dbr:Falsification dbr:Karloff–Zwick_algorithm dbr:Lamé's_special_quartic dbr:Larch_Prover dbr:Larch_family dbr:Laws_of_Form dbr:Linnik's_theorem dbr:List_of_Chinese_discoveries dbr:Logic_alphabet dbr:Tangent_lines_to_circles dbr:Toniann_Pitassi dbr:Theorem_on_friends_and_strangers dbr:Physical_art dbr:Proof_without_words dbr:Proofs_and_Refutations dbr:Van_Hiele_model dbr:ACL2 dbr:A_Treatise_of_Human_Nature dbr:Abstraction dbr:Adjugate_matrix dbr:Alfred_North_Whitehead dbr:Altocolony_no_Teiri dbr:Al-Abbās_ibn_Said_al-Jawharī dbr:Curry–Howard_correspondence dbr:Errett_Bishop dbr:Euclid dbr:Euclid's_Elements dbr:Euclidean_domain dbr:Euclidean_space dbr:Evolution_as_fact_and_theory dbr:Fallacy dbr:Fallibilism dbr:Fermat's_Last_Theorem dbr:Figurate_number dbr:Finite_set dbr:Formal_verification dbr:Fourier_series dbr:Angel_problem dbr:Niels_Henrik_Abel dbr:P-adic_number dbr:Packing_problems dbr:Parity_of_zero dbr:Carl_Severin_Wigert dbr:Cauchy's_functional_equation dbr:Cellular_automaton dbr:Diagonal_subgroup dbr:Dickson's_lemma dbr:Difference_of_two_squares dbr:Differential_cryptanalysis dbr:Differential_poset dbr:Dimensions_(animation) dbr:Discrete_mathematics dbr:Edouard_Zeckendorf dbr:Formal_fallacy dbr:Formal_methods dbr:Formal_proof dbr:Formal_system dbr:Foundations_of_geometry dbr:Global_dimension dbr:Gnomon_(figure) dbr:Going_up_and_going_down dbr:Goldman_domain dbr:Goormaghtigh_conjecture dbr:Goursat's_lemma dbr:Graham–Pollak_theorem dbr:Demonstration dbr:Hilbert's_twenty-fourth_problem dbr:Hirsch–Plotkin_radical dbr:History_of_algebra dbr:History_of_computing dbr:History_of_geometry dbr:History_of_logic dbr:History_of_mathematical_notation dbr:History_of_mathematics dbr:Item_tree_analysis |
| is dbp:fields of | dbr:Lara_Alcock |
| is rdfs:seeAlso of | dbr:Rigour dbr:Falsifiability |
| is foaf:primaryTopic of | wikipedia-en:Mathematical_proof |
