Matematični dokaz: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
m robot Dodajanje: pnb:میتھمیٹیکل ثبوت |
m →Namen matematičnih dokazov: pnp, replaced: jezik → jezik AWB |
||
Vrstica 3:
== Namen matematičnih dokazov ==
Dokazi se ukvarjajo z [[logika|logiko]], vendar navadno vključujejo tudi določeno mero [[naravni jezik|naravnega jezika]], zaradi česar so lahko malce nejasni. V resnici je večina dokazov v zapisani matematiki pravzaprav raba [[neformalna logika|neformalne logike]]. V kontekstu [[teorija dokaza|teorije dokaza]], kjer se upoštevajo formalni dokazi, takšnim ne popolnoma formalnim prikazom v matematiki pogosto rečejo »družbeni dokazi«. Z vlogo [[Jezik (sredstvo sporazumevanja)|jezik]]a in logike v dokazih se ukvarja [[filozofija matematike]].
Včasih zadostuje, da bralca z razumljivo '''skico dokaza''' prepričamo, da se izrek dá formalno dokazati, ne da bi morali zares izvesti dolg in nejasen formalen dokaz. Vendar mora biti matematično izobraženemu bralcu povsem jasno, kako bi izrek po tej skici dokazal tudi formalno iz samih aksiomov, če bi ga moral ali želel.
| |||