Matematinis įrodymas

Matematinis įrodymas – pademonstravimas, kad kažkoks matematikos teiginys yra būtinai teisingas laikantis priimtų tos srities aksiomų. Matematinis įrodymas visada remiasi loginėmis išvadomis, o ne tik empiriniais stebėjimais, kitaip tariant, įrodymas turi pademonstruoti, kad teiginys yra teisingas visada ir absoliučiai be jokių išlygų.

Vienas iš seniausių išlikusių EuklidoPradmenų“ fragmentų, kuriame yra pateiktas II-osios knygos penktasis įrodymas.[1]

Tokie teiginiai matematikoje paprastai vadinami teoremomis ir, kartą įrodyti, gali būti naudojami kaip prielaidos kituose matematiniuose įrodymuose.

Taip pat skaitykite

Šaltiniai