Category:Mathematical proof
Jump to navigation
Jump to search
rigorous demonstration that a mathematical statement follows from its premises | |||||
Upload media | |||||
Instance of |
| ||||
---|---|---|---|---|---|
Subclass of |
| ||||
Follows | |||||
Different from | |||||
Said to be the same as | formal proof | ||||
| |||||
![]() |
English: This category includes articles on basic topics related to mathematical proofs, including terminology and proof techniques.
Related categories:
- Pages which contain only proofs (of claims made in other articles) should be placed in the subcategory :Category:Article proofs.
- Pages which contain theorems and their proofs should be placed in the subcategory :Category:Articles containing proofs.
- Articles related to automatic theorem proving should be placed in :Category:Automated theorem proving.
- Articles on Proof theory should be placed in :Category:Proof theory.
Subcategories
This category has the following 6 subcategories, out of 6 total.
Media in category "Mathematical proof"
The following 58 files are in this category, out of 58 total.
-
2-connected equivalence proof.png 383 × 322; 12 KB
-
Aufbau eines Beweises.svg 849 × 689; 14 KB
-
Beispiel zum Aufbau eines Beweises.svg 585 × 1,232; 17 KB
-
Beweise - Quatematik.webm 8 min 6 s, 1,920 × 1,080; 166.72 MB
-
Cauchy-schwarz.png 671 × 374; 32 KB
-
CercleMinkowski.png 611 × 526; 23 KB
-
Chinese pythagoras.jpg 871 × 475; 69 KB
-
Comparison among deduction systems.png 816 × 1,056; 25 KB
-
Deduction architecture cn.png 816 × 1,056; 45 KB
-
Deduction architecture.png 816 × 1,056; 60 KB
-
Dynamic logic proof.png 9,878 × 1,221; 424 KB
-
Errorprove.png 706 × 491; 19 KB
-
Euclid's algorithm Book VII Proposition 2 2.png 475 × 500; 28 KB
-
Euclid's algorithm Book VII Proposition 2 3.png 360 × 500; 39 KB
-
Euclid's algorithm function box.png 527 × 496; 33 KB
-
Euclid's algorithm Inelegant program 1.png 326 × 698; 44 KB
-
Euclid's algorithm structured blocks 1.png 352 × 637; 29 KB
-
Jensen's Inequality Proof Without Words.png 1,445 × 840; 66 KB
-
Jim Hefferon - Introduction to Proofs (2nd Edition).pdf 1,275 × 1,650, 14 pages; 211 KB
-
LK dem contraposition.png 298 × 115; 3 KB
-
Mathematical Proof Wikibook cover.svg 744 × 1,052; 27 KB
-
Mathematical Proof wikibooks cover tr.svg 744 × 1,052; 26 KB
-
Newtons proof of Keplers second law.gif 390 × 200; 47 KB
-
P. Oxy. I 29.jpg 1,694 × 1,032; 271 KB
-
Proof of x = e *x.png 1,106 × 247; 14 KB
-
Proofstep.gif 592 × 369; 12 KB
-
Pythag anim.gif 200 × 200; 64 KB
-
Pythagoras-2a.gif 590 × 590; 139 KB
-
Pythagorean proof.png 274 × 165; 8 KB
-
Pythagorean Theorem Proof, Construction Step 1.gif 1,000 × 1,045; 51 KB
-
Pythagorean Theorem Proof, Further Construction Steps.gif 1,000 × 1,045; 188 KB
-
Q1-q2-formeln.png 432 × 774; 37 KB
-
Riemann rearragement theorem.png 567 × 329; 10 KB
-
Rightprove.png 561 × 562; 23 KB
-
Russell PM 1+1=2.png 2,948 × 929; 40 KB
-
SlopeProof.png 618 × 175; 6 KB
-
STARK proofs diagram.jpg 1,273 × 707; 169 KB
-
Todiste103.png 764 × 389; 24 KB
-
Tri-pro-1.jpg 317 × 317; 7 KB
-
Tri-pro-10.jpg 266 × 48; 8 KB
-
Tri-pro-11.jpg 396 × 44; 13 KB
-
Tri-pro-12.jpg 19 × 19; 2 KB
-
Tri-pro-2.jpg 350 × 350; 9 KB
-
Tri-pro-3.jpg 394 × 23; 12 KB
-
Tri-pro-4.jpg 396 × 44; 12 KB
-
Tri-pro-5.jpg 266 × 44; 10 KB
-
Tri-pro-6.jpg 108 × 81; 9 KB
-
Tri-pro-7.jpg 208 × 149; 17 KB
-
Tri-pro-8.jpg 458 × 149; 29 KB
-
Tri-pro-9.jpg 156 × 81; 11 KB
-
Twocolumnproof.png 437 × 404; 156 KB
-
Whitney Theorem on connectivity Proof Overview.png 402 × 437; 34 KB
-
Whitney Theorem Sufficiency Proof.png 772 × 573; 44 KB
-
Whitney's connectivity inequalities 3-regular corollary proof.png 705 × 463; 46 KB
-
Whitney's connectivity inequalities left proof1.png 411 × 463; 36 KB
-
Whitney's connectivity inequalities left proof2.png 368 × 453; 41 KB
-
Whitney's connectivity inequalities right proof.png 402 × 437; 22 KB
-
Доказательство.webm 25 min 55 s, 1,920 × 1,080; 373.85 MB