Matematikai bizonyítás
From Wikipedia, the free encyclopedia
Egy matematikai bizonyítás a matematika tudományában érvényesnek vagy igaznak tartott kijelentések érvényességének demonstrálásának, igazolásának módja. Elvileg pusztán abban különbözik a többi tudomány igazolási módszerétől, hogy matematikai természetű kijelentésekre használják. Gyakorlatilag azonban sokkal szigorúbban és következetesebben alkalmazza azt a módszert, melyet Descartes fejtett ki először az Értekezések a módszerről című könyvében, és melyet a tudományos kutatás gyakorlatával szemben támaszt követendő eljárásként.
A matematikában az igaz kijelentések igaz volta kizárólag gondolati úton, matematikai bizonyítással fedhető fel. A matematikai bizonyítással igaznak minősített kijelentéseket matematikai tételeknek nevezik.