Скачать с ютуб Ist ein Venn-Diagramm ein Beweis? в хорошем качестве

Ist ein Venn-Diagramm ein Beweis?

Venn-Diagramme gelten i. A. nicht als Beweise. In diesem Video wird das sic et non dieser Auffassung diskutiert. Literatur: Ian Stewart: The Truth about Venn Diagrams, The Mathematical Gazette, Vol. 60, No. 411 (Mar., 1976), pp. 47-54 (8 pages) https://www.jstor.org/stable/3615644 Günter Pilz: Endliche Strukturen, Universitätsverlag Rudolf Trauner, 1988 Gumm / Poguntke: Boolesche Algebra, BI-Hochschultaschenbücher ; Bd. 604, 1981. Neben Venn-Diagrammen wurden in der Literatur Peirces Existential Graphs eingehend untersucht. Für bestimmte Typen von Logikdiagrammen (nicht alle und auch nicht alle Diagramme überhaupt) ist heute klar, dass „there is no principled distinction between inference formalisms that use text and those that use diagrams“. Es lassen sich ebenso strenge, logisch korrekte (und vollständige) formale Systeme auf der Grundlage von Diagrammen erstellen. 0:00-6:35 Einführung und Problem 6:35-12:20 Argumente gegen naiven Diagrammgebrauch 12:24-28:20 Venn-Diagramme sind Beweise