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: weitz.de/GDM/
* Das NEUE Buch: weitz.de/PP/
* Skript: weitz.de/files/skript.pdf
* ERGÄNZUNG: weitz.de/corr/aDOsZZtSPbE
* Beweis des Satzes von Euklid ausführlich: • Der Satz von Euklid: E...
* Die Liste vom Ende des Videos: www.cs.ru.nl/~freek/100/
* Das Video im Playlist-Kontext: weitz.de/y/aDOsZZtSPbE?list=PL...
* Liste aller Videos: weitz.de/haw-videos/
* Das etwas andere Mathe-Lehrbuch: weitz.de/KMFI/
* Allgemeine Anmerkungen: 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.