У матэматыцы до́казам называецца ланцуг лягічных вывадаў, які паказвае, што пры якімсьці наборы аксіёмаў і правілаў высновы зьяўляецца слушным пэўнае сьцьверджаньне.
У залежнасьці ад кантэксту, можа мецца на ўвазе доказ у рамках пэўнай фармальнай сыстэмы (пабудаваная па адмысловых правілах пасьлядоўнасьць сьцьвярджэньняў, запісаная на фармальнай мове) ці тэкст на натуральнай мове, паводле якога пры жаданьні магчыма аднавіць фармальны доказ. Даказаныя сьцьвярджэньні ў матэматыцы называюць тэарэмамі (у матэматычных тэкстах звычайна лічыцца, што доказ кімсьці знойдзены); калі ні сьцьвярджэньне, ні яго адмаўленьне яшчэ не даказаныя, тады гэтае сьцьвярджэньне называюць гіпотэзай. Часам у працэсе доказу тэарэмы выдзяляюцца доказы меней складаных сьцьвярджэньняў, якія зывуцца лемамі.
Доказ можа абапірацца на відавочныя або агульнапрынятыя зьявы ці выпадкі, вядомыя як аксіёмы. Доказы зьяўляюцца прыкладамі дэдуктыўнай развагі й адрозьніваюцца ад індуктыўных або эмпірычных аргумэнтаў. Ён павінен прадэманстраваць, што сьцьвярджэньне заўсёды дакладна, часам шляхам пералічэньня ўсіх магчымых выпадкаў і паказваючы, што яно дакладнае ў кожным зь іх.
Фармальнымі доказамі займаецца спэцыяльная галіна матэматыкі — тэорыя доказаў. Самі фармальныя доказы матэматыкі амаль ніколі не выкарыстоўваюць, бо для чалавечага ўспрыманьня яны вельмі складаныя й часта займаюць занадта шмат месца. Звычайны доказ мае выгляд тэксту, у якім аўтар, абапіраючыся на аксіёмы й даказаныя раней тэарэмы, з дапамогай лягічных сродкаў паказвае праўдзівасьць некаторага сьцьвярджэньня. У адрозьненьне ад іншых навук, у матэматыцы недапушчальныя эмпірычныя доказы, то бок усе сьцьвярджэньні даказваюцца выключна лягічнымі спосабамі. У матэматыцы важную ролю гуляюць матэматычная інтуіцыя й аналёгіі паміж рознымі аб’ектамі й тэарэмамі; аднак, усе гэтыя сродкі выкарыстоўваюцца навукоўцамі толькі пры пошуку доказаў, самі доказы ня могуць грунтавацца на такіх сродках.
Гэта — накід артыкула па матэматыцы. Вы можаце дапамагчы Вікіпэдыі, пашырыўшы яго. |
This article uses material from the Wikipedia Беларуская (тарашкевіца) article Матэматычны доказ, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Зьмест даступны на ўмовах CC BY-SA 4.0, калі не пазначанае іншае. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Беларуская (тарашкевіца) (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.