God and Cauchy sequences
Relevantní obrázky
Relevantní články
Matematický důkazMatematický důkaz je deduktivní úvaha pro matematický výrok, která ukazuje, že uvedené předpoklady logicky zaručují závěr. Argument může využívat i jiná dříve prokázaná tvrzení, například matematické věty, ale každý důkaz lze v zásadě sestavit pouze s použitím určitých základních nebo výchozích předpokladů, známých jako axiomy, spolu s přijatými pravidly odvozování. Důkazy jsou příklady vyčerpávajícího deduktivního usuzování, které zakládá logickou jistotu, jež je třeba odlišit od empirických argumentů nebo nevyčerpávajícího induktivního usuzování, které zakládá pouze tzv. „rozumné očekávání“. Pro důkaz nestačí předložit mnoho případů, v nichž tvrzení platí, důkaz musí prokázat, že tvrzení je pravdivé ve všech možných případech. Výrok, který nebyl dokázán, ale o němž se předpokládá, že je pravdivý a pokud se často používá jako předpoklad pro další matematickou práci, se nazývá domněnka nebo hypotéza. .. pokračovat ve čtení