Die logische Struktur mathematischer Beweise

Durch die Brille der Logik gesehen folgen mathematische Beweise immer einigen wenigen Mustern. Die werden hier besprochen: direkter Beweis, indirekter Beweis (Kontraposition) und Beweis durch Widerspruch (Reductio ad absurdum).

* Das GANZ NEUE Buch: http://weitz.de/GDM/
* Das NEUE Buch: http://weitz.de/PP/
* Skript: http://weitz.de/files/skript.pdf
* ERGÄNZUNG: http://weitz.de/corr/aDOsZZtSPbE

* Beweis des Satzes von Euklid ausführlich:    • Der Satz von Euklid: Es gibt unendlic...  
* Die Liste vom Ende des Videos: https://www.cs.ru.nl/~freek/100/

* Das Video im Playlist-Kontext: http://weitz.de/y/aDOsZZtSPbE?list=PL...

* Liste aller Videos: http://weitz.de/haw-videos/
* Das etwas andere Mathe-Lehrbuch: http://weitz.de/KMFI/
* Allgemeine Anmerkungen: http://weitz.de/youtube.html

00:00 Direkter Beweis
04:30 Indirekter Beweise (Kontraposition)
07:35 Beweis durch Widerspruch (Reductio ad absurdum)
13:30 Relevanz für die Informatik

Corrections:
11:50 Bitte beachten Sie die Ergänzung in der Videobeschreibung.