Beweistechnik

Eine Beweistechnik ist eine Vorgehensweise, die bei einem mathematischen Beweis angewandt werden kann.

Der Begriff Technik verweist einerseits darauf, dass man mit einer solchen Vorgehensweise möglicherweise viele mathematische Sätze beweisen kann, andererseits darauf, dass es sich um eine erlernbare Vorgehensweise handelt.

Beweistechniken gehören zum Handwerkszeug theoretisch orientierter Wissenschaftler, wie der Mathematiker, theoretischen Physiker und der theoretischen Informatiker.

Typische Beweistechniken sind:

• Indirekter Beweis
• Induktion
• Reduktion

Wenn man von einem sehr technischen Beweis redet, meint man damit, dass die eigentliche Beweisidee kürzer ist, man aber leider den formalen Aufwand treiben muss, um die Korrektheit zu zeigen. Ein sehr technischer Beweis ist nicht unbedingt ein schöner Beweis.

Literatur

• Daniel Solow: How to Read and Do Proofs. An Introduction to Mathematical Thought Processes, 2004, ISBN 0471680583
• Christoph Meinel: Mathematische Grundlagen der Informatik. Mathematisches Denken und Beweisen, 2002, ISBN 3519129493