Vikipedio:Elstaraj artikoloj/Matematika pruvo

Parto de papiruso de Rhind – kolekto de 84 solvitaj taskoj devenantaj el periodo inter Meza imperio kaj Nova imperio en antikva Egiptio.

Matematika 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 logika aksiomo), ĝ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.

Ne estas eliminite, ke oni sukcesos matematike pruvi teoremon, kiu fakte ne validas. Sed poste la pruvo de tiu ĉi teoremo devas esti devige erara kaj tiu ĉi eraro devas esti (post sufiĉe longa esplorado) trovebla. La fonto de eraroj dum la matematika pruvado do ne estas la nocio de pruvo mem, sed ĉiam kaj sole erarantaj homoj. Legu pli...